We are looking forward to a presentation by Marieke Huisman.
Time and Date: 8 October 2025, 16:00 CEST,
As a follow-up to the March 2024 Lorentz Center workshop on Contract Languages, we will host a series of online presentations and discussions around formal methods with contract languages, aligning with the LTC goal of enabling information exchange between different formal systems.
tba
tba
If you are interested in joining, drop a mail to Mattias Ulbrich for the link.