Conferences  >  Mathematics  >  Automated Theorem Proving  >  United States

Select a location
CPP 2023 — Conference on Certified Programs & Proofs
16 Jan 2023 - 17 Jan 2023 • Boston MA, United States
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
Abstract submission deadline:
14 Sep 2022
Event listing ID:
Related subject(s):
Machine Assisted Proofs
13 Feb 2023 - 17 Feb 2023 • Los Angeles, CA, United States
Institute for Pure and Applied Mathematics (IPAM), UCLA
A number of core technologies in computer science are based on formal methods, that is, a body of methods and algorithms that are designed to act on formal languages and formal representations of knowledge. Such methods include interactive proof assistants, automated reasoning systems (including first-order theorem provers and satisfiability solvers), computer algebra systems, and knowledge representation and database systems. Methods based on machine learning have also led to the discovery of new mathematical results. The goal of this workshop is to bring mathematicians and computer scientists together to explore potential applications of these technologies to the domain of pure mathematics, building upon the exciting recent developments in this subject.
Event listing ID:
AIM Workshop: Computer assisted proofs for stability analysis of nonlinear waves
05 Jun 2023 - 09 Jun 2023 • San Jose, California, United States
American Institute of Mathematics (AIM)
This workshop, sponsored by AIM and the NSF, will be devoted to solving open problems regarding the stability of nonlinear waves using computer assisted methods of proof. Some results using computer assisted methods of proof include Hilbert's 18th problem and Smale's 14th problem. Researchers have developed efficient methods for obtaining rigorous error bounds for numerical approximations of heteroclinic and homoclinic connections between fixed points in ODE systems. These rigorous computation methods establish the existence and uniqueness of the solution in addition to providing a tight, completely rigorous error bound. Thus, these rigorous computations can be used to prove Theorems. Similarly, researchers have developed efficient and robust numerical methods for computing quantities that relay information about the spectral stability of one-dimensional traveling wave solutions to PDEs, which in turn yields information regarding the nonlinear stability. This workshop will help researchers identify collaborative opportunities to use rigorous computation to prove theorems regarding open problems in nonlinear wave theory.
Computer assisted proofs for stability analysis of nonlinear waves. Stability of multi-dimensional non-planar traveling waves. Rigorous computation of center manifolds
Event listing ID:
Related subject(s):
Summer Graduate School — Formalization of Mathematics
05 Jun 2023 - 16 Jun 2023 • MSRI, Berkeley, CA, United States
Mathematical Sciences Research Institute (MSRI)
Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce students to the new technology and the ideas behind it, and will encourage them to think about the goals and benefits of formalized mathematics. Students will learn to use the Lean interactive proof assistant, and by the end of the session they will be in a position to formalize mathematics on their own, join the Lean community, and contribute to its mathematical library.
Event listing ID:
1515707 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 26 October 2022