ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 17:00 - 17:30 at S7 - Session IV

Quantitative aspects are not prominent in the classical literature on spatial and spatio-temporal logics, although there are some recent proposals in this direction. We illustrate the need for such features by examining some recent applications (smart cities, and analysis of medical images). We briefly discuss some related work in the classical setting, and examine recent developments in the research line on Spatial Model Checking for Closure Spaces. Part of this discussion stems from two upcoming publications of which one will be presented at the TACAS 2019 conference.

Sun 7 Apr

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

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
17:30
30m
Talk
Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
QAPL
Marco Bernardo University of Urbino