CS&P Logo

CS&P 2018
Concurrency, Specification and Programming

Proceedings of the 27th International Workshop on Concurrency, Specification and Programming

Berlin, Germany, September 24-26, 2018.

Edited by

Bernd-Holger Schlingloff
Samira Akili

Humboldt-Universität zu Berlin, Institut für Informatik, 10099 Berlin, Germany
Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany

Table of Contents

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

Additional Items

2018-10-24: submitted by Samira Akili, metadata incl. bibliographic data published under Creative Commons CC0
2018-11-03: published on CEUR-WS.org |valid HTML5|