Meeting in Berlin, Germany, 04 - 05 September 2017

The meeting will be hosted by Holger Schlingloff in Berlin. The meeting will start on Monday, September 4, 9.00.
The meeting will end on Tuesday, September 5, 12.30. The meeting will take place at Fraunhofer-Forum Berlin, Anna- Louisa-Karsch-Straße 2, 10178 Berlin.

Talks

Mon, 04 September 2017

• 00:00 Information Flow Analysis of Simulink/Stateflow Models by Sabine Glesner     
• 09:00 PROPS for Bigraphs by Ugo Montanari      abstract
• 09:40 PALS: Virtual Synchrony for Cyber-Physical Systems by Peter Ölveczky      abstract slides
• 10:50 TeSSLa by Martin Leucker      abstract
• 11:30 Least and Alternating Fixed-Point Specifications in Coalgebraic System Modeing by Ichiro Hasuo      abstract slides
• 12:10 Proper Convex Functors for Probabilistic Systems Semantics by Ana Sokolova      abstract slides
• 16:00 Behavioural and Abstractor Specifications Revisited by Rolf Hennicker      abstract

Tue, 05 September 2017

• 09:00 On Modeling Software Engineering Models' Intentions with Institutions by Mohamed Bettaz      abstract slides
• 09:40 Domains and Event Structures for Fusions by Paolo Baldan      abstract slides
• 10:50 Partial Pushout Semantics of Generics in GDOL by Till Mossakowski      abstract slides paper