TACL 2026

About the conference

Studying logic through semantics is a well-established and active branch of mathematical logic, with numerous applications in computer science, philosophy, and related fields. The area is characterized by results, tools, and techniques originating from various disciplines, including universal algebra, topology, category theory, order theory, and model theory.

The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods. This will be the 12th conference in the Topology, Algebra, and Categories in Logic (TACL) series (formerly TANCL). A complete website for the TACL conference series can be found here.

Earlier editions of the conference have been held in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), Nice (2019), Coimbra (2022), and Barcelona (2024).

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
• 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 (algebraic, relational, topological, categorical)
• Stone-type dualities
• Substructural logics

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/student-travel-awards/ for more info and instructions on how to apply.

Important Dates

Abstract submission deadline	~~23 February~~ 9 March 2026
Notification of acceptance	~~20 April~~ 27 April 2026
Early registration deadline	31 May 2026
Registration deadline	30 June 2026
Summer school	21 - 25 July 2026
Conference	27 - 31 July 2026

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.

https://easychair.org/my/conference?conf=tacl2026

Venue

Address

Larisch Palace
ul. Bracka 12, 31-005 Kraków, Poland

The conference will be held at the historic Larisch Palace (Pałac Larischa), on Bracka Street in the very centre of Kraków’s Old Town. The venue is a short walk from the Main Market Square and the Planty park ring, with most central landmarks, museums, and cafés within easy reach. The surrounding area is pedestrian-friendly and well served by public transport, and it offers a wide range of restaurants and services suitable for small meetings, informal discussions, and evenings after the sessions.

Accommodation

Kraków is a major tourist destination, and late July is peak season. We strongly advise booking your stay as early as possible to secure convenient options at reasonable rates.

The city offers a wide range of lodging options, from hotels to apartments available on platforms like Booking.com and Airbnb.

Recommended areas for convenience: Old Town (Stare Miasto) and Kazimierz (restaurants, walkable to the centre).
Good alternatives with easy access to the centre: Grzegórzki and Podgórze.

MAP

How to get here

By plane

The main airport is Kraków Airport (KRK): krakowairport.pl.
Airport → city centre: there is a direct train connection; see timetable and practical information here: Airport train.

By train

The main station is Kraków Główny. Domestic and international trains can be searched and booked via PKP Intercity: intercity.pl.

Local transport

The venue is in the Old Town, and is easily reachable on foot or by public transport from the city centre.
Kraków public transport (timetables / journey planning): MPK.

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

Program Committee

Nick Bezhanishvili (co-chair), ILLC - University of Amsterdam
Nick Galatos (co-chair), University of Denver
Guram Bezhanishvili, New Mexico State University
Marta Bilkova, Czech Academy of Sciences
Luca Carai, University of Milan
David Gabelaia, TSU Razmadze Mathematical Institute
Sam van Gool, ENS Paris-Saclay
Jean Goubault-Larrecq, ENS Paris-Saclay
Wesley Holliday, University of California, Berkeley
Rosalie Iemhoff, Utrecht University

Program Committee (contd)

Tomáš Jakl, Czech Technical University
Peter Jipsen, Chapman University
Alexander Kurz, Chapman University
Vincenzo Marra, University of Milan
Matías Menni, Conicet and Universidad Nacional de La Plata
Tommaso Moraschini, University of Barcelona
Jorge Picado, University of Coimbra
Adam Přenosil, University of Barcelona
Revantha Ramanayake, University of Groningen
Luca Reggio, University of Milan
Anna Romanowska, Warsaw University of Technology
Luigi Santocanale, Aix-Marseille University
Katarzyna Słomczyńska, University of the National Education Commission, Krakow
Sonja Smets, University of Amsterdam
Luca Spada, University of Salerno
Bruno Teheux, University of Luxembourg
Sara Ugolini, IIIA - CSIC
Fan Yang, Utrecht University

Registration

The registration page will be added in due course, in early 2026.

Registration Fees

TACL early registration	€300
TACL late registration	€350
TACL reduced fee	€250
TACL + School (for students)	€300
School only	€150

Important Deadlines

Abstract submission deadline	~~23 Feb~~ 9 March 2026
Notification of acceptance	~~20 Apr~~ 27 Apr 2026
Early registration deadline	31 May 2026
Late registration deadline	30 June 2026