Building
on the ideas of Floyd-Hoare logic, dynamic logic w
as introduced in the 70's as a formal tool for rea
soning about, and verify, classic imperative progr
ams. Over time, its aim has evolved and expanded;
DL can be seen now as a general set of ideas and t
ools devised for representing, describing and reas
oning about diverse kind of actions. Both its theo
retical relevance and practical potential make DLs
a topic of interest in a number of scientific ven
ues, from wide-scope software engineering conferen
ces to modal logic specific events. The aim of the
DaLí 2023 workshop is to bring together, in a sin
gle place, researchers with a shared interest in t
he formal study of actions (from Academia to Indus
try and more, from Mathematics to Computer Science
and beyond) to present their work, foster discuss
ions and encourage collaborations.
\n Previous
editions of DaLí took place in Brasília (2017), P
orto (2019), online (2020, 2022) and Tblisi (2023)
.
Submissions are invited o
n the general field of dynamic logic, its variants
and applications. We solicit two categories of su
bmissions:
\n - Regular papers - describing or
iginal research results, case studies, or surveys,
should not exceed 15 pages (excluding bibliograph
y of at most two pages).
\n - Short papers – d
escribing original research results or case studie
s, maybe in an incubation phase, with 6 to 8 pages
(excluding bibliography of at most one page)
\
n Papers must follow the guidelines for Springer
LNCS submissions. All submissions must be original
and not simultaneously under review elsewhere.