Campus Event Calendar
Event Entry
New for: D3
What and Who
Reasoning About Program Equivalence in Modern Languages
Derek Dreyer
Max Planck Institut for Software Systems
Joint MPI-INF/MPI-SWS Lecture Series
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 2 June 2010
16:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
tbd
Contact
Jennifer Müller
900
--email hidden
passcode not visible
logged in users only
Anna-Lisa Overhoff, 02/17/2010 13:49 -- Created document.