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.

Conference Day
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 BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
DOI
16:30
30m
Talk
An Adequate Semantics for Hybrid While
QAPL
Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Renato NevesUniversity 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 BernardoUniversity of Urbino