Programme

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

%d bloggers like this: