Fw: TACL 2026 - first announcement

[Samuel Gomes]

----- Mensagem encaminhada -----

De: Samuel Gomes da Silva <sam...@ufba.br>

Para: Logica-l <logi...@dimap.ufrn.br>; samuca_mat <samuc...@yahoo.com.br>

Enviado: segunda-feira, 10 de novembro de 2025 às 14:19:01 GMT-3

Assunto: Fwd: TACL 2026 - first announcement

-----Mensagem original-----

De: Tomáš <tomas...@cvut.cz>

Para: Tomáš <tomas...@cvut.cz>

Data: segunda-feira, 10 de novembro de 2025 às 13:50 -03

Assunto: TACL 2026 - first announcement

[ On behalf of the TACL 2026 organising team let me forward to you the

first TACL 2026 announcement. If you no longer wish to receive emails

about TACL series of conferences and adjacent events please let me know.

Tomas Jakl  ]

=====================================================

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2026)

=====================================================

School: July 6 -- 10, 2026 (Krakow)

Conference: July 13 -- 17, 2026 (Krakow)

https://iphils.uj.edu.pl/tacl

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

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

Important dates

---------------

February 23, 2026: Abstract submission deadline

April 20, 2026: Notification

July 6 -- 10, 2026: School

July 13 -- 17, 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

Email: 2026...@gmail.com