\n

<
div>\n Building on the pioneer intuitions of Floyd-Hoare logic, dy namic logic was introduced in the 70's as a suitab le logic to reason about, and verify, classic impe rative programs. Since then, the original intuitio ns grew to an entire family of logics, which becam e increasingly popular for assertional reasoning a bout a wide range of computational systems. Simult aneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming pa radigms and extended to new computing domains, inc luding probabilistic, continuous and quantum compu tation. Both its theoretical relevance and practic al potential make dynamic logic a topic of interes t in a number of scientific venues, from wide-scop e software engineering conferences to modal logic specific events. However, no specific event is exc lusively dedicated to it. This workshop aims at fi lling fill such a gap, joining an heterogeneous co mmunity of colleagues, from Academia to Industry, from Mathematics to Computer Science.

\nSubmissions are invited on the general field of dynamic logic, its variants and applicati ons, including, but not restricted to

\n\n- \n
- Dynamic logic, foundations and applicat ions \n\n
- Logics with regular modalitie s \n\n
- Modal/temporal/epistemic logics< /li>\n\n
- Kleene and action algebras and the ir variants \n\n
- Quantum dynamic logic< /li>\n\n
- Coalgebraic modal/dynamic logics\n\n
- Graded and fuzzy dynamic logics \n\n
- Dynamic logics for cyber-physical sys tems \n\n
- Dynamic epistemic logic \ n\n
- Complexity and decidability of variants of dynamic logics and temporal logics \n\n
- Model checking, model generation and theorem proving for dynamic logics \n