<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr">[Please distribute. Apologies for multiple postings]<div><br></div><div><div style="margin:0px"><span style="font-size:15px;color:rgb(36,36,36)">THIRD CALL FOR PAPERS</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">WoLLIC 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">30th Workshop on Logic, Language, Information and Computation</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">10-13 June 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Bern, Switzerland</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><a href="https://urldefense.com/v3/__https://wollic2024.inf.unibe.ch/__;!!IBzWLUs!UtmaZEr7LklSBD-_W6DXhhfIzLmEP72mVu1pLvkWpN9iPjM1mALgeAapFT1GyAMGOzH7tfsVZqwG_4yboLvXt9eXu0mH$" target="_blank">https://wollic2024.inf.unibe.ch/</a></span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">ORGANISATION</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Mathematical Institute and Institute for Computer Science</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">University of Bern, Switzerland</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Centro de Informática, Universidade Federal de Pernambuco, Brazil</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">WoLLIC is an annual international forum on inter-disciplinary research</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">involving formal logic, computing and programming theory, and natural </span><span style="color:rgb(36,36,36);font-size:15px">language and reasoning. Each meeting includes invited talks and tutorials </span><span style="color:rgb(36,36,36);font-size:15px">as well as contributed papers. The thirtieth WoLLIC will be held at the </span><span style="color:rgb(36,36,36);font-size:15px">University of Bern, Switzerland, 10-13 June 2024.</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">SCOPE</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Contributions are invited on all pertinent subjects, with particular</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">interest in cross-disciplinary topics. Typical but not exclusive areas of</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">interest are: non-classical logics; foundations of computing, programming  </span><span style="color:rgb(36,36,36);font-size:15px">and Artificial Intelligence (AI); novel computation models and paradigms; </span><span style="color:rgb(36,36,36);font-size:15px">broad notions of proof and belief; proof mining, type theory, effective </span><span style="color:rgb(36,36,36);font-size:15px">learnability and explainable AI; formal methods in software and hardware </span><span style="color:rgb(36,36,36);font-size:15px">development; logical approach to natural language and reasoning; logics </span><span style="color:rgb(36,36,36);font-size:15px">of programs, actions and resources; foundational aspects of information </span><span style="color:rgb(36,36,36);font-size:15px">organization, search, flow, sharing and protection; foundations of </span><span style="color:rgb(36,36,36);font-size:15px">mathematics; philosophical logic; philosophy of language.</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">PAPER SUBMISSION</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Proposed contributions should be in English, and consist of a scholarly </span><span style="color:rgb(36,36,36);font-size:15px">exposition accessible to the non-specialist, including motivation, </span><span style="font-size:15px;color:rgb(36,36,36)">background, and comparison with related works. Articles should be written </span><span style="color:rgb(36,36,36);font-size:15px">in the LaTeX format of LNCS by Springer (see author's instructions at</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><a href="https://urldefense.com/v3/__http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0__;!!IBzWLUs!UtmaZEr7LklSBD-_W6DXhhfIzLmEP72mVu1pLvkWpN9iPjM1mALgeAapFT1GyAMGOzH7tfsVZqwG_4yboLvXt91mHDM-$" target="_blank">http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a>). They must </span><span style="color:rgb(36,36,36);font-size:15px">not exceed 12 pages, with up to 5 additional pages for references and </span><span style="color:rgb(36,36,36);font-size:15px">technical appendices. The paper's main results must not be published or </span><span style="color:rgb(36,36,36);font-size:15px">submitted for publication in refereed venues, including journals and other </span><span style="color:rgb(36,36,36);font-size:15px">scientific meetings. It is expected that each accepted paper be presented </span><span style="color:rgb(36,36,36);font-size:15px">at the meeting by one of its authors in person. (At least one author is </span><span style="color:rgb(36,36,36);font-size:15px">required to pay a full, on-site registration fee before granting that the </span><span style="color:rgb(36,36,36);font-size:15px">paper will be published in the proceedings.) Papers must be submitted </span><span style="color:rgb(36,36,36);font-size:15px">electronically at the WoLLIC 2024 EasyChair website</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wollic2024__;!!IBzWLUs!UtmaZEr7LklSBD-_W6DXhhfIzLmEP72mVu1pLvkWpN9iPjM1mALgeAapFT1GyAMGOzH7tfsVZqwG_4yboLvXtwcDHXkF$" target="_blank">https://easychair.org/conferences/?conf=wollic2024</a>.</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">PROCEEDINGS</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">The proceedings of WoLLIC 2024, including both invited and contributed </span><span style="color:rgb(36,36,36);font-size:15px">papers, will be published in advance of the meeting as a volume in </span><span style="color:rgb(36,36,36);font-size:15px">Springer's LNCS series. In addition, abstracts will be published in the </span><span style="color:rgb(36,36,36);font-size:15px">Conference Report section of the Logic Journal of the IGPL, and selected </span><span style="color:rgb(36,36,36);font-size:15px">contributions will be published (after a new round of reviewing) as a </span><span style="color:rgb(36,36,36);font-size:15px">special post-conference WoLLIC 2024 issue of a scientific journal (tba).</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">INVITED SPEAKERS</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Juan Aguilera, Vienna University of Technology</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Maria Aloni, University of Amsterdam</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Helle Hvid Hansen, University of Groningen</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Rosalie Iemhoff, Utrecht University</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Dexter Kozen, Cornell University</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Francesca Zaffora Blando, Carnegie Mellon University</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">IMPORTANT DATES</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Abstracts deadline    22 January 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Full papers deadline  29 January 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Author notification   15 April 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Camera-ready version  29 April 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Workshop dates        10-13 June 2024</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">PROGRAMME COMMITTEE</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Guillermo Badia, University of Queensland, Australia</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Thomas Bolander, Danish Technical University, Denmark</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Célia Borlido, University of Coimbra, Portugal</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Sabine Broda, University of Porto, Portugal</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Zoé Christoff, University of Groningen, Netherlands</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Willem Conradie, University of the Witwatersrand, South Africa</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Anupam Das, University of Birmingham, UK</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Jacques Duparc, University of Lausanne, Switzerland</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Federico Faroldi, University of Pavia, Italy</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Chris Fermüller, Vienna University of Technology, Austria</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Mário Florido, University of Porto, Portugal</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Sujata Ghosh, Indian Statistical Institute, India</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Nina Gierasimczuk, Danish Technical University, Denmark</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Marianna Girlando, University of Amsterdam, Netherlands</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Makoto Kanazawa, Hosei University, Japan</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Fenrong Liu, Tsinghua University, China</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Hugo Luiz Mariano, University of São Paulo, Brazil</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">George Metcalfe, University of Bern, Switzerland (co-chair)</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Cláudia Nalon, University of Brasilia, Brazil</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Carles Noguera, University of Siena, Italy</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Magdalena Ortiz, University of Umeå, Sweden</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Aybüke Özgün, University of Amsterdam, Netherlands</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Dusko Pavlovic, University of Hawaii, USA</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Sylvain Pogodalla, INRIA Nancy, France</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Revantha Ramanayake, University of Groningen, Netherlands</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Luca Reggio, University College London, UK</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Mehrnoosh Sadrzadeh, University College London, UK</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Igor Sedlár, Czech Academy of Sciences, Czech Republic</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Viorica Sofronie-Stokkermans, University of Koblenz-Landau, Germany</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Thomas Studer, University of Bern, Switzerland (co-chair)</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Sara Ugolini, IIIA – CSIC Barcelona, Spain</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Mladen Vukovic, University of Zagreb, Croatia</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Fan Yang, Utrecht University, Netherlands</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Richard Zach, University of Calgary, Canada</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">STEERING COMMITTEE</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, Ruy de Queiroz, Alexandra Silva, Renata Wassermann  </span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">ADVISORY COMMITTEE</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen</span></div><div><span style="font-size:15px;color:rgb(36,36,36)"><br></span></div><div><span style="font-size:15px;color:rgb(36,36,36)">ORGANISING COMMITTEE</span></div><div><span style="font-size:15px;color:rgb(36,36,36)">Bettina Choffat, Armand Feuilleaubois, George Metcalfe (co-chair), Borja Sierra Miranda, Anjolina de Oliveira (UFPE), Ruy de Queiroz (UFPE), Simon Santschi, Thomas Studer (co-chair), Naomi Tokuda, Lukas Zenger</span></div></div></div>
</div></div>