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.
\n\nInvited Speakers: Natasha Alechina and Johan van B enthem.
\n\nGiven the worsening epidemiolo gical situation, the organizers have decided to ho ld DaLi as an online workshop via Zoom.
\nSubmissions are invited on the genera l field of dynamic logic, its variants and applica tions. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through Eas yChair.
\n