Contract Languages I/25: Jacques-Henri Jourdan: Creusot – 12 March 2025

Jacques-Henri Jourdan will present the Rust verification system CREUSOT.

Time and Date: 19 March 2025, 16:00 CET,

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.

Title

to be announced

Abstract

will follow soon

Participation

If you are interested in joining, drop a mail to Mattias Ulbrich for the link.