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
19:00 BANQUET
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