39th ICALP 2012: Warwick, UK - Part II

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