38th ICALP 2011: Zurich, Switzerland - Part II

Invited Lectures

Best Student Papers

Best Papers

Foundations of Program Semantics

Automata and Formal Languages

Model Checking

Probabilistic Systems

Logic in Computer Science

Hybrid Systems

Specification and Verification


Matchings and Equilibria

Privacy and Content Search

Distributed Computation

a service of Schloss Dagstuhl - Leibniz Center for Informatics