42nd ICALP 2015: Kyoto, Japan - Part II

Invited Talks

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

Track C: Foundations of Networked Computation: Models, Algorithms and Information Management

a service of Schloss Dagstuhl - Leibniz Center for Informatics