Schedule of Wednesday, June 7 – Logic Colloquium 2023

	Porticato	208	302	304
8:30-9:00	Registration
9:00-10:00		Invited Talk – Nicola Gambino: Two-dimensional categorical logic
10:00-10:30	Coffee Break
10:30-12:00		Tutorial – Floris van Doorn: On interactive theorem proving in Lean (Part 1)
12:00-13:30	Lunch
13:30-14:10			Special Session: Logic and Computation – Anupam Das, Fixed points and circularity in logic and computation	Special Session: Model Theory – Vahagn Aslanyan, The Existential Closedness with Derivatives conjecture for the j-function
14:10-14:50			Special Session: Logic and Computation – Jan Pich, Towards P!=NP from Extended Frege lower bounds	Special Session: Model Theory – Ulla Karhumaki , Groups of finite Morley rank and supertight automorphisms
14:50-15:30			Special Session: Logic and Computation – Robert Robere, On propositional proofs and total search problems	Special Session: Model Theory -Konstantinos Kartas, Beyond the Fontaine-Wintenberger theorem
15:30-16:00	Coffee Break
16:00-17:00		Invited Talk – Viorica Sofronie-Stokkermans: On symbol elimination in theory extensions and applications to parametric verification
17:00-18:30	Free
18:30-22:00	Buffet