Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation.
Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations.
Similarly to previous editions, we are aiming at offering the possibility to publish extended versions of the contributions in a special issue of a journal (details TBA).
Extended abstracts with preliminarily results and work in progress (2-5 pag) are also welcomed for short presentations.
Submissions should be handled with Easychair, following this link.
Details can be found on FLOC's website.
Authors: C. Areces, D. Costa, chairs of DaLí 2022. Website hosted by Faculty of Sciences, University of Lisbon. Last updated 22/02/2022.