Workshops on Constructive Methods and Formal Verification in Analysis
Abstract
We propose to hold three workshops centered on the following research themes:the use of logical tools and methods for reasoning about dynamical systems, including their topological, metrical, differential, and measure-theoretic properties; the development of libraries andautomated methods for verifying mathematics in general and analysis in particular; and the development of methods for verifying properties of hybrid systems, especially using logical languages and paradigms. The three workshops are as follows: Sheaves, Hybrid Systems, and Formal Verification: a workshop to be held contiguously with a conference, “From automorphic forms to discrete geometry, to formal verification,” whichis being held in honor of Thomas Hales at the University of Pittsburgh in June 2018.CPS Verification and Validation: a workshop designed to make make academic solutionsmeet industrial challenges with the goal of identifying the most important present and futurefoundational challenges in CPS verification and validation (V&V) to ensure correct implementationof CPS and autonomous systems all the way from verified models to verifiedcode. Constructive Methods and Formal Verification in Analysis: a workshop to be held in conjunctionwith one of the regular conferences in logic and / or computer science, such as theLogic Colloquium or Interactive Theorem Proving, most likely in Europe.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 11, 2018
- Source ID
- FA95501810325
Entities
People
- Jeremy Avigad
Organizations
- Air Force Office of Scientific Research
- Massachusetts Institute of Technology
- United States Air Force