-
Delayed schedule, June 5
Due to a technical issue with the registration and related delay, all times indicated in the schedule of the conference for June 5 shift ahead by 30 minutes.
-
Strike of airport staff in Italy on June 4th. Please check the list of the protected flights here.
Unfortunately, there will be a strike of airport staff on June 4th. Please, find below the list of the flights which must take place by Italian law.
-
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.
-
The registration is closed
-
Online talks
Please remember that LC2023 is an in-person conference. Requests for delivering your talk online can be taken into consideration when absolutely necessary and only up to the constraints created by the schedule. If you need to ask for online presentation of your talk, please write to francesco.genco@unimi.it and giuseppe.primiero@unimi.it no later than May 15th.
-
The schedule is online!
-
LC2023 endorses ASL Code of Conduct
The ASL Code of Conduct was approved by the ASL Council on March 1, 2023 and will become effective for all meetings starting from 2024. Anticipating and welcoming this decision, the OC of LC2023 has decided to approve and implement the ASL Code of Conduct already for this meeting. This decision follows the installment of…
-
Safety Officer
The safety of LC2023 attendees is a top priority for the OC. For this reason, we have decided to install a Safety Officer available during the Conference. Should you find yourself in unpleasant situations, or perceive a danger of any kind during the conference, we will be ready to help you and assist you so…
-
LC2023 poster
-
All news and updates will be posted in due time on this page, stay tuned!