• 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 : 2. Speaker

	Date	Time				Event, Title, Topic	Building, Room	Event Type
Kurt Mehlhorn
	28 Aug	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	4 Sep	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	18 Sep	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	2 Oct	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	16 Oct	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	6 Nov	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	4 Dec	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
	18 Dec	11:30				D1 Group Meeting	E1 4 333	AG1 Group Meeting
Marcel Hark
	20 Aug	16:00	s.t.			Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program Verification	E1 5 630	Talk
Stephan-Alexander Ariesanu
	10 Sep	13:00				Circuit Delay Minimization Using Convex Optimization	E1 4 024	AG1 Mittagsseminar (own work)
Tanja Käser
	21 Aug	10:30				Modeling and Individualizing Learning in Computer-Based Environments	E1 5 029	SWS Colloquium
Vineet Rajani
	27 Aug	14:00				A type theory for amortized resource analysis	E1 5 029	SWS Student Defense Talks - Thesis Proposal