WoLLIC 2022: Workshop on Logic, Language, Information and Computation Faculty of Computer Science, Alexandru Ioan Cuza University Iași, Romania, September 20-23, 2022 |
Conference website | https://wollic.org/wollic2022/ |
Submission link | https://easychair.org/conferences/?conf=wollic2022 |
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory,and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at the Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania, September 20 to 23, 2022.
WoLLIC has been scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), and the Sociedade Brasileira de Lógica (SBL).
Submission Guidelines
Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX formatof LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not bepublished or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration feebefore granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2022EasyChair website https://easychair.org/conferences/?conf=wollic2022.
List of Topics
Contributions are invited on all pertinent subjects, with particularinterest in cross-disciplinary topics. Typical but not exclusive areas of interest are:
- foundations of computing, programming and Artificial Intelligence (AI);
- novel computation models and paradigms;
- broad notions of proof and belief;
- proof mining, type theory, effective learnability and explainable AI;
- formal methods in software and hardware development;
- logical approach to natural language and reasoning;
- logics of programs, actions and resources;
- foundational aspects of information organization, search, flow, sharing, and protection;
- foundations of mathematics;
- philosophical logic;
- philosophy of language.
Committees
Program Committee
- Arthur Azevedo de Amorim (Boston University)
- Agata Ciabattoni (Technische Universität Wien) (Co-Chair)
- Diana Costa (University of Lisbon)
- Hans van Ditmarsch (Open University of the Netherlands)
- Rajeev Goré (Vienna University of Technology and Polish Academy of Science)
- Roman Kuznets (Technische Universität Wien)
- João Marcos (Univ Federal do Rio Grande do Norte)
- Larry Moss (Indiana University Bloomington)
- Valeria de Paiva (Topos Institute and PUC-Rio)
- Elaine Pimentel (Univ Federal do Rio Grande do Norte) (Co-Chair)
- Revantha Ramanayake (University of Groningen)
- Mehrnoosh Sadrzadeh (University College London)
- Alexandra Silva (Cornell University)
- Alex Simpson (University of Ljubljana)
- Sonja Smets (University of Amsterdam)
- Alwen Tiu (The Australian National University)
- Leon van der Torre (University of Luxembourg)
- Andrea Aler Tubella (Umeå University)
- Andres Villaveces (Universidad Nacional de Colombia)
- Renata Wassermann (Universidade de São Paulo)
Organizing committee
- Ștefan Ciobâcă (Alexandru Ioan Cuza Univ) (Co-Chair)
- Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
- Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
Invited Speakers
- Anupam Das, University of Birmingham
- John Horty, University of Maryland
- Marie Kerjean, Université Sorbonne Paris Nord/CNRS
- Dorel Lucanu, Alexandru Ioan Cuza University
- Francesca Poggiolesi, Université Sorbonne/CNRS/IHPST
Publication
The proceedings of WoLLIC 2022, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published(after a new round of reviewing) as a special post-conference WoLLIC 2022 issue of Mathematical Structures in Computer Science (MSCS).
Venue
The twenty-eighth WoLLIC will be held at the Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania, September 20 to 23, 2022.
Contact
All questions about submissions should be emailed to the chairs.