Research
Algorithms, Theory & Logic
Programming Languages & Verification
Cyber-Physical Systems
Distributed, Networked & Mobile Systems
Security & Privacy
Social & Information Systems
More CS @ MPG
Careers
Overview
Tenure-track openings
Postdoctoral Positions
Internships
Equal Opportunity Resources
Grad Studies
Overview
Why Choose MPI-SWS?
Graduate Studies @ MPI-SWS
Program Structure
Admission
FAQs
Life in Germany
People
Faculty
Postdoctoral Researchers
Doctoral Students and Interns
Former members
Joint administration
Service Staff
Events
Overview
Upcoming
Recent
Archive
News
All
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
About Us
Welcome from the Founding Director
Structure and Organization
Scientific Advisory Board
Biennial Progress Reports
Contact
Overview
Upcoming
Recent
Archive
Upcoming events