Meetings/Workshops on Automated Theorem Proving in the United States (USA)

Select a location
1
CPP 2022 — Conference on Certified Programs & Proofs
17 Jan 2022 - 18 Jan 2022 • Philadelphia PA with Virtual options, United States
Abstract:
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. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Event listing ID:
1448856
2
NFM 2022 — 14th NASA Formal Methods Symposium
24 May 2022 - 27 May 2022 • Los Angeles, CA, United States
Abstract:
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.
Abstract submission deadline:
03 Dec 2021
Event listing ID:
1449295
Related subject(s):
3
Lean for the Curious Mathematician 2022
11 Jul 2022 - 15 Jul 2022 • Providence, RI, United States
Organizer:
ICERM
Abstract:
Interactive theorem proving software can check, manipulate, and generate proofs of mathematical statements, just as computer algebra software can manipulate numbers, polynomials, and matrices. Over the last few years, these systems have become highly sophisticated and have learnt a large amount of mathematics. One has to be open to the idea these systems will change the way mathematics is done, and how it is taught in universities. At the ICERM workshop "Lean for the Curious Mathematician 2022", experts in the Lean theorem prover will explain how to do number theory, topology, geometry, analysis, and algebra in the Lean theorem prover. This will be accessible to mathematicians without a specific background in computer-proof systems. The material covered will range from undergraduate mathematics to modern research. Participants will be invited to begin formalizing mathematical objects from their own research.
Contact:
Phone: [401 863 5030];     Email: info@icerm.brown.edu
Event listing ID:
1448723


Conference-Service.com 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!

Last updated: 15 October 2021