Campus Event Calendar
Event Entry
New for: D3
What and Who
Datalog LITE: Temporal versus deductive reasoning in verification
Helmut Veith
Institut für Informationssysteme, TU Wien
Logik-Seminar
AG 1, AG 2, AG 3
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 10 March 99
15:15
-- Not specified --
46.1
024
Saarbrücken
Contact
Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only