Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Session IQAPL at S7

09:00 60m Talk		Principles of QAPL: What I learned in nearly 20 years and what I still don’t understand QAPL Herbert Wiklicky Imperial College London
10:00 30m Talk		Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses QAPL Maja Kirkeby Roskilde University Pre-print

11:00 - 12:30	Session IIQAPL at S7

11:00 30m Talk		A Faster-Than Relation for Semi-Markov Decision Processes QAPL Mathias Ruggaard Pedersen Aalborg University, Giorgio Bacci Aalborg University, Kim Larsen Aalborg University Pre-print
11:30 30m Talk		Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence QAPL Anne Schreuder Technischen Universität Kaiserslautern, C.-H. Luke Ong University of Oxford Pre-print
12:00 30m Talk		Towards Digital Twins for the Description of Automotive Software Systems QAPL Jan Olaf Blech Aalto University Pre-print

14:00 - 15:30	Session IIIQAPL at S7

14:00 60m Talk		Invited talk: Exact and Approximate Reductions of Quantitative Models QAPL I: Max Tschaikowski TU Wien
15:00 30m Talk		Coherent Resolutions of Nondeterminism QAPL Marco Bernardo University of Urbino

16:00 - 18:00	Session IVQAPL at S7

16:00 30m Talk		Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs QAPL Kevin Batz RWTH Aachen University, Benjamin Lucien Kaminski RWTH Aachen University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja RWTH Aachen University, Thomas Noll RWTH Aachen University DOI
16:30 30m Talk		An Adequate Semantics for Hybrid While QAPL Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Renato Neves University of Minho & INESC TEC
17:00 30m Talk		Recent Applications and Quantitative Aspects of Spatial Model Checking QAPL Gina Belmonte , Vincenzo Ciancia , Diego Latella , Mieke Massink CNR-ISTI Pisa, Italy
17:30 30m Talk		Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS QAPL Marco Bernardo University of Urbino

QAPL 2019 Program

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ETAPS 2019

Co-hosted Conferences

Workshops

QAPL 2019 Program

Switch Program View

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change