Thursday, June 20

9:00 Registration

10:00 Opening

10:30 Coffee break

11:00 Joseph Helfer: First-order homotopical logic and Grothendieck fibrations

12:00 Lunch break

14:00 Santiago J. Martinez: Linear algebra and set theory
14:30 Andrés Villaveces: Abstract elementary classes and their Galois groups: Interpretations revisited
15:00 Johann Makowsky: Our paths diverging. . . (for Michael at 80)

15:30 Coffee break

16:00 Koen Lefever and Gergely Székely: Distances between formal theories
16:30 Zalán Gyenis: On the categorical characterization of the weak Beth definability property


Friday, June 21

9:30 Jean-Pierre Marquis: Bourbaki’s abstract mathematical structuralism: an unfinished business

10:30 Coffee break

11:00 Tibor Beke: Around Karp’s theorem, accessible categories and functor pre- serving L∞,λ-equivalence
11:30 Christian Espindola: The completeness theorem
12:00 Michael J. Lieberman: Weak factorization system and stable independence

12:30 Lunch break

14:30 Mariusz Stopa: Is paraconsistent logic present in (co-)toposes?
15:00 David Ellerman: On abstraction in mathematics and indefiniteness in Quantum Mechanics
15:30 Michele Friend: Professor Makkai as a teacher; from a young, naive, student’s point of view