CS Colloquium

Sound and Automated Deductive Verifiers for Advanced Properties

Time and Location:

Feb. 27, 2025 at 2PM; 60 Fifth Avenue, Room TBA

Speaker:

Thibault Dardinier, ETH Zurich