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

Conferences  >  Mathematics  >  Automated Theorem Proving  >  Germany

Select a location
Belgium (1)  Canada (1)  France (1)  Germany (2)  United Kingdom (1)
Germany
1
Autumn School “Proof and Computation”
14 Sep 2025 - 20 Sep 2025 • Herrsching, Germany
Abstract:
An international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Event listing ID:
1666170
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Information Theory, Foundations of Computer Science
Event website:
https://www.mathematik.uni-muenchen.de/~schwicht/pc25.php
2
Dagstuhl-Seminar — Proof Systems in Actual Practice: Reasoning and Computation
15 Mar 2026 - 20 Mar 2026 • Schloss Dagstuhl, Germany
Organizer:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Abstract:
This Dagstuhl Seminar seeks to extend and deepen the convergence across disciplinary boundaries by fostering exchange and collaboration among the relevant experts and practitioners, uniting expertise in proof theory with proof complexity, categorical semantics, constructive mathematics, proof mining, program extraction, and automated theorem proving. By bridging these domains, we seek to empower the next generation of researchers to frame and connect their work within this converging landscape, ultimately advancing the computational applications of proof systems in both theoretical and practical contexts.
Event listing ID:
1671339
Related subject(s):
Information Theory, Foundations of Computer Science
Event website:
https://www.dagstuhl.de/26121


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: 27 July 2025