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
• 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

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

Abstract submission deadline	23 February 2026
Notification of acceptance	20 April 2026
Early registration deadline	31 May 2026
Registration deadline	30 June 2026
Summer school	6 - 10 July 2026
Conference	13 - 17 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

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

Contributed Talks

In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration + 5 min questions resp. break). Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system: TBA

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 2026
Notification of acceptance	20 Apr 2026
Early registration deadline	31 May 2026
Late registration deadline	30 June 2026

Venue of the School

Address

TBA
TBA Kraków, Poland

By Plane

TBA

By Bus

TBA

By Train

TBA

By Car

TBA

Accommodation

TBA

TACL 2026

Topology, Algebra, and Categories in Logic

13 - 17 July 2026

Kraków, Poland

Summer School in Logic

6 - 10 July 2026

Kraków, Poland

About the conference

Topics

Important Dates

Submissions

Invited speakers

Fréderic Chopin

Józef Elsner

Henryk Wieniawski

Mieczysław Karłowicz

Maria Szymanowska

Karol Kurpiński

Juliusz Zarębski

Venue

Address

Info

Steering Committee

Program Committee

Program Committee (contd)

Contributed Talks

Registration Fees

Important Deadlines

Social Events

Banquet

Free afternoon + Social events

Conference Dinner

Summer School in Logic

6 - 10 July 2026

TBA

Tutorials:

→

→

→

→

Lecturers

Adam Mickiewicz

Henryk Sienkiewicz

Stanisław Lem

Czesław Miłosz

Venue of the School

Address

By Plane

By Bus

By Train

By Car

Accommodation

Organizing committee