Meeting in Prague, Czech Republic, 06 - 07 April 2019

This meeting is co-located with ETAPS.

Please register via the ETAPS webpage as well as on our IFIP WG 1.3. webpage. The meeting will be Saturday, 2pm - 6pm and Sunday, 9.30am - 5pm.

The venue will be Charles University, Malostranské náměstí 25, 118 00 Prague.

Observers should give their talks on Saturday; they will have a 40 mins (30 mins for presentation, 10 mins Q&A) time slot.

Talks

Sat, 06 April 2019

• 14:00 A diagrammatic algebra of linear and concurrent systems by Fabio Zanasi      abstract slides paper
• 14:00 Modelling by Patterns for Correct-by-Construction Process by Dominique Méry      abstract slides
• 14:40 Monitoring Mobile and Spatially Distributed Cyber-Physical Systems by Michele Loreti      abstract
• 15:00 Reachability for Coalgebras by Stefan Milius      abstract paper
• 16:00 A Hybrid Dynamic Logic for Event/Data-based Systems by Alexander Knapp      abstract slides
• 17:13 Design and Validation of Cloud Storage Systems using Rewriting Logic by Peter Ölveczky      abstract slides

Sun, 07 April 2019

• 11:00 Unfolding conditional and attributed graph grammars - Towards efficient solutions to combinatorial graph computation problems by Reiko Heckel      abstract slides
• 13:00 On the Essence and Initiality of Conflicts by Andrea Corradini      abstract slides
• 14:00 Graded Monads for the Linear-Time / Branching-Time Spectrum by Lutz Schröder      abstract slides paper
• 14:00 Teaching Formal Methods for Software Engineering - Ten Principles by Holger Schlingloff      abstract slides paper

Fri, 15 March 2019

• 12:20 Optimal Schedulers for Parametric Markov Decision Processes by Ana Sokolova      abstract slides