Program

Contact

Program

Program

Tuesday, September 8th 2015

Session: Opening -- Session Chair: Roland Meyer
9.00 - 9.05Welcoming Words
Roland Meyer (Editor)
9.05 - 9.15Welcoming Speech
Katharina Al-Shamery (Vice president for research and transfer of the University of Oldenburg)
9.15 - 9.25Welcoming Speech
Martin Fränzle (Board member of AVACS)
9.30 - 10.15Laudatio
Willem-Paul de Roever
10.15 - 10.45
Coffee Break
Session: Knowledge and Processes -- Session Chair: Jens Knoop
10.45 - 11.15Epistemic Protocols for Distributed Gossiping
Krzysztof Apt
11.15 - 11.45Enforceable Security Policies
David Basin
11.45 - 12.00
General Information
12.00 - 13.30
Lunch
Session: Analysis -- Session Chair: David Basin
13.30 - 14.00Automata-based Analysis of Threaded Programs
Markus Müller-Olm
14.00 - 14.30Being and Change: Reasoning About Invariance
Frank de Boer and Stijn de Gouw
14.30 - 15.00Toward Compact Abstractions for Processor Pipelines
Sebastian Hahn, Jan Reineke, and Reinhard Wilhelm
15.00 - 15.30
Coffee Break
Session: Process Algebra -- Session Chair: Heike Wehrheim
15.30 - 16.00Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
Sibylle Fröschle
16.00 - 16.30Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
Rob van Glabbeek
16.30 - 17.00Provably Correct Systems: Community, Connections, and Citations
Jonathan Bowen
Reception (on site)

Wednesday, September 9th 2015

Session: Semantics I -- Session Chair: Markus Müller-Olm
9.00 - 9.30Random Reflections on Nets, Terms and Apps
Holger Hermanns
9.30 - 10.00Understanding Probabilistic Programs
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, and Federico Olmedo
10.00 - 10.30Fairness for Infinitary Control
Jochen Hoenicke and Andreas Podelski
10.30 - 11.00
Coffee Break
Session: Semantics II -- Session Chair: Holger Hermanns
11.00 - 11.30Evaluation Trees for Proposition Algebra: The Case for Free and Repetition-Proof Valuation Congruence
Jan A. Bergstra and Alban Ponse
11.30 - 12.00Verifying the Timing Behaviour of Real-Time Systems
Jens Knoop
12.00 - 13.30
Lunch
Session: Logic -- Session Chair: Jonathan Bowen
13.30 - 14.00Translating Testing Theories for Concurrent Systems
Jan Peleska
14.00 - 14.30No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
Martin Fränzle, Michael R. Hansen, and Heinrich Ody
14.30 - 15.00Automated Reasoning Building Blocks
Christoph Weidenbach
15.00 - 15.30
Coffee Break
Session: Synthesis -- Session Chair: Krzysztof Apt
15.30 - 16.00Bounded Synthesis for Petri Games
Bernd Finkbeiner
16.00 - 16.30Mediator Synthesis in a Component Algebra with Data
Lukas Holik, Malte Isberner, and Bengt Jonsson
16.30 - 17.00Safe and Optimal Adaptive Cruise Control
Kim Guldstrand Larsen, Marius Mikucionis, and Jakob Haahr Taankvist
Closing
(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page