Logic Colloquium 2023
Updates
Jun 5
Delayed schedule, June 5
Jun 2
Strike of airport staff in Italy on June 4th. Please check the list of the protected flights here.
May 25
The attendees of the tutorial on interactive theorem proving in Lean by Floris van Doorn (7th, 8th June) are kindly asked to bring their own laptops for an active participation in the session.
May 16
The registration is closed
May 7
Online talks
May 3
The schedule is online!
Apr 21
LC2023 endorses ASL Code of Conduct
Apr 18
Safety Officer