39. ICALP 2012: Warwick, UK - Part II

Invited Talks

Track B - Logic Semantics, Automata and Theory of Programming

Track C - Foundations of Networked Computation