Logic List Mailing Archive

DaLi 2020: Dynamic Logic

9-10 Oct 2020
Prague, Czech Republic

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

9-10 October 2020
Prague, Czech Republic

http://www.cs.cas.cz/dali2020/
===============================================

Overview
=========
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 fill such a gap, joining an
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).

Topics
=========
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 (to be expanded)
================
- Johan van Benthem

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

https://easychair.org/conferences/?conf=dali2020

A post-proceedings volume and a special issue of a journal are planned.

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

Program Committee
==================
- Carlos Areces (U Cordoba, AR)
- Guillaume Aucher (IRISA, FR)
- Alexandru Baltag (ILLC, Amsterdam, NL)
- Luis Barbosa (U Minho, PT)
- Mario Benevides (UFRJ, BR)
- Patrick Blackburn, (U Roskilde, DK)
- Thomas Bolander (DTU, DK)
- Johan van Benthem (ILLC, Amsterdam, NL)
- Philippe Balbiani (IRIT, Toulouse, FR)
- Marta Bilkova (CAS, Prague, CZ)
- Hans van Ditmarsch (LORIA, Nancy, FR)
- Sabine Frittella (U Orleans, FR)
- Reiner Haehnle (TU Darmstadt, DE)
- Rolf Hennicker (LMU, Munchen, DE)
- 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)

Contact
===============
With inquiries concerning the workshop, contact the PC chairs:

- martins (at) ub (dot) pt
- sedlar (at) cs (dot) cas (dot) cz
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam