About the conference

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, 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 semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the eleventh conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL), of which a complete website can be found here. Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), Nice (2019) and Coimbra (2022).

Topics

Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcomed. This includes, but is not limited to, the following areas:

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




TACL2024 will be a satellite conference of 9th European Congress of Mathematics, held from July 15th to 19th in Sevilla. We encourage cross participation, and if you are attending the 9ECM thre will be a reduction in the registration of TACL.




Students that are members of the Association for Symbolic Logic (ASL) can apply for ASL travel funds. Note that in order to be considered, applications must be received by the ASL three months prior to the start of the conference. See https://aslonline.org/membership/individual-membership/ for more info and instructions on how to apply. “

CONFERENCE

2024
1-5 July

SCHOOL

2024
25-28 June

NOTIFICATION TO AUTHORS

2024
April 20

Registration period

2024
Opening in April

Invited Speakers


Submissions

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.
Abstract submission is closed. Authors will be notified by April 20, 2024.

Registration

Registration for both the conference and the school will open during April 2024. A link to a registration form will be published here.
WARNING: Book your accommodation as soon as possible!


Registration fees

Conference standard (early): 240€ ---- Conference reduced: 190€. (see instructions below *)
Conference late (after 9 June): 300€.
Conference + school (no accommodation): 280€ ---- Conference + school with accommodation (during the school): 440€ (see information below **)
School only (no accommodation): 90€ ---- School with accommodation (during the school): 250€ (see information below **)


* The reduced fee for the conference is aimed at people who want to attend the conference and have limited funding. To apply for it, please send an email to 2024TACL@gmail.com with the subject "reduced fee name_surname", briefly explaining your situation, and whether you are a speaker at the conference. The OC will make a decision as soon as possible, and if awarded, you will be provided with a discount code that you will be able to include in the registration form.
From the fees above, you can see that attendees to both the school and the conference get the reduced conference fee by default, so it is not necessary to apply for it in that case.


** Accommodation during the school (entering the 24/06, leaving the 29/06) will be offered to the first 50 people that register choosing that option. There will be limited single and shared rooms in the Residencia d'Investigadors and in the Hostal centric. If you have issues sharing a room, or want to share with a particular person or group of people (rooms from 2 to 4), let us know as soon as you register so we can try to accommodate your requests.

Organizing Committee

Joan Gispert (Chair)
Sara Ugolini (Chair)
Tommaso Flaminio
Damiano Fornasiere
Valeria Giustarini
Lluís Godo
Isabel Hortelano
Miriam Kurtzhals
Ion Mikel Liberal
Francesco Manfucci
Miguel Martins
Tommaso Moraschini
Miguel Muñoz
Adam Přenosil
Amanda Vidal

Steering Committee

Guram Bezhanishvili, New Mexico State University, USA
Mai Gehrke, Université Côte d’Azur, Nice, France
Silvio Ghilardi, Università degli Studi di Milano, Italy
Ramon Jansana, University of Barcelona, Spain
Hilary Priestley, University of Oxford, UK
James Raftery, University of Pretoria, South Africa
Yde Venema, University of Amsterdam, Netherlands

Programme Committee

Tommaso Moraschini, University of Barcelona (Chair)
Luca Spada, Università degli Studi di Salerno (Chair)
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, TU Wien
Maria Manuel Clementino, CMUC - Universidade de 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 Université Côte d'Azur
Peter Jipsen, Chapman University
Peter Johnstone, University of Cambridge
Serafina Lapenta, University of Salerno
George Metcalfe, University of Bern
Jorge Picado, University of Coimbra
Luigi Santocanale, LIS, Aix-Marseille Université
Yde Venema, ILLC - University of Amsterdam
Amanda Vidal, IIIA - Spanish National Research Council
Friedrich Wehrung, CNRS - University of Caen

Venue

Faculty of Mathematics and Computer Science of the University of Barcelona
Gran Via de les Corts Catalanes, 585. Barcelona, Spain.

Organizing Institutions

Sponsors



MOSAIC: Rise-MSCA-2020 P.101007627.
ClaVa: MSCA-IF-2020 P.101027914.


La actividad es parte de los proyectos PID2022-141529NB-C21 y PID2022-141529NB-C22, financiados por MCIN/AEI/10.13039/501100011033/FEDER, UE.
RyC2021-032670-l.