Program

Flemming Nielson - Information Flow for Timed Automata

Andrzej Wąsowski - From Transition Systems to Variability Models

Joost-Pieter Katoen - Tweaking the Odds: Parameter Synthesis in Markov Models

Jan Křetínský - 30 Years of Modal Transition Systems: Survey of Extensions and Analysis

Ernst-Rüdiger Olderog (Maike Schwammberger) - Formalising a Hazard Warning Communication Protocol with Timed Automata

Holger Hermanns - UPPAAL in Outer Space

Bernhard Steffen - Placing Needles in a Hay Stack: Obfuscation by Property-Oriented Parallel Decomposition

Ed Brinksma - Kim in Context

Prakash Panangaden - Bicategories of Markov Processes

Wang Yi - Towards Customizable Embedded Real-Time Systems: Composability, Efficiency & Predictability

Bent Thomsen - Firm deadline checking of Safety-Critical Java applications with Statistical Model Checking

Rajev Alur - Quantitative Policies Over Streaming Data

Bengt Jonsson - Improving Partial Order Reduction Techniques for Model Checking

Michael Huth (Leif Lundbaek) - Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

Marta Kwiatkowska - Safety Verification of Deep Neural Networks

Manfred Droste - Weighted automata and quantitative logics

Jan Madsen - Taming Living Logic using Formal Methods

Patricia Bouyer - Average-energy Games

Klaus Havelund - Runtime Verification Logics - A Language Design Perspective

Huibiao Zhu - Assertion-based Reasoning Method for Calculus of Wireless System

Jaco van de Pol - Timed Automata for Biologists

Xinxin Liu - Divergence in the Context of Simulation and Bisimulation

Luca Cardelli (Max Tschaikowski) - Bisimulations for Reaction Networks