Campus Event Calendar
Event Entry
What and Who
Automatisierung von Terminierungsbeweisen
Jürgen Giesl
FB Informatik, TH Darmstadt
DFKI-Kolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 28 June 96
11:00
60 Minutes
43.1 - DFKI
1.01
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only