Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Campus Event Calendar : 1. Date and Time - for AG 1

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
TimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for July 2014July 2014
Hide details for 23 - Wednesday - Today23 - Wednesday - Today
10:30Hongjin LiangCompositional Verification of Termination-Preserving Refinement of Concurrent ProgramsMPI-SWS [KL]
113
SWS Colloquium
Hide details for 24 - Thursday - Tomorrow24 - Thursday - Tomorrow
10:30Andrei SabelfeldTracking information flow in web applicationsMPI-SWS
002
SWS Distinguished Lecture Series
13:00Paul MüllerDeferred Shading Pipelines and Post-ProcessesE1 4 - MPI-INF
019
Talk
Hide details for 29 - Tuesday29 - Tuesday
13:00Richard PengAlgorithms Design Using Spectral Graph TheoryE1 4 - MPI-INF
024
Talk
Hide details for 30 - Wednesday30 - Wednesday
10:30Flavio ChierichettiTrace ComplexityMPI-SWS
029
SWS Colloquium
Hide details for August 2014August 2014
Hide details for 6 - Wednesday6 - Wednesday
12:15Marcel SchulzProbabilistic Methods for the Analysis of Biological NetworksE1 5 - MPI-SWS
002
Joint Lecture Series