Campus Event Calendar
Event Entry
New for: D1, D2, D3, D4, D5
What and Who
Separation logic, object-orientation and refinement
Stephan van Staden
ETH Zurich
SWS Colloquium
AG 1, AG 2, 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
Thursday, 19 September 2013
13:30
90 Minutes
G26
113
Kaiserslautern
Contact
Susanne Girard
0631-9303-9600
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 5
029
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Susanne Girard, 09/19/2013 15:05
Susanne Girard, 09/18/2013 13:24 -- Created document.
Susanne Girard, 09/18/2013 13:24 -- Created document.