<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.E-MailFormatvorlage18
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE-AT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">AiML 2024: 15TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC</span><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">PRAGUE, 19--23 AUGUST 2024<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal
logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic
Methods in Computer Science (RAMiCS 2024). <o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">WEBPAGES<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif">AiML 2024:
</span><a href="https://www.cs.cas.cz/aiml2024/"><span lang="FR" style="font-family:"Times New Roman",serif">https://www.cs.cas.cz/aiml2024/</span></a><span lang="FR" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">AiML Series:
</span><a href="http://www.aiml.net/"><span lang="FR" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">http://www.aiml.net</span></a><span class="MsoHyperlink"><span lang="FR" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">/</span></span><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">RAMiCS 2024</span><span lang="EN-US" style="font-family:"Times New Roman",serif">:
</span><a href="https://ramics-conf.github.io/2024/"><span lang="EN-US" style="font-family:"Times New Roman",serif">https://ramics-conf.github.io/2024/</span></a><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">TOPICS</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">We invite submissions on all aspects of modal and related logic, including (but not limited to):<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- proof theory, semantics or automated deduction<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- applications of modal logic<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- history of modal logic<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- philosophy of modal logic<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- computational or theoretical aspects<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">- specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process
logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural
logics, computationally light fragments of all such logics)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">PAPER SUBMISSIONS</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">There will be two types of submissions for AiML 2024:</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">(1) Full papers for publication in the proceedings and presentation at the conference.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">(2) Short presentations intended for presentation at the conference but not for the published
proceedings.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Both types of papers should be submitted electronically using the EasyChair submission page starting
from January 29<sup>th</sup>, 2024. For more information, please visit:<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Times New Roman",serif"><a href="https://www.cs.cas.cz/aiml2024/#submit"><span lang="EN-US">https://www.cs.cas.cz/aiml2024/#submit</span></a></span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">At least one author of each accepted paper or short presentation must register for and attend
the conference.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">(1) FULL PAPERS</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Authors are invited to submit, for presentation at the conference and publication in the
proceedings, full papers reporting on original research and not submitted elsewhere.
</span><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">The submissions should be at most 15 pages (references excluded), with an optional technical
appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template provided on the AiML 2024 website</span><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">
in due time.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission
of their paper.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">The presentations of accepted full papers will be 30 minutes long.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">(2) SHORT PRESENTATIONS</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Submissions of extended abstracts of up to 5 pages are also welcome, and will be subject
to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them.</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">LOCAL ORGANIZING COMMITTEE</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Marta Bílková (Czech Academy of Sciences)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Vojtěch Kolman (Charles University)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Ondrej Majer (Czech Academy of Sciences)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="FR" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Igor Sedlár (Czech Academy of Sciences) (chair)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> <o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">PROGRAMME COMMITTEE CHAIRS</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif">Agata Ciabattoni (</span><span lang="EN-US" style="font-family:"Times New Roman",serif">TU Wien</span><span lang="NL" style="font-family:"Times New Roman",serif">)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif">David Gabelaia (TSU Razmadze Mathematical Institute)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">PROGRAMME COMMITTEE<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif">Philippe Balbiani (Institut de Recherche en Informatique de Toulouse)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif">Lev Beklemishev (Steklov Mathematical Institute)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="NL" style="font-family:"Times New Roman",serif">Nick Bezhanishvili (ILLC, University of Amsterdam)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Marta Bílková (Institute of Computer Science, Czech Academy of Sciences)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Agata Ciabattoni (TU Wien)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Willem Conradie (University of the Witwatersrand)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Tommaso Flaminio (IIIA - CSIC)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">David Gabelaia (TSU Razmadze Mathematical Institute)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Silvio Ghilardi (University of Milan)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Nina Gierasimczuk (Technical University of Denmark)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Valentin Goranko (Stockholm University)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Rajeev Gore
<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Wesley Holliday (University of California, Berkeley)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">John Horty (University of Maryland)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Emil Jeřábek (Institute of Mathematics, Czech Academy of Sciences)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Clemens Kupke (University of Strathclyde)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Agi Kurucz (King's College London)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Times New Roman",serif">Roman Kuznets (TU Wien)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Times New Roman",serif">Emiliano Lorini (Institut de Recherche en Informatique de Toulouse)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Times New Roman",serif">Tim Lyon (Technische Universität Dresden)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Tommaso Moraschini (Universitat de Barcelona)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Larry Moss (Indiana University Bloomington)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Sara Negri (University of Genova)<span style="color:red"><o:p></o:p></span></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Nicola Olivetti (Aix-Marseille Université)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Alessandra Palmigiano (VU Amsterdam)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Xavier Parent (TU Wien)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Elaine Pimentel (UCL)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Vit Punčochář (Institute of Philosophy, Czech Academy of Sciences)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Revantha Ramanayake (University of Groningen)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Renate A. Schmidt (The University of Manchester)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Ilya Shapirovsky (New Mexico State University)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Viorica Sofronie-Stokkermans (University of Koblenz)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Balder ten Cate (ILLC, University of Amsterdam)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Yde Venema (ILLC, University of Amsterdam)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Rineke Verbrugge (University of Groningen)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Times New Roman",serif">Heinrich Wansing (Ruhr University Bochum)<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif">Frank Wolter (University of Liverpool)
<span style="color:black;border:none windowtext 1.0pt;padding:0cm"><o:p></o:p></span></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">IMPORTANT DATES</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Abstracts of full papers submission deadline: 8 March<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Full papers submission deadline: 15 March<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Full papers notification: 20 May<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Short presentations submission deadline: 30 May
<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Short presentations acceptance notification: 14 June<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">Final version of full papers and short presentations due: 21 June<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Registration deadline: t.b.a.<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">Conference: 19–23 August 2024<o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">ENQUIRIES</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> </span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm">E-mail enquiries should be directed to the PC chairs, sent to:</span><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p> </o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><a href="mailto:agata@logic.at"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">agata@logic.at</span></a><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><a href="mailto:gabelaia@gmail.com"><span lang="EN-US" style="font-family:"Times New Roman",serif;border:none windowtext 1.0pt;padding:0cm">gabelaia@gmail.com</span></a><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span lang="EN-US" style="font-family:"Times New Roman",serif;color:black;border:none windowtext 1.0pt;padding:0cm"> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>