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

qapl-2019-papers
16:00 - 18:00: QAPL - Session IV at S7
qapl-2019-papers16:00 - 16:30
Talk
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
qapl-2019-papers16:30 - 17:00
Talk
Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Renato NevesUniversity of Minho & INESC TEC
qapl-2019-papers17:00 - 17:30
Talk
qapl-2019-papers17:30 - 18:00
Talk
Marco BernardoUniversity of Urbino