Dynamic l ogic (DL), a generalisation of the logic of Floyd- Hoare introduced in the 70s by Pratt, is a well-kn own and particularly powerful way of combining pro positions, for capturing static properties of prog ram states, and structured actions, responsible fo r transitions from a state to another (and typical ly combined through a Kleene algebra to express se quential, non-deterministic, iterative behaviour o f systems), into a formal framework to reason abou t, and verify, classic imperative programs. Over t ime Dynamic logic grew to encompass a family of lo gics increasingly popular in the verification of c omputational systems, and able to evolve and adapt to new, and complex validation challenges.
\nDynamic logic is not only theoretically releva nt, but it also shows enormous practical potential and it is indeed a topic of interest in several s cientific venues, from wide-scope software enginee ring conferences to modal logic specific events. T hat being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once ag ain bring together in a single place the heterogen eous community of colleagues which share an intere st in Dynamic logic - from Academia to Industry, f rom Mathematics to Computer Science, - to promote their works, to foster great discussions and new c ollaborations.
\nSubmissions of original papers (unpublished and not submitted for publication elsewhere) are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logi cs with regular modalities - Modal/temporal/episte mic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic mod al/dynamic logics - Graded and fuzzy dynamic logic s - Dynamic logics for cyber-physical systems - Dy namic epistemic logic - Complexity and decidabilit y of variants of dynamic logics and temporal logic s - Model checking, model generation and theorem p roving for dynamic logics.
\n