Hostname: page-component-7bb8b95d7b-wpx69 Total loading time: 0 Render date: 2024-10-03T02:26:01.561Z Has data issue: false hasContentIssue false

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021

Published online by Cambridge University Press:  23 February 2024

Rights & Permissions [Opens in a new window]

Abstract

Type
Meeting Report
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021) was held online, hosted as a Zoom Webinar by University College London. It was the twenty-seventh in a series that started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The workshop had the scientific sponsorship of the ASL, the Association for Logic, Language and Information, the Interest Group in Pure and Applied Logics, the European Association for Theoretical Computer Science, the European Association for Computer Science Logic, the ACM Special Interest Group on Logic and Computation, the Brazilian Computer Science Society, and the Brazilian Logic Society. The meeting webpage is http://wollic.org/wollic2021/.

The Program Committee received 44 submissions, each of which was reviewed by at least three program committee members, and accepted 25 papers. The meeting also included the showing of the 1-hour documentary film Secrets of the Surface—The Mathematical Vision of Maryam Mirzakhani. 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 Univ. Press). The proceedings of the meeting were published as Vol. 13038 of the Springer LNCS series (FoLLI subseries). A special issue of the Journal of Logic and Computation (Oxford Univ. Press), guest edited by A. Silva, R. Wassermann, and R. de Queiroz, will include the peer-reviewed full versions of a selection of papers.

The invited speakers were:

Catarina Dutilh Novaes (VU Amsterdam), The dialogical roots of deduction.

Santiago Figueira (Universidad de Buenos Aires), Finite controllability for ontology-mediated query answering of CRPQ.

Andreas Herzig (IRIT), Belief, knowledge and common knowledge about a proposition.

Cláudia Nalon (Brasilia), Efficient reductions for automatic deduction in modal logics.

The members of the Programme Committee were C. Areces, A. A. de Amorim, P. Brunet, N. Gierasimczuk, H. Hvid Hansen, J. Hsu, F. Kamareddine, S. Kiefer, C. Kupke, K. Mamouras, M. V. Martinez, L. Moss, C. Nalon, V. de Paiva, E. Pimentel, R. Ramanayake, J. Rot, A. Silva, C. Tasson, S. Terwijn, and R. Wassermann (Co-Chair). The members of the Organizing Committee were A. Silva (Co-Chair), R. Wassermann (Co-Chair), A. G. de Oliveira, and R. de Queiroz (Co-Chair).

For the Organizing Committee

Alexandra Silva, Renata Wassermann, and Ruy de Queiroz