Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-07T08:34:31.350Z Has data issue: false hasContentIssue false
  • English
  • Français

31ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2025) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Porto, Portugal July 14–17, 2025

Published online by Cambridge University Press:  11 November 2025

Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

Information

Type
Meeting Report
Information
Bulletin of Symbolic Logic , Volume 31 , Issue 3 , September 2025 , pp. 508
Check for updates
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The 31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025) was hosted by the Department of Computer Science, Faculty of Sciences, University of Porto, Porto, Portugal, July 14–17, 2025. WoLLIC 2025 was an onsite event which had live streams of a couple of its presentations. It was the 31st in a series of workshops that started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic.

The workshop had the financial support from the Department of Computer Science, Faculty of Sciences, University of Porto, Portugal, and the scientific sponsorship of the Association for Symbolic Logic (ASL), Association for Logic, Language and Information (FoLLI), Interest Group in Pure and Applied Logics (IGPL), European Association for Theoretical Computer Science (EATCS), European Association for Computer Science Logic (EACSL), Portuguese Logic Society (SPL), and Brazilian Logic Society (SBL).

The Program Committee was: D. Kozen (Chair); J. Aguilera; N. Alechina; M. Aloni; S. Awodey; D. Bartosova; M. Bilkova; K. Bimbo; F. Zaffora Blando; M. Bojanczyk; H. van Ditmarsch; A. Felty; S. Figueira; P. Galliani; S. van Gool; M. Kerjean; D. Lucanu; R. Mardare; W. Martens; J. Meseguer; A. Muscholl; A. Palmigiano; R. Ramanujam; P. Selinger; M. Shulman; S. Smets; and A. Villaveces.

The Organizing Committee was: M. Florido (Co-Chair) (University of Porto); S. Alves (Co-Chair) (University of Porto); J. Barbosa (University of Porto); S. Broda (University of Porto); A. G. de Oliveira (Universidade Federal de Pernambuco); R. de Queiroz (Universidade Federal de Pernambuco) (Co-Chair); and M. Ramos (University of Porto).

There were two invited talks:

Tobias Kappé (Leiden University, The Netherlands), On propositional program equivalence.

Daniela Petrişan (Université Paris Cité, France), Functorial Mealy machines.

The abstracts of papers presented at the meeting will be published in the Logic Journal of the Interest Group in Pure and Applied Logics (Oxford University Press). The proceedings of the meeting were published as Vol. 15942 of Springer series Lecture Notes in Computer Science (FoLLI subseries). The 21 full papers published in proceedings were carefully reviewed and selected from 57 submissions.

A special issue of a scientific journal, guest edited by D. Kozen and R. de Queiroz, will include the peer-reviewed full versions of a selection of papers.

Dexter Kozen (Program Chair)

Ruy de Queiroz (General Chair)

Webpage: https://wollic.org/wollic2025/