Campus Event Calendar
Event Entry
What and Who
From Deep Inference to the Identity of Proofs
Lutz Straßburger
INRIA-Lorraine
Logik-Seminar
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 9 September 2004
11:15
-- Not specified --
45
528
Saarbrücken
Contact
Uwe Waldmann
--email hidden
passcode not visible
logged in users only
Uwe Waldmann, 09/08/2004 03:36 -- Created document.