32nd WoLLIC 2026 - Call for Participation (ONLINE)
17 views
Skip to first unread message
Ruy Jose Guerra Barretto de Queiroz
Jul 15, 2026, 7:59:27 AM (9 days ago) Jul 15
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
[Please distribute. Apologies for multiple postings]
ORGANISATION
STEERING COMMITTEE
Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Helle Hvid Hansen, Juliette Kennedy, Ulrich Kohlenbach, Dexter Kozen, Daniel Leivant, Leonid Libkin, George Metcalfe, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, Ruy de Queiroz, Andre Scedrov, Alexandra Silva, Thomas Studer, Renata Wassermann.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen.
ORGANISING COMMITTEE
CALL FOR PARTICIPATION
WoLLIC 2026
32nd Workshop on Logic, Language, Information and Computation
3-6 August 2026
ONLINE ONLY (hosted by Universidad Nacional de Ingeniería (UNI), Lima, Peru)
WoLLIC 2026
32nd Workshop on Logic, Language, Information and Computation
3-6 August 2026
ONLINE ONLY (hosted by Universidad Nacional de Ingeniería (UNI), Lima, Peru)
ORGANISATION
Peruvian Computer Society (SPC)
Universidad Nacional de Ingeniería (UNI), Lima, Peru
Center of Informatics, Federal University of Pernambuco, Brazil
WoLLIC is an annual international forum on interdisciplinary 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 thirty-second WoLLIC will be held ONLINE, hosted by the Universidad Nacional de Ingeniería (UNI), Lima, Peru, August 3 to 6 2026.
SCOPE
Contributions were invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: non-classical logics; 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.
PROCEEDINGS
The proceedings of WoLLIC 2026, including both invited and contributed papers, will soon be published in advance of the meeting as volume 16757 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 2026 issue of the Journal of Logic and Computation (Oxford Univ Press).
INVITED SPEAKERS
Universidad Nacional de Ingeniería (UNI), Lima, Peru
Center of Informatics, Federal University of Pernambuco, Brazil
WoLLIC is an annual international forum on interdisciplinary 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 thirty-second WoLLIC will be held ONLINE, hosted by the Universidad Nacional de Ingeniería (UNI), Lima, Peru, August 3 to 6 2026.
SCOPE
Contributions were invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: non-classical logics; 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.
PROCEEDINGS
The proceedings of WoLLIC 2026, including both invited and contributed papers, will soon be published in advance of the meeting as volume 16757 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 2026 issue of the Journal of Logic and Computation (Oxford Univ Press).
INVITED SPEAKERS
Marianna Girlando (ILLC, The Netherlands): "Cyclic proofs for Transitive Closure Logic via Hypersequents"
Delia Kesner (Université Paris Cité, France): "Quantitative Types"
PROGRAMME COMMITTEE
PROGRAMME COMMITTEE
Sandra Alves (Univ of Porto, Portugal); Zena Ariola (Univ Oregon, USA); Clément Aubert (Augusta Univ, USA); Pierre Cagne (Appalachian State Univ, USA); Patricia Johann (Appalachian State Univ, USA) (Chair); Makoto Kanazawa (Hosei Univ, Japan); Tobias Kappé (Leiden University, The Netherlands); Dexter Kozen (Cornell Univ, USA); Ugo dal Lago (Univ di Bologna, Italy); Sonia Marin (Univ Birmingham, UK); Valeria de Paiva (Topos Institute, USA); Daniela Petrişan (IRIF, Université de Paris, France); Peter Selinger (Dalhousie Univ, Canada); Alex Simpson (Univ of Ljubljana, Slovenia); Ana Sokolova (Univ Salzburg, Austria); Georg Struth (Univ of Sheffield, UK); Janis Voigtländer (Univ Duisburg, Germany) (more TBA)
STEERING COMMITTEE
Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Helle Hvid Hansen, Juliette Kennedy, Ulrich Kohlenbach, Dexter Kozen, Daniel Leivant, Leonid Libkin, George Metcalfe, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, Ruy de Queiroz, Andre Scedrov, Alexandra Silva, Thomas Studer, Renata Wassermann.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Ernesto Cuadro-Vargas (local chair), Anjolina de Oliveira (UFPE), Ruy de Queiroz (UFPE),
Reply all
Reply to author
Forward
0 new messages