TACL 2026 announcement - abstract deadline soon

TACL 2026 announcement - abstract deadline soon

[Tomáš Jakl]

[-- Attachment #1: Type: text/plain, Size: 5825 bytes --]

=====================================================
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2026)
=====================================================

School: 21 - 25 July, 2026 (Krakow)
Conference: 27 - 31 July, 2026 (Krakow)

https://iphils.uj.edu.pl/tacl/<https://url.au.m.mimecastprotect.com/s/zbToCjZ12Rfn4kn9jf5imImAwRP?domain=iphils.uj.edu.pl>

The 12th International Conference "Topology, Algebra and Categories in
Logic" organized by Jagellonian University (Krakow).

Studying logics via semantics is a well-established and very active
branch of mathematical logic, with many applications in computer science
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 program of the
conference TACL 2026 will focus on three interconnecting mathematical
themes central to the semantic study of logics and their applications:
algebraic, categorical and topological methods.


Featured topics
---------------

We welcome contributed talks on any topic involving the use of
algebraic, categorical or topological methods in either logic or
computer science. 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



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)


Lecturers of the school
---------------

Ana Sokolova (University of Salzburg)
Jonathan Smith (Iowa State University)
Michal Stronkowski (Wrasaw University of Technology)
Marcus Tressl (University of Manchester)


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<https://url.au.m.mimecastprotect.com/s/TwDCCk815RCOyZONnu9slIGK3Gy?domain=easychair.org>


Important dates
---------------

February 23, 2026: Abstract submission deadline
April 20, 2026: Notification
July 21 - 25, 2026: School
July 27 - 31, 2026: Conference


Venues
------

The conference will be held in the Larisch Palace of the Jagellonian
University in Krakow, Poland.


Registration
------------

The registration will be open in early April 2026.


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
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, UKEN Krakow
Sonja Smets, University of Amsterdam
Luca Spada, University of Salerno
Bruno Teheux, University of Luxembourg
Sara Ugolini, IIIA - CSIC
Fan Yang, Utrecht University


Steering Committee
------------------

Guram Bezhanishvili, New Mexico State University, USA
Mai Gehrke, Universite Cote d'Azur, Nice, France
Silvio Ghilardi, Universita degli Studi di Milano, Italy
Ramon Jansana, Universitat de Barcelona, Spain
Hilary Priestley, University of Oxford, UK
James Raftery, University of Pretoria, South Africa
Yde Venema, University of Amsterdam, Netherlands


Organizing Committee
--------------------

Zalán Gyenis
Tomasz Kowalski (Chair)
Piotr Łukowski
Katarzyna Słomczyńska
Marek Zaionc


More Information
----------------

TACL 2026 web site: https://iphils.uj.edu.pl/tacl/<https://url.au.m.mimecastprotect.com/s/zbToCjZ12Rfn4kn9jf5imImAwRP?domain=iphils.uj.edu.pl/>

Email: 2026TACL@gmail.com


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 8375 bytes --]