14th ACSD 2014: Tunis La Marsa, Tunisia

Logic and Model-Checking

Automata

Dataflow

Programming and Runtime Support

Unfolding and Tools

Interaction

maintained by Schloss Dagstuhl LZI, founded at University of Trier