27th CS&P 2018: Berlin, Germany

Invited Talk 1

Session 1: Concurrent Systems

Session 2: Rough Sets

Session 3: Optimizing Computations

Session 4: Verification

Session 5: Reaction Systems

Invited Talk 2

Session 6: Specification

Session 7: Learning Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics