• Home
• Institute
• Departments
• News
  • Press Releases
  • Awards
  • Spotlight
  • Campus Event Calendar:
    • All Upcoming:
      • only for D1
      • only for D2
      • only for D3
      • only for D4
      • only for D5
      • only for RG1
      • only for MMCI
      • Mailing Lists
      • by Speaker
      • by Type
      • by Category
      • by Title
      • Calendar
      • RSS Feed
    • History of Events:
  • Employment
  • Information for Guests
• Location
• Publications
• Software
• People
• Services
• Library
• Doctoral Research Program
• Max Planck Center
• Cluster of Excellence (MMCI)
• Computer Science Cluster
• Sitemap

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

		Time		Speaker			Event, Title, Topic	Building, Room	Event Type
October 2018
	15 - Monday - Today
		10:30		Dana Drachsler Cohen			AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation	G26 [KL] 111	SWS Colloquium
	19 - Friday
		10:30		Edith Elkind			Justified representation in multiwinner voting: axioms and algorithms	G26 [KL] 111	SWS Distinguished Lecture Series
	22 - Monday
		10:30		Sara Achour			Compiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog Computers	G26 [KL] 111	SWS Colloquium
November 2018
	7 - Wednesday
		12:15		Andreas Zeller			Generating Software Tests	E1 5 002	Joint Lecture Series
	22 - Thursday
		16:00		Wojciech Czerwiński			The Reachability Problem for Vector Addition Systems is Not Elementary	G26 [KL] 111	SWS Colloquium
December 2018
	5 - Wednesday
		12:15		Nico Döttling			Post-quantum Challenges in Secure Computation	E1 5 002	Joint Lecture Series
February 2019
	6 - Wednesday
		12:15		Adish Singla			Machine Teaching	E1 5 002	Joint Lecture Series