40th ICALP 2013: Riga, Latvia - Part I

EATCS Lecture

Invited Talks

Track B - Logic, Semantics, Automata and Theory of Programming

Track C - Foundations of Networked Computation

a service of Schloss Dagstuhl - Leibniz Center for Informatics