Conférences - Démonstration automatique de théorèmes - États-Unis

Sélecionner un pays
1
CPP 2022 — Conference on Certified Programs & Proofs
17 jan 2022 - 18 jan 2022 • Philadelphia PA with Virtual options, États-Unis
Résumé:
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.
Identifiant de l'évènement:
1448856
2
NFM 2022 — 14th NASA Formal Methods Symposium
24 mai 2022 - 27 mai 2022 • Los Angeles, CA, États-Unis
Résumé:
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.
Date limite de soumission des résumés:
03 dec 2021
Identifiant de l'évènement:
1449295
Sujets apparentés:
3
Lean for the Curious Mathematician 2022
11 jul 2022 - 15 jul 2022 • Providence, RI, États-Unis
Organisateur:
ICERM
Résumé:
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:
Tél.: [401 863 5030];     Email.: info@icerm.brown.edu
Identifiant de l'évènement:
1448723


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Dernière mise à jour: 15 Octobre 2021