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