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 MMCI

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
TimeTitle, SpeakerBuilding, RoomEvent Type
Hide details for November 2017November 2017
Hide details for 22 - Wednesday22 - Wednesday
10:30"Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations"
Hugo Férée
E1 5
029
SWS Colloquium
Hide details for 23 - Thursday23 - Thursday
13:00"Competitive Analysis of Bi-directional Non-preemptive Conversion"
Günter Schmidt
E1 4
024
AG1 Mittagsseminar (own work)
Hide details for December 2017December 2017
Hide details for 6 - Wednesday6 - Wednesday
12:15"Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems"
Joël Ouaknine
E1 5
002
Joint Lecture Series