19th ICTCS 2018: Urbino, Italy

Invited Talks

IC-EATCS Best Young Researcher

IC-EATCS Best master thesis

Session 1: Games and Distributed Algorithms

Session 2: Graphs

Session 3: AI, Complexity and Decidability

Session 4: Logics and Constraints

Session 5: Formal Languages and Static Analysis

Session 6: Concurrency

a service of Schloss Dagstuhl - Leibniz Center for Informatics