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 4

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
TimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for October 2018October 2018
Hide details for 15 - Monday - Today15 - Monday - Today
10:30Dana Drachsler CohenAI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationG26 [KL]
111
SWS Colloquium
Hide details for 19 - Friday19 - Friday
10:30Edith ElkindJustified representation in multiwinner voting: axioms and algorithmsG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 22 - Monday22 - Monday
10:30Sara AchourCompiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog ComputersG26 [KL]
111
SWS Colloquium
Hide details for November 2018November 2018
Hide details for 7 - Wednesday7 - Wednesday
12:15Andreas ZellerGenerating Software TestsE1 5
002
Joint Lecture Series
Hide details for 22 - Thursday22 - Thursday
16:00Wojciech CzerwińskiThe Reachability Problem for Vector Addition Systems is Not ElementaryG26 [KL]
111
SWS Colloquium
Hide details for December 2018December 2018
Hide details for 5 - Wednesday5 - Wednesday
12:15Nico DöttlingPost-quantum Challenges in Secure ComputationE1 5
002
Joint Lecture Series
Hide details for February 2019February 2019
Hide details for 6 - Wednesday6 - Wednesday
12:15Adish SinglaMachine TeachingE1 5
002
Joint Lecture Series