Campus Event Calendar
Event Entry
New for: D1, D2, D3, D4
What and Who
Pre- and post-logics for model checking
Tom Henzinger
MPI AG3
AG3 Pizza Lunch
AG 1, AG 2, AG 3, AG 4
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 14 April 99
12:30
60 Minutes
46 MPI
007
Saarbrücken
Contact
Sergei Vorobyov
329
--email hidden
passcode not visible
logged in users only