Home / Conference Listings / Mathematics / Automated Theorem Proving / Germany

Conferences  >  Mathematics  >  Automated Theorem Proving  >  Germany

Select a location
Germany (3)  Japan (1)  Switzerland (1)  United States (2)
Germany
1
Hausdorff School — Formal Mathematics and Computer-Assisted Proving
18 Sep 2023 - 22 Sep 2023 • Bonn, Germany
Organizer:
Hausdorff Center for Mathematics – hcm (Universität Bonn)
Abstract:
The last decade has witnessed tremendous advances in both interactive and automated theorem proving, and we are arguably on the doorstep of a new era, in which interactive theorem provers validate ground-breaking mathematical research in a reasonably short time, as shown in Peter Scholze's Liquid Tensor Experiment. This new area is driven both by new software and by a growing community of users. In addition, we have seen the advent of new software that guides mathematicians in finding proofs, helps them develop new conjectures or even generates a proof or part of a proof with minimal human input. This HSM will highlight both these developments.
Event listing ID:
1531574
Related subject(s):
Courses and Events for Math Students and Early Career Researchers
Event website:
https://www.hsm.uni-bonn.de/events/hsm-schools/formal2023/description/
2
Mathematical Logic: Proof Theory, Constructive Mathematics
12 Nov 2023 - 18 Nov 2023 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1495309
Related subject(s):
Mathematical Logic and Foundations
Event website:
https://www.mfo.de/occasion/2346/www_view
3
Proof Complexity and Beyond
24 Mar 2024 - 29 Mar 2024 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1529561
Event website:
https://www.mfo.de/www/schedule/2024/all


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!

No tracking | No pop-ups | No animations
Last updated: 21 December 2022