Permalink

Organisatoren

• Ingo Blechschmidt (Universität Augsburg, DE)
• Liron Cohen (Ben Gurion University - Beer Sheva, IL)
• Thierry Coquand (University of Gothenburg, SE)
• Peter M. Schuster (University of Verona, IT)

Kontakt

• Marsha Kleinbauer (für wissenschaftliche Fragen)
• Christina Schwarz (für administrative Fragen)

Verwandte Seminare

• Dagstuhl-Seminar 21472: Geometric Logic, Constructivisation, and Automated Theorem Proving (2021-11-21 - 2021-11-26) (Details)
• Dagstuhl-Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations (2024-01-07 - 2024-01-12) (Details)

Klassifikation

• Logic in Computer Science

Schlagworte

• logic-driven computational algebra and geometry
• sheaf models and new frontiers in realizability theory
• strong negation for constructive reasoning with negative information
• synthetic methods in computer science and mathematics