Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

Submission Guidelines

Abstracts of proposed contributions must be submitted through EasyChair and may be at most 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minutes long including discussion.

https://easychair.org/conferences/?conf=tacl2024

http://www.easychair.org/publications/for_authors

We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas:

List of Topics

• Algebraic structures in CS
• Algebraic logic Coalgebra
• Categorical methods in logic
• Domain theory
• Lattice theory
• Lattices with operators
• Many-valued and fuzzy logics
• Modal logics
• Non-classical logics
• Ordered topological spaces
• Ordered algebraic structures
• Pointfree topology
• Proofs and types
• Residuated structures
• Semantics
• Stone-type dualities
• Substructural logics
• Topological semantics of modal logic

Committees

Program Committee

• Samson Abramsky, University of Oxford 
• Bahareh Afshari, University of Gothenburg
• Jorge Almeida, University of Porto 
• Andrej Bauer, University of Ljubljana
• Lev Beklemishev, Steklov Institute of Mathematics 
• Nick Bezhanishvili, ILLC - University of Amsterdam 
• Marta Bilkova, Academy of Sciences of the Czech Republic 
• Agata Ciabattoni, Vienna University of Technology 
• Maria Manuel Clementino, CMUC - University of Coimbra 
• David Fernández, University de Barcelona 
• David Gabelaia, TSU - Razmadze Mathematical Institute 
• Nikolaos Galatos, University of Denver 
• Brunella Gerla, University of Insubria 
• Mai Gehrke, LJAD, CNRS et University Côte d'Azur 
• Peter Jipsen, Chapman University 
• Peter Johnstone, University of Cambridge 
• Serafina Lapenta, University of Salerno 
• George Metcalfe, University of Bern 
• Tommaso Moraschini, University de Barcelona (co-Chair)
• Jorge Picado, University of Coimbra 
• Luigi Santocanale, LIS, Aix-Marseille University
• Luca Spada, University of Salerno (co-Chair) 
• Yde Venema, ILLC - University of Amsterdam 
• Amanda Vidal, IIIA - Spanish National Research Council
• Friedrich Wehrung, CNRS - University of Caen 

Organizing committee

• Tommaso Flaminio 
• Damiano Fornasiere 
• Joan Gispert (co-Chair) 
• Lluis Godo 
• Isabel Hortelano 
• Miriam Kurtzhals 
• Ion Mikel Liberal 
• Miguel Martins 
• Tommaso Moraschini 
• Miguel Muñoz 
• Adam Přenosil 
• Sara Ugolini (Chair) 
• Amanda Vidal 

Invited Speakers

• Juan Aguilera, Vienna University of Technology
• Benno van den Berg, University of Amsterdam
• Célia Borlido, University of Coimbra
• Luca Carai, University of Milan
• Ramon Jansana, Univeristy of Barcelona
• Ganna Kurdryavtseva, Ljubljana University
• Matías Menni, Conicet and National University de La Plata
• Aybüke Özgün, University of Amsterdam
• Adam Přenosil, University of Barcelona
• Luca Reggio, University College London
• Luigi Santocanale, Aix-Marseille University
• Sara Ugolini, IIIA - Spanish National Research Council

School Tutorialist

• Samson Abramsky - University College London
• David Fernández-Duque - University of Barcelona
• Daniela Petrisan - University of Paris
• Michael Pinsker - Vienna University of Technology

Venue

The conference will be held in Barcelona (Spain)

Contact

All questions should be emailed to 2024TACL@gmail.com