11-12-09 16:20

Collegium Logicum Lecture Series

14 December 2009, 11:00, Natasha Sharygina (Lugano, Carnegie Mellon): The Synergy of Precise and Fast Abstractions for Program Verification. Please note the unusual time.

see Lecture Series for full announcement