Konferenzen zum Thema Computer-gestütztes Beweisen in den Vereinigten Staaten (USA)

Wählen Sie ein Land aus
1
NFM 2022 — 14th NASA Formal Methods Symposium
24. Mai 2022 - 27. Mai 2022 • Los Angeles, CA, Vereinigte Staaten
Zusammenfassung:
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.
Einsendeschluss für Abstracts:
03. Dez 2021
Eintrags-ID:
1449240
Verwandte Fachgebiete:
2
Lean for the Curious Mathematician 2022
11. Jul 2022 - 15. Jul 2022 • Providence, RI, Vereinigte Staaten
Veranstalter:
ICERM
Zusammenfassung:
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.
Kontakt:
Tel.: [401 863 5030];     Email: info@icerm.brown.edu
Eintrags-ID:
1448767


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 15. Oktober 2021