[Please distribute. Apologies for multiple postings] 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) https://eventos.spc.org.pe/wollic2026/ 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 Marianna Girlando (ILLC, The Netherlands): "Cyclic proofs for Transitive Closure Logic via Hypersequents" Delia Kesner (Université Paris Cité, France): "Quantitative Types" 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), -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7Qim4Ac38cwPYXYj7-78L9D0hyL%3Dr3C-q_tj1_q5n13kWA%40mail.gmail.com.
