A premier scientific forum for the exchange of research ideas between logicians, linguists, and computer scientists on the foundations of computation.
Format & Mission
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Areas include foundations of computing, programming and AI; novel computation models; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods; logical approach to natural language; and foundations of mathematics and philosophy of language.
ASL sponsorship permits student members to apply for travel grants. Deadline: 90 days before the event. See https://aslonline.org/student-travel-awards/ for details.
ILLC, The Netherlands
Assistant Professor at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Website: https://www.mariannagirlando.com/Girlando.html
"Summary to be announced."
Université Paris Cité, France
Full Professor in Computer Science UFR d'Informatique - Université Paris Cité. Member of IRIF (CNRS UMR 8243)- Université Paris Cité. Deputy Director of Ecole Doctorale 386 de Sciences Mathématiques de Paris Centre. In charge of the ERC Unit @ CNRS Informatics Director (France) of IRP SINFIN Senior Member of Institut Universitaire de France (IUF) Corresponding Member of the Academy of Sciences of Torino
Summary to be announced.
Contributions should be written in English, prepared in the Springer LNCS format, and framed for readers across the broader WoLLIC community. Accepted papers are expected to appear in the workshop proceedings after the event, with further publication opportunities planned for selected work.
In a special session at WoLLIC 2026, we are proud to screen "Journeys of Black Mathematicians: Creating Pathways" (2025, 59 min.).
This documentary explores the groundbreaking achievements of African American mathematicians and is the second film produced by Zala Films as part of the Journeys of Black Mathematicians project, started in collaboration with the Simons Laufer Mathematical Sciences Institute (SLMath) in 2020.
Hosted by the Universidad Nacional Mayor de San Marcos, the workshop will take place in the historic central building, combining centuries of academic tradition with state-of-the-art facilities.
