Workshop at 3rd World Congress on Formal Methods 2019

2nd DaLí - Dynamic Logic: New Trends and Applications

Porto, 11 October, 2019

Overview

Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was introduced in the 70's by Pratt as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This leads to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Furthermore, it will provide a forum for disseminating and sharing new trends and applications of Dynamic Logic.

The workshop is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design (POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology

Topics

We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to:

  • Dynamic logic, foundations and applications
  • Logics with regular modalities
  • Modal/temporal/epistemic logics
  • Kleene and action algebras and their variants
  • Quantum dynamic logic
  • Coalgebraic modal/dynamic logics
  • Graded and fuzzy dynamic logics
  • Dynamic logics for cyber-physical systems
  • Dynamic epistemic logic
  • Complexity and decidability of variants of dynamic logics and temporal logics
  • Model checking, model generation and theorem proving for dynamic logics

Submission and publication

Authors are invited to submit original papers (unpublished and not submitted for publication elsewhere) up to 15 pages in lncs style in a EasyChair link to be provided soon. As in the previous edition, the post-proceedings will be published by Springer as a Lecture Notes in Computer Science volume.

Selected papers will be invited for an extended submssion to a journal (tba)

Invited Speaker

Chairs

Programme Committee

  • Guillaume Aucher (IRISA, FR)
  • Carlos Areces (U Cordoba, AR)
  • Phillippe Balbiani, (U Toulouse, FR)
  • Bernhard Beckert (ITF Karlsruhe, DE )
  • Mário Benevides (UFRJ, BR)
  • Johan van Benthem (U Stanford, USA)
  • Patrick Blackburn, (U Roskilde, DK)
  • Thomas Bolander (DTU, Denmark)
  • Zoe Christoff (U Bayreuth, Germany)
  • Fredrik Dahlqvist (UCL, UK)
  • Stéphane Demri (CNRS, FR)
  • Hans van Ditmarsch (LORIA, Nancy, FR)
  • Nina Gierasimczuk (DTU, Denmark)
  • Valentin Goranko (U Stockholm, SE)
  • Davide Grossi (U Groningen, NL)
  • Reiner Hähnle (TU Darmstadt, DE)
  • Rolf Hennicker (LMU, Munchen, DE)
  • Andreas Herzig (U Toulouse, FR)
  • Dexter Kozen (Cornell, USA)
  • Clemens Kupke (U Strathclyde, UK)
  • Fenrong Liu (U Tsinghua, CN)
  • Emiliano Lorini (IRIT, France)
  • Alexandre Madeira (U Aveiro, PT)
  • Manuel A. Martins (U Aveiro, PT)
  • Paulo Mateus (IST, PT)
  • Stefan Mitsch (CMU, USA)
  • Renato Neves (U Minho, PT)
  • Valéria de Paiva (Nuance Comms, USA)
  • Aybuke Ozgun (ILLC, NL)
  • Fernando Velazquez-Quesada (ILLC, NL)
  • Olivier Roy (U Bayreuth, DE)
  • Lutz Schröder (FAU, Erlangen-Nürnberg, DE)
  • Alexandra Silva (UCL, UK)
  • Sonja Smets (UvA, NL)
  • Rui Soares Barbosa (U Oxford, UK)
  • Tinko Tinchev (Sofia U, BG)

Previous Edition

Important Dates

  • Paper Submission: June 14, 2019
  • Notification: July 19, 2019
  • Camera Ready: September 2, 2019
  • Workshop: October 11, 2019

Post-Proceedings