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. In this latter case, please send us an email to 2024tacl@gmail.com with proof of the registration at the ECM and we will provide you with a discount "registration code" that you will be able to include in the registration form of TACL2024.




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. “

Important dates

CONFERENCE

2024
1-5 July

There will likely be talks the 5th afternoon

SCHOOL

2024
25-28 June

NOTIFICATION TO AUTHORS

2024
April 20

Registration period

24/04 - 08/06, 2024
Early Registration



Social Events of TACL2024 conference

WELCOME PARTY

Monday July 1st, 18:30 - 20:30h
at the venue of the conference

SOCIAL DINNER

Thursday July 4th, from 19:30
at the Stació de Francia Restaurant

FREE AFTERNOON & SOCIAL ACTIVITIES

Wednesday July 3rd



Social Activities of TACL2024 conference

Since each activity has a limited number of places, they will be assigned on a first-come, first-served basis. In the upcoming days, we will send an email from 2024tacl@gmail.com to all registered participants to chose their preferred activity. It will be possible to do so also at the registration desk, but it is possible that no more spots remain in your prefered choice, and furthermore, for organization issues, we really appreciate if you let us know in advance.


Trip to the beach in Sitges


A bus will pick you up near the venue of the conference at 3pm, and bring you back to the same location at 7pm. The bus will take you to "La Playa de la Ribera," a beach in Sitges, which is approximately 30 minutes from Barcelona. The bus then will pick you up there at 6:30pm. While there will be members of the OC around, this is a free -unguided- activity, allowing you to choose what you wish to do once in Sitges. Sitges is a beautiful small town with calmer and nicer beaches than Barcelona. This is the best option if you want to relax during the free afternoon of the conference. You can spend the entire afternoon at the beach, either at "La Ribera" or at other more characteristic beaches, like the "Playa de los Balmins" (15 min walking) or the "Laguna de la Riera de Ribes". Alternatively, you can explore the village, enjoy some ice cream, take a walk, do some sightseeing, enjoy the nice views, or have a cold beer.

Guided tour of the Sagrada Familia


The Sagrada Familia is one of the most famous cathedrals in the world, under construction for over 140 years. It is also one of the most popular tourist attractions in Barcelona. Designed by Gaudí, its modernist style makes it unique in its genre. There will be two groups, the visits starting at 4:45pm and at 5.45pm. We will be meeting at the Sagrada Familia (we will let you know a precise location), with the option of going together from the conference venue (but please make sure to get metro tickets in advance!). The guided tour lasts approximately 1 hour. Afterward, you will have free time to walk around the cathedral.

Guided tour of the Miró Museum


Miró, a Catalan Spanish artist born in Barcelona, is considered one of the foremost surrealist artists of the early 20th century, although his work defies easy classification. The "Fundació Joan Miró" was established by Miró himself and is a unique building designed to showcase his works. It houses the most important collection of Miró's pieces. We will meet directly at the foundation, with an option to travel together from the conference venue. Please remember to purchase metro tickets in advance if you plan to join us for the group travel!. The guided tour will last approximately 1 hour, then you will be free to walk around the museum, in the Montjuic hill.

Invited Speakers


General Schedule

To consult the talks in the parallel sessions, see the

Detailed Schedule

Opening of the Conference and Plenary Talks will be held in the Aula Magna on the first floor. They will also be projected in room B3, on the ground floor.
Parallel sessions 1, 2, 3, and 4 will be held as follows: Aula Magna and rooms B7, B5, and B3, all located on the ground floor.

Registration will take place in the nearby room B2 (ground floor).

The programme of this edition schedules 12 invited talks and 128 contributed talks. There will be more than 190 participants.
You can consult here the complete booklet of abstracts.

 

 

 Monday Tuesday Wednesday Thursday Friday

 

 8:00-8:50h REGISTRATION REGISTRATION
8:50-9:00h Opening

 

 9:00-10:00h Ramon Jansana Matías Menni Célia Borlido Luigi Santocanale Benno van den Berg

 

 10:00-10:30h Coffee Break

 

 10:30-11:45h Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
11:45-12:00h Short Break

 

 12:00-13:00h Luca Reggio Parallel Sessions Adam Přenosil Parallel Sessions Luca Carai
13:00-13:15h Conference Photo

 

 13:00-15:00h Lunch Break

 

 15:00-16:00h Sara Ugolini Aybüke Özgün Free afternoon
&
Social activities 		Juan Aguilera Ganna Kudryavtseva

 

 16:00-16:30h Coffee Break Coffee Break

 

 16:30-17:20h Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
17:20-17:30h Short Break Short Break Parallel Sessions Parallel Sessions
17:30-17:45h Parallel Sessions Parallel Sessions
17:45-18:20h
18:20-19:30h

 

 18:30-19:30h Welcome Party

 

 19:30-20:30h Social Dinner

 

 20:30-...h

The welcome party will be held at the venue of the conference

The social dinner will be held at L´Estació Espai Gastrònomic

Venue

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


Local Information

The conference venue is very close to Plaça Catalunya, in the city center.
To get from the airport to near the venue, there are two main options:
  1. Taxi: The fare from the airport to the city center ranges between 30-40€ (depending on traffic and the time of day). You can request a receipt and pay by card, but splitting the fee might not be possible.
  2. Bus: The Aerobus runs from both airport terminals to Plaça Catalunya (last stop), which is a 15-minute walk from the accommodations above, and a 10-minute walk from the venue. The fare is 7.25€ (12.5€ for a round-trip ticket).
Please note that while Barcelona is a very safe city, it is also highly touristy, so there is a risk of pickpocketing. Please remain vigilant, especially at night and in busy areas.

If you plan to arrive to the conference venue by metro, please be aware that L2 (purple) is closed around the "Universitat" stop! (google maps is updated about this)

Some restaurants

Barcelona is a very touristic city, and the venue is in the city center, so if you search in google or other engines you will find a plethora of restaurants and places to eat. Here we provide a very short list suggestions, of some places near the venue (10min walking radius according to google maps).

Amaltea $
L’Antic Forn $$ (no veg. options)
Pizzeria Bellilo $-$$
Buenas migas $
Bar Central Raval $
Cent Focs (Balmes-Gran Via) $$
Flamant $$$-$$$$ (no veg. options)
Flax and Kale $$$ (flexitarian)
Gandhi (Balmes Gran Via) $ (small indian place)
4 Latas $$ (tapas)
Mama Café $$
Narin $ (middle east)
Teresa Carles $$ (with affordable menu for lunch)
Restaurant Silenus $$-$$$
El Tianguis $-$$ (taqueria)
Veggie garden $

Accommodation

WARNING: Book your accommodation as soon as possible!

We are aware of the high costs of the accommodation in Barcelona during the summer. Because of this, we created a Google sheet for those interested in finding people with whom they could book a shared accommodation, and self-organize to do so. You can add your email and data to this sheet, and you'll be able to get in contact with or be contacted by other attendees interested in sharing an accommodation. There are many options that allow for shared rooms, including the Residencia d'Investigadors and the Hostal centric.
To get access to this Google sheet, please write an email to 2024TACL@gmail.com with the subject "sharing room conference".

Registration

Online registration is closed.
On-site registration will be possible with credit card payment only (no cash). Additionally, those registering on-site will not be guaranteed a spot for the conference dinner and social activities. If you have issues registering on-spot, please write an email to us at 2024tacl@gmail.com.

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, before the early registration closes, 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 "registration 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 College London
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-Duque, University of 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

Organizing Institutions

Sponsors



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


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.