• 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 5

		Time		Speaker			Event, Title, Topic	Building, Room	Event Type
July 2014
	23 - Wednesday - Today
		10:30		Hongjin Liang			Compositional Verification of Termination-Preserving Refinement of Concurrent Programs	MPI-SWS [KL] 113	SWS Colloquium
	24 - Thursday - Tomorrow
		10:30		Andrei Sabelfeld			Tracking information flow in web applications	MPI-SWS 002	SWS Distinguished Lecture Series
		13:00		Paul Müller			Deferred Shading Pipelines and Post-Processes	E1 4 - MPI-INF 019	Talk
	29 - Tuesday
		13:00		Richard Peng			Algorithms Design Using Spectral Graph Theory	E1 4 - MPI-INF 024	Talk
	30 - Wednesday
		10:30		Flavio Chierichetti			Trace Complexity	MPI-SWS 029	SWS Colloquium
August 2014
	6 - Wednesday
		12:15		Marcel Schulz			Probabilistic Methods for the Analysis of Biological Networks	E1 5 - MPI-SWS 002	Joint Lecture Series