Campus Event Calendar
Event Entry
New for: D3, D4
What and Who
Model checking for pushdown systems (register at http://www.mpi-sb.mpg.de/units/ag3/talks.html)
Andreas Podelski
MPI AG2
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, 21 April 99
12:30
60 Minutes
46 MPI
007
Saarbrücken
Contact
Sergei Vorobyov
93-25-329
--email hidden
passcode not visible
logged in users only