25. CS&P 2016: Rostock, Germany

Session W1: Plenary talk

Session W2a: Timed Systems

Session W2b: Rough Sets

Session W3a: Petri Nets

Session W3b: Ontology & Information Systems

Session T1a: Hybrid Systems

Session T1b: Applications

Session T2a: Planning

Session T2b: Data Analysis

Session F1a: Probabilistic Verification

Session F1b: Opacity & Synthesis

Session F2a: Classical Methods Improved

Session F2b: New Domains Conquered

Session F3: Closing Session

maintained by Schloss Dagstuhl LZI at University of Trier