<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>======================================================================</div>
<div>DaLí 2025 - 1st Call for Papers</div>
<div><br>
</div>
<div>DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications</div>
<div>Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China</div>
<div>October 20-21, 2025</div>
<div><br>
</div>
<div>***(temporary link) http://dali2025.web.ua.pt ***</div>
<div><br>
</div>
<div><br>
</div>
<div>======================================================================</div>
<div><br>
</div>
<div>*** Important Dates ***</div>
<div>- Abstract submission deadline: *1st June, 2025*</div>
<div>- Full paper submission deadline: *5th of June, 2025*</div>
<div>- Author notifications: *15th of July, 2025*</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>**** Overview *****</div>
<div>Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas
and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains
(e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory).</div>
<div><br>
</div>
<div>Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2025 workshop is to bring together,
in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.</div>
<div><br>
</div>
<div>Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023).</div>
<div><br>
</div>
<div><br>
</div>
<div>**** List of Topics ****</div>
<div>Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to):</div>
<div><br>
</div>
<div>- Dynamic logic, foundations and applications</div>
<div>- Logics with regular modalities</div>
<div>- Modal/temporal/epistemic/game logics</div>
<div>- Kleene and action algebras and their variants</div>
<div>- The interface between logic and learning</div>
<div>- Quantum dynamic logic</div>
<div>- Co-algebraic modal/dynamic logics</div>
<div>- Graded and fuzzy dynamic logics</div>
<div>- Dynamic logics for cyber-physical systems</div>
<div>- Dynamic epistemic logic</div>
<div>- Complexity and decidability of variants of dynamic logics and temporal logics</div>
<div>- Model checking, model generation and theorem proving for dynamic logics</div>
<div>- Integration of Dynamic Logic with Machine Learning Models</div>
<div><br>
</div>
<div><br>
</div>
<div>**** Submission and Proceedings ****</div>
<div><br>
</div>
<div>We solicit two categories of papers:</div>
<div><br>
</div>
<div>.Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages).</div>
<div><br>
</div>
<div>.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).</div>
<div><br>
</div>
<div><br>
</div>
<div>Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere.</div>
<div><br>
</div>
<div>Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025</div>
<div><br>
</div>
<div>A post-proceedings volume in Springer LNCS is being arranged. A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier).</div>
<div><br>
</div>
<div><br>
</div>
<div>*** Invited Speakers ***</div>
<div>TBA</div>
<div><br>
</div>
<div><br>
</div>
<div>*** Program Committee Chairs *** </div>
<div><br>
</div>
<div>Jing Wang (Shaanxi Normal University, China)</div>
<div>Alexandre Madeira (University of Aveiro, PT)</div>
<div><br>
</div>
<div>*** Organising Committee chair ***</div>
<div><br>
</div>
<div>Lei Li (Shaanxi Normal University, China) <span class="Apple-tab-span" style="white-space:pre">
</span></div>
<div><br>
</div>
<div>*** Program Committee ***</div>
<div><br>
</div>
<div>Thomas<span class="Apple-tab-span" style="white-space:pre"> </span>Ågotnes<span class="Apple-tab-span" style="white-space:pre">
</span>(U. of Bergen, No)</div>
<div>Carlos<span class="Apple-tab-span" style="white-space:pre"> </span>Areces<span class="Apple-tab-span" style="white-space:pre">
</span>(FaMAF, Ar)</div>
<div>Philippe Balbiani (IRIT, Fr)</div>
<div>Alexandru Baltag (U Amesterdam, Nl)</div>
<div>Luís Soares Barbosa (U of Minho, Pt)</div>
<div>Mario<span class="Apple-tab-span" style="white-space:pre"> </span>Benevides (UFF, Br)</div>
<div>Thomas Bolander (Technical U. of Denmark, Dk)</div>
<div>Raul Fervari<span class="Apple-tab-span" style="white-space:pre"> </span>(U. Nacional de Córdoba, CONICET, Ar)</div>
<div>Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr)</div>
<div>Xiaoxuan Fu (China U. of Political Science and Law, Ch)</div>
<div>Sujata<span class="Apple-tab-span" style="white-space:pre"> </span>Ghosh (Indian Statistical Institute, In)</div>
<div>Leandro Gomes (Lille University, Fr)</div>
<div>Reiner<span class="Apple-tab-span" style="white-space:pre"> </span>Hähnle (TU Darmstadt, Ge)</div>
<div>Asta Halkjær From (U. of Copenhagen, Dk)</div>
<div>Andreas<span class="Apple-tab-span" style="white-space:pre"> </span>Herzig (CNRS, IRIT, Univ. Toulouse, Fr)</div>
<div>Gabriele Kern-Isberner<span class="Apple-tab-span" style="white-space:pre"> </span>
(Dortmund University, De)</div>
<div>Alexander Knapp<span class="Apple-tab-span" style="white-space:pre"> </span>
(Universität Augsburg, Ge)</div>
<div>Sophia<span class="Apple-tab-span" style="white-space:pre"> </span>Knight (U. of Minnesota Duluth, USA)</div>
<div>Katherine Kosaian (U. of Iowa, USA)</div>
<div>Clemens<span class="Apple-tab-span" style="white-space:pre"> </span>Kupke (U. of Strathclyde, UK)</div>
<div>Lei Li (Shaanxi Normal University, Ch)</div>
<div>Fei Liang (School of Philosophy and Social Development, Shandong U., Ch)</div>
<div>Fenrong<span class="Apple-tab-span" style="white-space:pre"> </span>Liu (Tsinghua University, Ch)</div>
<div>Alexandre Madeira (University of Aveiro, Pt) </div>
<div>Manuel A. Martins (University of Aveiro, Pt)</div>
<div>Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl)</div>
<div>Elaine<span class="Apple-tab-span" style="white-space:pre"> </span>Pimentel (UCL, UK)</div>
<div>R Ramanujam (I. of Mathematical Sciences, Chennai, In)</div>
<div>Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp)</div>
<div>Igor Sedlar (Czech Academy of Sciences, Cz)</div>
<div>Sonja Smets (U. Amsterdam, Nl)</div>
<div>Ionuț Țuțu (IMAR, Ro)</div>
<div>Johan van Benthem (U. Amsterdam, Nl)</div>
<div>Jing Wang (Shaanxi Normal University, Ch)</div>
<div>Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch)</div>
<div>Zhaoqing Xu (Sichuan University, Ch)</div>
<div>Fan<span class="Apple-tab-span" style="white-space:pre"> </span>Yang (Utrecht University, Nl)</div>
<div>Zhiguang Zhao (Taishan University, Ch)</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>*** Steering Committee ***</div>
<div><br>
</div>
<div>Alexandru Baltag (U. Amsterdam, NL)</div>
<div>Alexandre Madeira (U. Aveiro, PT)</div>
<div>Andreas Herzig (IRIT, U. Paul Sabatier, FR)</div>
<div>Fenrong Liu (Tsinghua U., CH)</div>
<div>Johan van Benthem (U. Amsterdam, NL)</div>
<div>Igor Sedlár (Czech Academy of Sciences, CZ)</div>
<div>Luís Soares Barbosa (U. Minho, PT), Chair</div>
<div>Manuel Martins (U. Aveiro, PT)</div>
<div>Mário Benevides (Federal U. Rio de Janeiro, BR)</div>
<div>Sonja Smets (U. Amsterdam, NL)</div>
<div>
<div>__________________________________</div>
<div>Alexandre Madeira</div>
<div>madeira@ua.pt</div>
<div><br>
</div>
<br class="Apple-interchange-newline">
</div>
<br>
</body>
</html>