Campus Event Calendar
Event Entry
What and Who
Set Variables in Higher Order Logic
Chad Brown
CMU, Pittsburgh, USA
Logik-Seminar
AG 1, AG 2, AG 3, AG 4
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 27 August 2002
16:15
-- Not specified --
46.1 - MPII
024
Saarbrücken
Contact
Uwe Waldmann
--email hidden
passcode not visible
logged in users only