2nd CFP, DaLi 2020, Prague

Igor Sedlar igor.sedlar at gmail.com
Thu Jun 4 08:42:00 EDT 2020

3rd International Workshop on Dynamic Logic:
New Trends and Applications
(DaLí 2020)

9-10 October 2020
Prague, Czech Republic
or online


Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's 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 lead 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 this gap and creating a
heterogeneous community of colleagues, from Academia to Industry, from
Mathematics to Computer Science.

Previous editions of the workshop took place in Brasilia (2017) and
Porto (2019).

Pandemic-related arrangements
Given the improving epidemiological situation, in the Czech Republic
and elsewhere, our intention is to organize the event as originally
planned. In case the situation worsens, DaLi 2020 will be held as an
online conference. The post-proceedings volume will be published in
either case.

Submissions are invited 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

Invited Speakers
- Natasha Alechina (Utrecht)
- Johan van Benthem (Amsterdam and Stanford)

Submission and Proceedings
Submissions of original papers (unpublished and not submitted for
publication elsewhere), up to 15 pages in LNCS style, are invited


A post-proceedings volume will be published within the Springer
Lecture Notes in Computer Science series. A special issue of a journal
is planned.

Important Dates
- Submission deadline: 30 June 2020
- Notification: 15 September 2020
- Revised papers (for workshop): 1 October 2020
- Workshop: 9-10 October 2020
- Camera-ready papers (post-proceedings): 30 October 2020

Program Committee
- Carlos Areces (U Cordoba, AR)
- Guillaume Aucher (IRISA, Rennes, FR)
- Alexandru Baltag (ILLC, Amsterdam, NL)
- Luis Barbosa (U Minho, PT)
- Mario Benevides (UF Rio de Janeiro, BR)
- Patrick Blackburn, (U Roskilde, DK)
- Thomas Bolander (DTU, Copenhagen, DK)
- Johan van Benthem (ILLC, Amsterdam, NL)
- Philippe Balbiani (IRIT, Toulouse, FR)
- Marta Bilkova (CAS, Prague, CZ)
- Fredrik Dahlqvist (UCL, London, UK)
- Hans van Ditmarsch (LORIA, Nancy, FR)
- Sabine Frittella (LIFO, Bourges, FR)
- Nina Gierasimczuk (DTU, Copenhagen, DK)
- Reiner Haehnle (TU Darmstadt, DE)
- Rolf Hennicker (LMU, Munich, DE)
- Clemens Kupke (U Strathclyde, UK)
- Alexandre Madeira (U Aveiro, PT)
- Manuel A. Martins (U Aveiro, PT), co-chair
- Renato Neves (U Minho, PT)
- Aybuke Ozgun (ILLC, Amsterdam, NL)
- Alessandra Palmigiano (VU Amsterdam, NL)
- Olivier Roy (U Bayreuth, DE)
- Igor Sedlar (CAS, Prague, CZ), co-chair
- Lutz Schroeder (FAU, Erlangen-Nuernberg, DE)
- Sonja Smets (ILLC, Amsterdam, NL)
- Fernando Velazquez-Quesada (ILLC, Amsterdam, NL)
- Thomas Agotnes (U Bergen, NO)

With inquiries concerning the workshop, contact the PC chairs:

- martins (at) ua (dot) pt
- sedlar (at) cs (dot) cas (dot) cz

More information about the FOM mailing list