The conference will take place at the University of Konstanz on 26-28 September 2022.
26 September 2022
10:00-11:00 (D434) Registration
11:00-11:20 (D 434) Opening
11:20-12:00 (D 434) PhD Colloquium talk: J. Aguilera: Sigma-projective sets, cut elimination, and Woodin cardinals
12:00-13:20 Lunch Break
13:20-14:20 (D 434) Invited talk: P. Luecke: Large cardinals, strong logics and reflection principles
14:25-14:45 (D 434) Contributed talk: J.Osinski: A Hierarchy of Compactness Cardinals below Vopěnka’s Principle
14:45- 15:05 (D 434) Contributed talk: L.Wirth: Büchi–Elgot–Trakhtenbrot Theorem for Monadic Second-Order Formulas
15:05-15:25 Coffee Break
15:25-15:55 Contributed talk (three parallel sessions)>
(D 434) V. Fischer/L. Schembecker: Partitions of Baire space into compact sets
(D 430) P. Pinto: A generalization via proof mining methods> (D 431) B. Fisseni/D. Sarikaya/B. Schröder: Recent Advances in Frame Modelling of Mathematical Proofs
16:00-16:30 Contributed talk (three parallel sessions)
(D 434) L. Wansner: Amoeba-regularity and inaccessibles
(D 430) L. Hornischer: Dynamical Systems via Domains: Semantics for Non-symbolic Computation
(D 431) J. A. Pérez Escobar/D. Sarikaya: Purifying applied mathematics and applying pure mathematics: how a late Wittgensteinian perspective sheds light onto the dichotomy
19:00 Conference dinner: Restaurant Wessenberg, Wessenbergstraße 41, 78462 Konstanz*
27 September 2022
10:00-11:00 (D 434) Invited talk: M. Thomas: Effective Pila–Wilkie bounds for Pfaffian sets
11:00-11:20 Coffee break
11:20-12:00 (D 434) PhD Colloquium talk: L. Krapp: O-minimal Exponential Fields and Peano Arithmetic
12:00-13:20 Lunch break
13:20-14:00 (D 434) PhD Colloquium talk: Z. McConaughy: Reconstructing Aristotle’s syllogistic with the modern formal framework of “dialogical logic”
14:05-14:35 Contributed talk (three parallel sessions)
(D 434) L. Halbeisen/S. Schuhmacher: Some implications of Ramsey Choice for n-element sets
(D 430) J. Joosten: A decidable fragment of the Quantified Provability Logic of Heyting Arithmetic
(D 431) M. de Ceglie: A generalisation of the set theoretic multiverse
15:40-15:10 Contributed talk (three parallel sessions)
(D 434) V. Velkey: Game proofs of Lebesgue measurability
(D 430) C. Gaßner: Second-Order Henkin Semantics and the Axiom of Choice
(D 431) M. Ertel: Paul Bernays and the philosophical significance of independence results
15:10-15:30 Coffee break
15:30-16:30 (D 434) Invited talk: W. Holliday: Subsystems of classical logic and their semantics based on graphs
16:35-17:20 (D 434) Presentation of 60th anniversary volume of the DVMLG*
28 September 2022
10:00-11:00 (D 434) Invited talk: O. Bournez: Characterizations of complexity and computability classes using ordinary differential equations.
11:00-11:20 Coffee break
11:20-11:50 Contributed talk (two parallel sessions)
(D 430) V. Brattka: Continuity and computability of functions
(D 431) B. Buldt: On Visser’s move on G2
11:55-12:25 Contributed talk (three parallel sessions)
(D 434) E. Fischer/J. Makowski: Extensions and limitations of the Specker-Blatter Theorem
(D 430) D. Binder/T. Piecha: Administrative Normal Form and Focusing for Lambda Calculi
(D 431) J. M. L. Munive: A defense of proof-theoretic logical pluralism
12:25-13:55 Lunch break
13:55-14:35 (D 434) PhD Colloquium talk: L. Galeotti: Computing Over Higher Order Reals
14:40-15:40 (D 434) Invited talk: L. Bienvenu: New results on logical depth
15:40-16:00 Coffee break
16:00-17:00 (D 434) Invited talk: C. Ikenmeyer: Algebraic combinatorics in geometric complexity theory