8:00-8:50h	REGISTRATION [Room B2]
8:50-9:00h	Opening of the conference [Aula Magna, projected in B3]
9:00-10:00h	RAMON JANSANA - Relational semantics and ordered algebras for monotone propositional logics Chair: Nick BezhanishviliProjected in Room B3
10:00-10:30h	coffee break
	Aula Magna Chair: Ganna Kudryavtseva	Room B7 Chair: Tomasz Kowalski	Room B5 Chair: Brett McLean	Room B3 Chair: Giuseppe Metere
10:30-10:55h	Three Theorems on Idempotent Semifields - George Metcalfe and Simon Santschi	Equivalential Algebras with Regular Semilattice - Eryk Tadeusz Lipka	Maximal sublattices of convex geometries - Adam Mata	Category-theoretic Fraïssé theory: an overview - Adam Bartoš, Wiesław Kubiś
10:55-11:20h	Weil 2-rigs - Luca Spada, Gavin St. John	Equivalential Algebras With Conjunction on Dense Elements - Sławomir Przybyło	A mixed logic with binary operators - Ivo Düntsch, Rafał Gruszczyński, Paula Menchón	A comonadic account ofFeferman-Vaught-Mostowski theorems - Tomáš Jakl, Dan Marsden, Nihil Shah
11:20-11:45h	Distributive lattice-ordered pregroups - Nick Galatos, Isis Gallardo	Characterizing Formulas using Post's Lattice - Arunavo Ganguly and Balder Ten Cate	Categorical Foundations forFundamental Logic - Guillaume Massas	Categorical Continuous Logic - Jérémie Marquès
11:45-12:00h	short break
12:00-13:00	LUCA REGGIO - Game comonads and resource-sensitive model theory Chair: Sam van GoolProjected in Room B3
13:00-15:00h	lunch break
15:00-16:00h	SARA UGOLINI - Projectivity in quasivarieties of logic Chair: Nick GalatosProjected in Room B3
16:00-16:30h	coffee break
	Aula Magna Chair: Alex Citkin	Room B7 Chair: Gavin St. John	Room B5 Chair: James Carr	Room B3 Chair: Raffael Stenzel
16:30-16:55h	Unification for temporal logic via duality and automata - Sam van Gool	Kites and pseudo MV-algebras - Michal Botur, Tomasz Kowalski	Embeddings of metric Boolean algebras in $\mathbb{R}^{N}$ - Stefano Bonzio, Andrea Loi	The Effective Topos May Be Simple Unstable - Ming Ng
16:55-17:20h	Gödel–Dummett CTL - Alakh Dhruv Chopra, Brett McLean	On the structure of balanced residuated posets - Peter Jipsen	Characterizing finite measurable Boolean algebras - Philippe Balbiani, Quentin Gougeon, Tinko Tinchev	On Boolean Topos Constructions by Freyd and Pataraia and their generalizations - Evgeny Kuznetsov, M. Jibladze, T. Streicher
17:20-17:30h	short break
17:30-17:55h	Pretabular Tense Logics over S4t - Qian Chen	The Tree Structure of Conservative Commutative Residuated Lattices - Nikolaos Galatos, José Gil-Férez	When are bounded arity polynomials enough? - Andrew Moorhead, Reinhard Pöschel	A bi- equivalence between topoi with enough points and a localisation of topological groupoids - Joshua L. Wrigley
17:55-18:20h	Temporal Logic of a Sequence of Finite Linear Processes - David Gabelaia, Evgeny Kuznetsov, Konstantine Razmadze, Levan Uridia	The quasivariety SP(L6). II. A duality result. - Ainur Basheyeva, Marina Schwidefsky	The Category of Approximation Spaces - Samuele Pollaci	From higher-order rewriting systems to higher-order categorical algebras and higher-order Curry-Howard isomorphisms - Juan Climent Vidal, Enric Cosme Llópez

18:30-20:30h	WELCOME PARTY - [venue of the conference]

8:00-9:00h	REGISTRATION [Room B2]
9:00-10:00h	MATÍAS MENNI - Being, Becoming, and the dimension of combinatorial spaces Chair: Luca ReggioProjected in Room B3
10:00-10:30h	coffee break
	Aula Magna Chair: Stefano Fioravanti	Room B7 Chair: Adam Přenosil	Room B5 Chair: Igor Arrieta	Room B3 Chair: Wolfgang Poiger
10:30-10:55h	Subdirectly irreducible and generic equational states - Serafina Lapenta, Sebastiano Napolitano, Luca Spada	Multi-type universal algebra: categorical equivalence - Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni	Raney extensions as pointfree T_0 spaces - Anna Laura Suarez	On A Three-valued Coalgebraic Cover Modalities - Chun-Yu Lin, Marta Bílková
10:55-11:20h	Structurally complete finitary extensions of positive Lukasiewicz logic - Paolo Aglianò, Francesco Manfucci	Multi-type universal algebra: Transfer of properties - Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni	An extension of Stone duality to T0-spaces and sobrifications - Liping Zhang, Xiangnan Zhou, Qingguo Li	A Categorical Representation of Thin Trees - Anton Chernev, Corina Cîrstea, Alexandre Goy, Helle Hvid Hansen, Clemens Kupke
11:20-11:45h	SAT-universal CNF for Lukasiewicz logic - Amanda Vidal	NP-hardness of promise colouring graphs via homotopy - Jakub Opršal	A Stone duality for the class of compact Hausdorff spaces - Elena Pozzan	Investigating Barr exactness in classes of locally finite, transitive and reflexive Kripke frames - Matteo De Berardinis
11:45-12:00h	short break
	Aula Magna Chair: Graham Manuell	Room B7 Chair: Simon Santschi	Room B5 Chair: Igor Sedlar	Room B3 Chair: Ivan Tomasic
12:00-12:25h	The maximal spectrum of d-elements is not always Hausdorff - Guram Bezhanishvili, Sebastian D. Melzer	Constructing conical and perfect residuated lattices - Nikolaos Galatos, Valeria Giustarini, Sara Ugolini	On assume-guarantee contract algebras - José Luis Castiglioni, Rodolfo C. Ertola-Biraben	Prenex normal form theorems in intuitionistic arithmetic and the effective topos - Satoshi Nakata, Geoff Sutcliffe, Andrei Voronkov
12:25-12:50h	McKinsey-Tarski Algebras - Guram Bezhanishvili, Ranjitha Raviprakash	Decompositions of locally integral involutive residuated structures - Melissa Sugimoto	Non-distributive description logic - Ineke van der Berg, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere	Evolution systems: amalgamation, absorption, and termination - Wiesław Kubiś, Paulina Radecka
12:50-15:00h	lunch break
15:00-16:00h	AYBÜKE ÖZGÜN - Refining Intentional Modals via Topology Chair: Marta Bilkova Projected in Room B3
	Aula Magna Chair: José Gil-Férez	Room B7 Chair: Benno van den Berg	Room B5 Chair: Stefano Bonzio	Room B3 Chair: Célia Borlido
16:00-16:30h	coffee break
16:30-16:55h	Interpolation in Some Modal Substructural Logics - Wesley Fussner, Simon Santschi	Modal completeness for general scattered spaces - Gilan Takapui, Nick Bezhanishvili	On Free Generalized 3-valued Post algebras - Revaz Grigolia, Ramaz Liparteliani	Approaching Rough Set Theory via Categories - Federico G. Infusino
16:55-17:20h	Amalgamation in Varieties of BL-algebras - Wesley Fussner, Simon Santschi	Completeness of the GL.3 provability logic for the intersection of normal measures - Juan Pablo Aguilera, Grigorii Stepanov	Finitely Weighted Kleene Algebra With Tests - Igor Sedlár	Domains arising in operator algebras - Hannes Thiel
17:20-17:30h	short break
17:30-17:55h	On Monadic De Morgan Monoids - Nicholas Ferenz, Chun-Yu Lin	Semantics for Non-symbolic Computation: Neural Networks and Other Analog Computers - Levin Hornischer	Local inconsistency lemmas and the inconsistency by cases property - Isabel Hortelano Martín	The $(\infty,2)$-category of internal $(\infty,1)$-categories - Raffael Stenzel
17:55-18:20h	Hereditarily Structurally Complete Extensions of R-mingle - Krzysztof A. Krawczyk	Logics for Probabilistic Dynamical Systems - Somayeh Chopoghloo, Massoud Pourmahdian	Meet-irreducible elements in the poset of all logic - Tommaso Moraschini, Miguel Muñoz Pérez	A 2-categorical analysis of context comprehension - Greta Coraglia, Jacopo Emmenegger

9:00-10:00h	CÉLIA BORLIDO - On quantale enriched monoids Chair: Luigi SantocanaleProjected in Room B3
10:00-10:30h	coffee break
	Aula Magna Chair: Rodrigo Almeida	Room B7 Chair: Paolo Aglianò	Room B5 Chair: Sándor Jenei	Room B3 Chair: Andrea Montoli
10:30-10:55h	Canonical Approximations of Modal Logics - Niels C. Vooijs	The preserving non-falsity companion of the Nilpotent Minimum Logic - Francesc Esteva, Joan Gispert, Lluis Godo	The limits of prenexation in first-order Gödel logic - Matthias Baaz, Mariami Gamsakhurdia	Effective Descent Morphisms in the Dual Categories of ((Compact) Hausdorff) Topological Spaces, Banach spaces, and Some Other Concrete Categories - Dali Zangurashvili
10:55-11:20h	The finite model property for lattice based S4 - Simon Lemal	MUltseq2.0 A general purpose finite-valued prover - Angel J. Gil, Gernot Salzer, Richard Zach	Finitely Generated Varieties of Commutative BCK-algebras: Covers - Václav Cenker	Enriched and Homotopical Coalgebra - Henning Basold
11:20-11:45h	Local finiteness in varieties of MS4-algebras - Guram Bezhanishvili, Chase Meadors	Finite Homomorphism Preservation in Many-Valued Logics - James Carr	On Geometric Implications - Amirhossein Akbar Tabatabai	Monoidal aspects of cocomplete quantale-enriched categories - Adriana Balan
11:45-12:00h	short break
12:00-13:00h	ADAM PŘENOSIL - Priestley-type dualities beyond the case of finite dualizing objects Chair: Serafina LapentaProjected in Room B3
13:00-13:10h	Conference Photo
13:10-15:00h	lunch break
15:00-…	FREE AFTERNOON & SOCIAL ACTIVITIES

9:00-10:00h	LUIGI SANTOCANALE - Girard quantales, their linear orders, and completely distributive lattices Chair: Mai GehrkeProjected in Room B3
10:00-10:30h	coffee break
	Aula Magna Chair: Luca Carai	Room B7 Chair: Wesley Fussner	Room B5 Chair: Paula Menchón	Room B3 Chair: Jacopo Emmenger
10:30-10:55h	Conditional Esakia Duality - Brendan Dufty, Jim de Groot	Varieties of MV-monoids and positive MV-algebras - Marco Abbadini, Paolo Aglianò, Stefano Fioravanti	Generalised Unions of Conjunctive Queries in the Algebraic Data Model - Gabriel Goren Roig, Joshua Meyers, Emilio Minichiello, Ryan Wisnesky	Canonical Extensions of Quantale Enriched Categories - Alexander Kurz, Apostolos Tzimoulis
10:55-11:20h	Colimits of Heyting Algebras through Esakia Dualit - Rodrigo Nicolau Almeida	Semi-prelinear Residuated Lattices - Pierre C. Kengne, Jens Kötters, Célestin Lele, Jean B. Nganou	Conjunctive Table Algebras - Jens Kötters, Stefan E. Schmidt	On Abstract Model Theory And Logical Topologies - Asterios Gkantzounis, Foivos Skarpelos, Yiannis Kiouvrekis, Petros Stefaneas
11:20-11:45h	Degrees of incompleteness of implicative logics: the trichotomy theorem - Damiano Fornasiere, Tommaso Moraschini	On semidirect products of biresiduation algebras - Jan Kühr	Finite lattices, N-free posets and orthomodularity - Gejza Jenča	Topoi with Enough Points - Ivan Di Liberti, Morgan Rogers
11:45-12:00h	short break
	Aula Magna Chair: Ramon Jansana	Room B7 Chair: Manuela Busaniche	Room B5 Chair: Adam Přenosil	Room B3 Chair: Gejza Jenča
12:00-12:25h	Topological Duality for Distributive Lattices: Theory and Application - Mai Gehrke, Sam van Gool	On the implicative subreducts of subresiduated lattices - Hernán Javier San Martín	CANCELLED!	Tensor Product in the Category of Effect Algebras and Related Categories - Dominik Lachman
12:25-12:50h	Vietoris endofunctor for closed relations and its de Vries dual - Marco Abbadini, Guram Bezhanishvili, Luca Carai	A Categorical Equivalence for Odd or Even Involutive FL$_e$-chains - Sándor Jenei	Craig interpolation from Horn Semantics - Peter Arndt, Hugo Luiz Mariano, Darllan Pinto	Weak distributive laws between powerspaces over stably compact - Quentin Aristote
12:50-15:00h	lunch break
15:00-16:00h	JUAN AGUILERA - An introduction to \Pi^1_2 Proof Theory Chair: Matthias BaazProjected in Room B3
16:00-16:30h	coffee break
	Aula Magna Chair: Andrea Cappelletti	Room B7 Chair: Hernán San Martin	Room B5 Chair: Francesco Ciraulo	Room B3 Chair: Giuliano Rosella
16:30-16:55h	Commutation Groups and State-Independent Contextuality - Samson Abramsky, Serban-Ion Cercelescu, Carmen Constantin	Splittings and finite basis theorems. Part I: Splittings of a lattice - Paolo Aglianò, Alex Citkin	Notes on omega-well-filtered spaces - Hualin Miao, Xiaodong Jia, Ao Shen, Qingguo Li	Intuitionistic modal logics: a minimal setting - Philippe Balbiani, Çiǧdem Gencer
16:55-17:20h	Semicartesian categories of relations - Gejza Jenča, Bert Lindenhovius	Splittings and finite basis theorems. Part II: Complete lattices of subquasivarieties - Paolo Aglianò, Alex Citkin	The Priestley duality for ≺-distributive ∨-predomains - Ao Shen, Xiaodong Jia, Hualin Miao, Qingguo Li	Bi-Intermediate Logics of Co-Trees: Local Finiteness and Decidability - Miguel Martins, Tommaso Moraschini

19:30-…	SOCIAL DINNER

9:00-10:00h	BENNO VAN DEN BERG - Arrow Algebras Chair: Matías MenniProjected in Room B3
10:00-10:30h	coffee break
	Aula Magna Chair: Guillaume Massas	Room B7 Chair: Simon Lemal	Room B5 Chair: Alexander Kurz	Room B3 Chair: Marco Abbadini
10:30-10:55h	The algebras of Lewis’s counterfactuals and their duality theory - Giuliano Rosella, Sara Ugolini	Substructural Logics weaker than Commutative Lambek Calculus - Masaya Taniguchi	Inception Display Calculi - Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano	Induced congruences in σ-frames - Raquel Bernardes
10:55-11:20h	A Logic of Belief Revision in Simplicial Complexes - Philip Sink	Semigroups in Classical Planning - Pere Pardo	Polynomial time checking of generalized Sahlqvist shape - Mattia Panettiere, Krishna Manoorkar, Alessandra Palmigiano	Localic uniform completions via Cauchy sequences - Graham Manuell
11:20-11:45h	Epimorphisms between finitely generated algebras - Luca Carai, Miriam Kurtzhals, Tommaso Moraschini	Semi-divisible residuated lattices and Modal operators - Chancelle O. Kamga, Surdive Atamewoue, Célestin Lele, Lutz Strüngmann	The logic of vague categories - Willem Conradie, Yiwen Ding, Krishna Manoorkar, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Ruoding Wang, Nachoem M. Wijnberg	On continuity and openness of maps between locales - João Areias, Jorge Picado
11:45-12:00h	short break
12:00-13:00	LUCA CARAI - Extending the Blok-Esakia Theorem to the monadic setting Chair: Luca SpadaProjected in Room B3
13:00-15:00h	lunch break
15:00-16:00h	GANNA KUDRYAVTSEVA - Duality theory for Boolean right restriction semigroups Chair: Peter JipsenProjected in Room B3
16:00-16:30h	coffee break
	Aula Magna Chair: Michal Botur	Room B7 Chair: Apostolos Tzimoulis	Room B5 Chair: Rodolfo Ertola	Room B3 Chair: TBA
16:30-16:55h	Sheaf Semantics for Inquisitive Logic - Colin Zwanziger, Vít Pučochař	On (modal) expansions of pointed Abelian logic - Petr Cintula, Filip Jankovec, Carles Noguera	Finitary semantics and languages of lambda-terms - Vincent Moreau	Remarks on the DeMorganization of a locale - Igor Arrieta
16:55-17:20h	Implication free reduct of intuitionism, or p-algebras revisited - Tomasz Kowalski, Katarzyna Słomczyńska	Modal weak Kleene logics - Stefano Bonzio, Nicolò Zamperlin	A Categorical Characterization of the Low-Complexity Functions - Amirhossein Akbar Tabatabai	The Kuratowski's Problem in Pointfree Topology - Francesco Ciraulo
17:20-17:45h	The logic with unsharp implication and negation - algebraic approach - Ivan Chajda, Helmut Länger	An algebraic semantics for possibilistic finite-valued Lukasiewicz logic - Manuela Busaniche, Penélope Cordero, Miguel Andrés Marcos, Ricardo Oscar Rodríguez	A Discussion on Double Boolean Algebras - Prosenjit Howlader, Churn-Jung Liau	On Non-Archimedean frames - Francisco Avila, Miriam Bocardo, Julio Urenda, Angel Zaldívar

Detailed programme of TACL 2024 Conference

Monday 1

Tuesday 2

Wednesday 3

Thursday 4

Friday 5