The 6th Workshop on Dynamic Logic - New Trends and Applications (DaLí 2025) will be held at the School of Philosophy, Shaanxi Normal University, in Xi'an, Shaanxi Province, P. R. China, on October 20-21, 2025.
For more detailed information, please visit: http://dali2025.web.ua.pt
Overview
Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was introduced in the 70's by Pratt as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This leads to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Furthermore, it will provide a forum for disseminating and sharing new trends and applications of Dynamic Logic.
Previous editions of DaLí took place in Brasília (2017), Porto (2019) , online (2020, 2022 ) and Tbilisi (2023).
Topics
We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to:
l Dynamic logic, foundations and applications
l Logics with regular modalities
l Modal/temporal/epistemic/game logics
l Kleene and action algebras and their variants
l The interface between logic and learning
l Quantum dynamic logic
l Co-algebraic modal/dynamic logics
l Graded and fuzzy dynamic logics
l Dynamic logics for cyber-physical systems
l Dynamic epistemic logic
l Complexity and decidability of variants of dynamic logics and temporal logics
l Model checking, model generation and theorem proving for dynamic logics
l Integration of Dynamic Logic with Machine Learning Models
Important dates
l Abstract submission deadline: *1st June, 2025*
l Full paper submission deadline: *5th June, 2025*
l Author notifications: *15th July, 2025*
Submissions and publications
We solicit two categories of submissions:
l Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages).
l Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page).
Papers must follow the guidelines for Springer LNCS submissions. All submissions must be original and not simultaneously under review elsewhere.
As in previous editions, submissions should be handled with the link Easy Chair https://easychair.org/my/conference?conf=dal2025 and a post-proceedings volume will be published in a Lecture Notes of Computer Science Volume, Springer.
Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logic and Algebraic Methods in Programming, Elsevier.
Chairs
Jing Wang (Shaanxi Normal University, CHN)
Alexandre Madeira (CIDMA & U.Aveiro, PT)
Organising Committee chair
Lei Li (Shaanxi Normal University, CHN)
Program Committee
Thomas Ågotnes (U Bergen, NO)
Carlos Areces (U. Cordoba, AR)
Phillippe Balbiani (U. Toulouse, FR)
Alexandru Baltag (Uva, NL)
Luís S. Barbosa (U.Minho, PT)
Mário Benevides (UFRJ, BR)
Johan van Benthem (U.Stanford & Tsinghua U., NL)
Thomas Bolander (DTU, DK)
Raul Fervari (U Córdoba, AR)
Sabine Frittella (LIFO, FR)
Xiaoxuan Fu (China University of Political science and Law, CHN)
Sujata Ghosh (ISI Chennai, IN)
Leandro Gomes (U Lille, FR)
Reiner Hähnle (T.U. Darmstadt, DE)
Asta Halkjær From (DTU, DK)
Andreas Herzig (Toulouse, FR)
Gabriele Kern-Isberner (TU Dortmund, DE)
Alexander Knapp (U Augsbourg, DE)
Sophia Knight (U Minnesota, USA)
Katherine Kosaian (U. of Iowa, USA)
Clemens Kupke (U Strathclyde)
Lei Li (Shaanxi Normal University, CHN)
Fei Liang (Shandong University, CHN)
Fenrong Liu (Tsinghua U., CHN)
Alexandre Madeira (U. Aveiro, PT)
Manuel A. Martins (U. Aveiro, PT)
Stefan Mitsch（CMU, USA）
Alessandra Palmigiano (VU Amsterdam, NL)
Elaine Pimentel (UCL, UK)
R Ramanujam (I. of Mathematical Sciences, Chennai, IN)
Katsuhiko Sano (Hokkaido University, JP)
Igor Sedlár (CAS, Prague, CZ)
Sonja Smets (U Amsterdam, NL)
Ionut Tutu (IMAR, RO)
Jing Wang (Shaanxi Normal University, CHN)
Yì Nicholas Wáng (Sun Yat-sen University, CHN)
Zhaoqing Xu (Sichuan University, CHN)
Fan Yang (Utrecht U, NL)
Zhiguang Zhao (Taishan University, CHN)
Sterring Committee
Alexandru Baltag (U. Amsterdam, NL)
Alexandre Madeira (CIDMA & U.Aveiro, PT)
Andreas Herzig (Toulouse, FR)
Fenrong Liu (Tsinghua U., CHN)
Johan van Benthem (U.Stanford & Tsinghua U., NL)
Igor Sedlár (CAS, Prague, CZ)
Luís S. Barbosa, chair (U.Minho, PT)
Manuel A. Martins (U. Aveiro, PT)
Mário Benevides (UFRJ, BR)
Sonja Smets (U Amsterdam, NL)
Contacts
Lei Li: lileity@snnu.edu.cn
Venue
School of Philosophy, Section C, Wenlan Building, Shaanxi Normal University, No. 620 West Chang'an Street, Chang'an District, Xi'an, Shaanxi 710119, P. R. China
Organizer
School of Philosophy
Institution of Science and Humanities Education
Institution of Mutual Learning between Chinese and Western Civilizations
