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

30TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland June 10–13, 2024

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. 502
Check for updates
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The 30th Workshop on Logic, Language, Information and Computation (WoLLIC 2024) was hosted by the Mathematical Institute and Institute for Computer Science, University of Bern, Switzerland, June 10–13, 2024 and held onsite. These annual workshops aim to foster interdisciplinary research in pure and applied logic. The workshop had financial support from the Swiss National Science Foundation (SNSF), the MOSAIC project (MSCA-RISE-2020), and the University of Bern, 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), and Brazilian Logic Society (SBL). Both the Program Committee and the Organizing Committee were chaired by G. Metcalfe and T. Studer.

There were five invited talks and two tutorials:

Maria Aloni: N $\emptyset $ thing is Logical.

Dexter Kozen: Probability and Nondeterminism with Multiset Semantics.

Francesca Zaffora Blando: Pride and Probability.

Juan Aguillera: Model Theory of Gödel Logic.

Sam van Gool: Theory and Practice of Uniform Interpolation.

Francesca Zaffora Blando: An introduction to algorithmic randomness (tutorial).

Juan Aguillera: First-order Gödel logics (tutorial).

A special session presented a screening of Zalafilm’s Julia Robinson and Hilbert’s Tenth Problem, a one-hour biographical documentary, which tells the story of an important American mathematician against a background of mathematical ideas.

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. 14762 of Springer series Lecture Notes in Computer Science (FoLLI subseries). The 18 full papers published in proceedings were carefully reviewed and selected from 37 submissions.

A special issue of the Journal of Logic and Computation, guest edited by G. Metcalfe, T. Studer, and R. de Queiroz, will include the peer-reviewed full versions of a selection of papers.

George Metcalfe (Program Co-Chair)

Thomas Studer (Program Co-Chair)

Ruy de Queiroz (General Chair)

Webpage: https://wollic2024.inf.unibe.ch/