Please note that this newsitem has been archived, and may contain outdated information or links.
15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/).
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
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic 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
Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages (12 pages of main text + 3 pages of appendix and references), are invited through Easychair. The submissions should be *anonymous* and should follow the LNCS formatting style. LaTeX users (preferred) can download the LNCS template directly ; Word users can do the same. A post-proceedings volume and a special issue of a journal are planned, and will be confirmed in the next CfP.
Please note that this newsitem has been archived, and may contain outdated information or links.