Conferences  >  Mathematics  >  Automated Theorem Proving  >  Germany

Select a location
1
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:
1495276
2
Dagstuhl-Seminar — From Proofs to Computation in Geometric Logic and Generalizations
07 Jan 2024 - 12 Jan 2024 • Schloss Dagstuhl, Wadern, Germany
Organizer:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Abstract:
What is the computational content of proofs? This is one of the main topics in mathematical logic, especially proof theory, that is of relevance for computer science. The well-known foundational solutions aim at rebuilding mathematics constructively almost from scratch, and include Bishop-style constructive mathematics and Martin-Löf's intuitionistic type theory, the latter most recently in the form of the so-called homotopy or univalent type theory put forward by Voevodsky.
Event listing ID:
1565500
3
Dagstuhl-Seminar — Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis
14 Jan 2024 - 19 Jan 2024 • Schloss Dagstuhl, Wadern, Germany
Organizer:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Abstract:
The goal of this Dagstuhl Seminar is to provide an interdisciplinary forum to discuss the fundamental principles of fault management and diagnosis, bringing together international researchers from the fields of symbolic reasoning, machine learning, and control engineering. The seminar plans to identify an integrated framework to harmonize problems and algorithms from the different fields, as well as ideas for novel, integrated solutions; and to produce a comprehensive agenda for future research.
Event listing ID:
1565629
4
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
5
Dagstuhl-Seminar — Proof Representations: From Theory to Applications
18 Aug 2024 - 23 Aug 2024 • Schloss Dagstuhl, Wadern, Germany
Organizer:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Abstract:
Proof theory is the study of formal proofs as mathematical objects in their own right. The subject has enjoyed continued attention among computer scientists in particular due to its significance for formalization, metalogic, and automation. In recent decades there has been a surge of interest on the representations of formal proofs themselves. The outcomes of these investigations have been remarkable, in particular extending the scope of structural proof theory to novel and richer settings. The point of this Dagstuhl Seminar is twofold. First and foremost, we want to bring together theorists and practitioners exploiting proof representations to identify new directions of application and, simultaneously, distill new theoretical directions from problems “in the wild”. At the same time, this seminar will expose the interface between the proof-normalization and proof-search traditions by probing proof representations from both directions.
Event listing ID:
1566234


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: 23 July 2023