<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<p class="elementToProof" style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Call for papers</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Learning and Automata (LearnAut) -- ICALP 2024 workshop</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">July 7th - Tallinn, Estonia</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Website:
</span><span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://learnaut24.github.io/__;!!IBzWLUs!QMOlBUPJliDMfbreyirSwuc9bguz2Adh_9clVCOhF1Z4JhAiCnAZ2kjfnWogM5IjytuRENpJyB_dqMr24XI_rgheWUc4HD4gU3zM2A7VOaGo$" id="OWAcf9732f2-4b33-e8ee-3933-b2e80b94f4a0" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://learnaut24.github.io/</a></span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Deadline: April 18</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Submission portal:
</span><span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=learnaut2024__;!!IBzWLUs!QMOlBUPJliDMfbreyirSwuc9bguz2Adh_9clVCOhF1Z4JhAiCnAZ2kjfnWogM5IjytuRENpJyB_dqMr24XI_rgheWUc4HD4gU3zM2Hko-t-v$" id="OWA642e5edf-0563-bca3-be53-b50aa485f40f" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://easychair.org/conferences/?conf=learnaut2024</a></span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these
models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important
results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in
logic and verification new fruitful applications for their methods.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral
presentation. At least one author of each accepted abstract is expected to represent it at the workshop.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop).</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Topics of interest include (but are not limited to):</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Computational complexity of learning problems involving automata and formal languages.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Algorithms and frameworks for learning models representing language classes inside and outside the Chomsky hierarchy, including tree and graph grammars.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Learning problems involving models with additional structure, including numeric weights, inputs/outputs such as transducers, register automata, timed automata, Markov reward
and decision processes, and semi-hidden Markov models.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Logical and relational aspects of learning and grammatical inference.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Theoretical studies of learnable classes of languages/representations.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Relations between automata or any other models from language theory and deep learning models for sequential data.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Active learning of finite state machines and formal languages.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Methods for estimating probability distributions over strings, trees, graphs, or any data used as input for symbolic models.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Applications of learning to formal verification and (statistical) model checking.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">- Metrics and other error measures between automata or formal languages.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">** Program Committee ** </span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Dana Angluin (Yale University, United States)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Johanna Björklund (Umeå University, Sweden)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Benedikt Bollig (LSV, ENS Cachan, CNRS, France)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Tiago Ferreira (University College London, United Kingdom)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Colin de la Higuera (Université de Nantes, France)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Falk Howar (TU Dortmund, Germany)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Andrea Pferscher (University of Oslo, Norway)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Guillaume Rabusseau (McGill University)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Jurriaan Rot (Radboud University Nijmegen, the Netherlands)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Ariadna Quattoni (Universitat Politècnica de Catalunya, Spain)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Sergio Yovine (Universidad ORT, Uruguay)</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">** Invited Speakers **</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Bernhard Aichernig (TU Graz)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">(More to come)</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">** Submission instructions **</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Submissions in the form of anonymized extended abstracts must be at most 8 single-column pages long (plus at most four for bibliography and possible appendixes) and must be
submitted in the JMLR/PMLR format. The LaTeX style file is available here: </span>
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://ctan.org/tex-archive/macros/latex/contrib/jmlr__;!!IBzWLUs!QMOlBUPJliDMfbreyirSwuc9bguz2Adh_9clVCOhF1Z4JhAiCnAZ2kjfnWogM5IjytuRENpJyB_dqMr24XI_rgheWUc4HD4gU3zM2LrWx9tf$" id="OWA19ba0ebc-6d07-7848-397c-dfe9f9d234a7" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://ctan.org/tex-archive/macros/latex/contrib/jmlr</a></span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">We do accept submissions of work recently published, currently under review or work-in-progress.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"> - Submission url:
</span><span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=learnaut2024__;!!IBzWLUs!QMOlBUPJliDMfbreyirSwuc9bguz2Adh_9clVCOhF1Z4JhAiCnAZ2kjfnWogM5IjytuRENpJyB_dqMr24XI_rgheWUc4HD4gU3zM2Hko-t-v$" id="OWA6bcd0ce2-e56a-e4c5-b3c4-8c06472b7bef" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://easychair.org/conferences/?conf=learnaut2024</a></span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"> - Submission deadline: April 18</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"> - Notification of acceptance: May 13</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"> - Early registration: May 17 (ICALP)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"> - Workshop: July 7</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">** Organizers **</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Sophie Fortz (King's College London, UK)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Franz Mayr (Universidad ORT Uruguay, UY)</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Joshua Moerman (Open Universiteit, Heerlen, NL)</span></p>
<p class="elementToProof" style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Matteo Sammartino (Royal Holloway, University of London, UK)</span></p>
<div class="elementToProof" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p>This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted.
If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of
London. It is your responsibility to ensure that this email and any attachments are virus free.</p>
<p></p>
</body>
</html>