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