<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">Call for Papers (apologies for multiple copies of this email)</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0"> ***
</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0px; color: black;" class="ContentPasted0">DaLí - Dynamic Logic: new trends and applications
</span><span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">***</span></p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0"> special issue of the
</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0px; color: black;" class="ContentPasted0">Journal of Logical and Algebraic Methods in Programming</span></p>
<div style="font-size: 15px; font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; margin: 0px; text-decoration: none; color: rgb(66, 66, 66);">
<span style="margin:0px"><br class="ContentPasted0">
</span></div>
<div style="font-size: 15px; font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; margin: 0px; text-decoration: none; color: rgb(66, 66, 66);">
<span style="font-size: 14.67px; font-family: Arial; margin: 0px; color: black;" class="ContentPasted0">=== Updated Deadlines ===</span><br class="ContentPasted0">
</div>
<div style="font-size: 15px; font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; margin: 0px; text-decoration: none; color: rgb(66, 66, 66);">
<br class="ContentPasted0">
<b class="ContentPasted0"> Deadline for submission of papers: June 15th, 2023<br class="ContentPasted0">
Notification of acceptance/rejection: November 1st, 2023<br class="ContentPasted0">
Submission of final versions: December 1st, 2023<br class="ContentPasted0">
</b></div>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size: 11pt; font-family: Arial; margin: 0px; color: black;" class="ContentPasted0">=== General Description ===</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">Dynamic Logic (DL), a generalization of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing
static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behavior of systems), into a formal framework
to reason about, and verify, classic imperative programs. Over time DL 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.</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">This special issue is dedicated to new advances in Dynamic Logic. Its aim is to bring together papers on both pure and applied aspects of various branches of DL, and foster the
exchange of ideas between researchers working in DL and other disciplines.</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.) in
connection with DL, as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.).</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">=== Topics of Interest ===</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size: 10.5pt; font-family: Arial; margin: 0px; color: rgb(51, 51, 51);" class="ContentPasted0">We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to:</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<ul style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; color: rgb(66, 66, 66);">
<li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Dynamic logic, foundations and applications</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Logics with regular modalities</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Modal/temporal/epistemic logics</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Kleene and action algebras and their variants</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Quantum dynamic logic</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Coalgebraic modal/dynamic logics</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Graded and fuzzy dynamic logics</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Dynamic logics for cyber-physical systems</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Dynamic epistemic logic</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Complexity and decidability of variants of dynamic logics and temporal logics</span></p>
</li><li dir="ltr" style="font-size: 10.5pt; font-family: Arial; list-style: outside; color: rgb(51, 51, 51);">
<p dir="ltr" style="margin-top:0px;margin-bottom:30pt;line-height:1.38"><span style="margin:0px" class="ContentPasted0">Model checking, model generation and theorem proving for dynamic logics</span></p>
</li></ul>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">=== Submissions ===</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">Papers should be submitted via EasyChair (</span><a href="https://easychair.org/conferences/?conf=dalsi2023" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="2" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-size:11pt;font-family:Arial;margin:0px;text-decoration:underline">https://easychair.org/conferences/?conf=dalsi2023</span></a><span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">).</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">The submissions should be formatted according to the Journal's guidelines (</span><a href="https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="3" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-size:11pt;font-family:Arial;margin:0px;text-decoration:underline">https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions</span></a><span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">).</span></p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">All submissions will undergo the usual peer-review process by the standards of the
</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0px; color: black;" class="ContentPasted0">Journal of Logical and Algebraic Methods in Programming</span><span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">.</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">=== Guest editors ===</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">Diana Costa (LASIGE, University of Lisbon, Portugal)</span></p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">Carlos Areces (FAMAF, Universidad Nacional de Córdoba, Argentina)</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">=== A related conference ===</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">This special issue is a follow-up of the workshop “DaLí - Dynamic Logic: new trends and applications” (affiliated with LICS, as part of FLOC) that took part on the 31st of July
and 1st of August 2022, (</span><a href="http://dali2022.campus.ciencias.ulisboa.pt/" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="4" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-size:11pt;font-family:Arial;margin:0px;text-decoration:underline">http://dali2022.campus.ciencias.ulisboa.pt/</span></a><span style="font-size:11pt;font-family:Arial;margin:0px" class="ContentPasted0">).
Although the scope of the special issue coincides with that of the workshop, submissions are not restricted to papers presented there or papers by the participants. Rather, the call is open and all papers within the scope of the special issue are welcome.</span></p>
<br style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; color: rgb(66, 66, 66);" class="ContentPasted0">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size: 11pt; font-family: Arial; margin: 0px; color: rgb(49, 49, 49);" class="ContentPasted0">Best regards,</span></p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<br class="ContentPasted0">
</p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size: 11pt; font-family: Arial; margin: 0px; color: rgb(49, 49, 49);" class="ContentPasted0">Diana & Carlos</span></p>
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; text-decoration: none; margin-top: 0px; margin-bottom: 0px; line-height: 1.38; color: rgb(66, 66, 66);">
<span style="font-size: 11pt; font-family: Arial; margin: 0px; color: rgb(49, 49, 49);" class="ContentPasted0">DaLí 2022 special issue editors.</span></p>
<br>
</div>
</body>
</html>