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

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

Invited speakers

Marco Abbadini

Université Catholique de Louvain

Wesley Fussner

Czech Academy of Sciences

Dirk Hofmann

University of Aveiro

Mamuka Jibladze

Razmadze Mathematical Institute

Serafina Lapenta

University of Salerno

Tadeusz Litak

University of Naples

George Metcalfe

Univesity of Bern

Andrew Moshier

Chapman University

Valeria de Paiva

Topos Institute

Ana Laura Suarez

University of Western Cape

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

27 - 31 July 2026

Kraków, Poland

Summer School in Logic

21 - 25 July 2026

Kraków, Poland

About the conference

Topics

Important Dates

Submissions

Invited speakers

Marco Abbadini

Wesley Fussner

Dirk Hofmann

Mamuka Jibladze

Serafina Lapenta

Tadeusz Litak

George Metcalfe

Andrew Moshier

Valeria de Paiva

Ana Laura Suarez

Venue

Address

Info

Steering Committee

Program Committee

Program Committee (contd)

Registration

Registration Fees

Important Deadlines

Social Events

Reception

Free afternoon + Social events

Conference Dinner

Summer School in Logic

21 - 25 July 2026

TBA

Tutorials:

→ Coalgebra, Algebra, and Logics for Process Semantics (Ana Sokolova)

→ Algebraic Methods in Applied Logic (Jonathan Smith)

→ Non-Hausdorff Topology in Algebra and Logic (Marcus Tressl)

→

Lecturers

Ana Sokolova

Jonathan Smith

Michał Stronkowski

Marcus Tressl

Venue of the School

Address

By Plane

By Bus

By Train

By Car

Accommodation

Organizing committee