Schedule of Monday, June 5 – Logic Colloquium 2023

	Porticato	208	302	304
08:30-9:00	Registration & Opening Coffee
9:00-10:00		Invited Talk – Zoltán Vidnyánszky: Finite and Infinite: an Interplay Between Distributed Computing and Borel Combinatorics
10:00-10:30	Coffee Break
10:30-12:00		Tutorial – Itay Kaplan (Part 1)
12:00-13:30	Lunch
13:30-14:10			Special Session: Computability – Elvira Mayordomo, Extensions of the point to set principle	Special Session: Logic and Philosophy – Carolin Antos, Formal concepts, defectiveness and pluralism
14:10-14:50			Special Session: Computability – Keng Meng Ng, Classifications in effective topology and computable analysis	Special Session: Logic and Philosophy – Luca Tranchini, Intensional aspects of proof-theoretic semantics
14:50-15:30			Special Session: Computability – Manlio Valenti, On the structure of Weihrauch degrees	Special Session: Logic and Philosophy – Jack Woods, Prospects for Modest Inferentialism
15:30-16:00	Coffee Break
16:00-17:00		Invited Talk – Martino Lupini: Definable refinements of classical algebraic invariants.
17:00-18:30	Welcome Reception