Konferenzen zum Thema Computer-gestütztes Beweisen in Frankreich

Wählen Sie ein Land aus
1
ISSAC 2022 — 47th International Symposium on Symbolic and Algebraic Computation
04. Jul 2022 - 07. Jul 2022 • Lille, Frankreich
Zusammenfassung:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2022 will be the 47th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.
Themen:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2022.
Eintrags-ID:
1449296
Verwandte Fachgebiete:
2
AITP 2022 — Conference on Artificial Intelligence and Theorem Proving
04. Sep 2022 - 09. Sep 2022 • Aussois, Frankreich
Zusammenfassung:
The Conference on Artificial Intelligence and Theorem Proving (AITP) is a yearly meeting where researchers in the areas of artificial intelligence, automated reasoning, machine learning, computer-understandable mathematics and proof assistants come to discuss how to progress with automation of reasoning, mathematics and science.
Eintrags-ID:
1449242


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