Registration
Invited lecture Contributed talk Break or other event
Week at a glance
| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 09:00-10:00 | Andrew Moshier | Wesley Fussner | Valeria de Paiva | Serafina Lapenta | Tadeusz Litak |
| 10:00-10:30 | Coffee | Coffee | Coffee | Coffee | Coffee |
| 10:30-12:10 | Contributed | Contributed | Contributed | Contributed | Contributed |
| 12:10-14:00 | Lunch | Lunch | Lunch | Lunch | Lunch |
| 14:00-15:00 | Marco Abbadini | Anna Laura Suarez | George Metcalfe | Dirk Hofmann | Marcus Tressl |
| 15:00-15:30 | Coffee | Coffee | Coffee | Coffee | Coffee |
| 15:30-16:35 | Contributed | Contributed | Excursion | Contributed | |
| 16:35-16:50 | Break | Break | Break | ||
| 16:50-17:55 | Contributed | Contributed | Contributed | ||
| 18:00-19:00 | Discussion | ||||
| 20:00 Reception | 19:00 Conference Dinner |
27 July 2026
Monday
Time
Parallel session 1 Room TBA
Parallel session 2 Room TBA
Parallel session 3 Room TBA
Parallel session 4 Room TBA
Parallel session 5 Room TBA
08:00–08:50
08:50–09:00
Opening
Chair: Nick Galatos
09:00–10:00
Invited lecture
Andrew Moshier
Relations in order-enriched categories(SLIDES)
10:00–10:30
Coffee break
Session 1Chair: Nick Galatos
Session 2Chair: Guillaume Massas
Session 3Chair: Ivan Tomasic
Session 4Chair: Marcus Tressl
Session 5Chair: Krzysztof Krawczyk
10:30–11:00
Parallel session 1
On the structure of involutive partially ordered monoids as models of multiplicative fragments of linear logic
Parallel session 2
Many-Valued Coalgerbaic Lindstrom's Theorem
Parallel session 3
Homological Algebra in Abelian Framed Bicategories
Parallel session 5
Semi-divisible rings
11:05–11:35
Parallel session 1
Partially-ordered Płonka sums of po-algebras
Parallel session 2
Interpolation in bi-intuitionistic logics
Parallel session 3
Constructing the Object of Bialgebras in a 2-Category with PIE-Limits
Parallel session 4
The lattice of smooth sublocales as a Bruns-Lakser completion
Parallel session 5
Algebraic Semantics for First-Order Relevant Logics
11:40–12:10
Parallel session 1
Layer decomposition for balanced residuated partially ordered semigroups
Parallel session 2
A Duality Theorem for Constructive K
Parallel session 3
Towards a 2-categorical logic of dependent type theory
Parallel session 4
Generalizing the d-nucleus to stably continuous frames
Parallel session 5
Closure l-monoids and their proof theory
12:10–14:00
Lunch break
Chair: Luca Spada
14:00–15:00
Invited lecture
Marco Abbadini
On the symmetry behind duality(SLIDES)
15:00–15:30
Coffee break
Session 1Chair: Adam Prenosil
Session 2Chair: Rodrigo Nicolau Almeida
Session 3Chair: Luca Spada
Session 4Chair: Dirk Hoffman
Session 5Chair: Sérgio Marcelino
15:30–16:00
Parallel session 1
Bunched implication logic is undecidable
Parallel session 2
Knowledge on a Budget
Parallel session 3
A representation theory of arboreal categories
Parallel session 5
Introduction to the model theory of modules
16:05–16:35
Parallel session 1
The Deducibility Problem for Certain Extensions of the Full Non-Associative Lambek Calculus is Undecidable
Parallel session 2
Interpolation in Two-Dimensional Cylindric Modal Logic
Parallel session 3
Arboreal Categories from Shapes
Parallel session 5
Rewriting Systems on Arbitrary Monoids
16:35–16:50
Short break
16:50–17:20
Parallel session 1
Varieties of distributive l-pregroups
Parallel session 2
On 1-variable fragments of modal predicate logics
Parallel session 3
Examples of Arrow Algebras
Parallel session 4
Localic distances and asymmetric metrization theorems
Parallel session 5
Clonoids over finite vector spaces and related computational problems
17:25–17:55
Parallel session 1
Semi-direct products and similar constructions of residuated lattices
Parallel session 2
Being a union-splitting is decidable in modal logic
Parallel session 3
Categorical logic in difference and differential algebra
Parallel session 4
Basic zero-dimensional spaces: A unifying framework for continuity and openness
Parallel session 5
Automata on Graph Alphabets
20:00
Reception
28 July 2026
Tuesday
Time
Parallel session 1 Room TBA
Parallel session 2 Room TBA
Parallel session 3 Room TBA
Parallel session 4 Room TBA
Parallel session 5 Room TBA
Chair: George Metcalfe
09:00–10:00
Invited lecture
Wesley Fussner
Lax amalgamation and equational consequence(SLIDES)
10:00–10:30
Coffee break
Session 1Chair: George Metcalfe
Session 2Chair: Valeria de Paiva
Session 3Chair: Alexander Kurz
Session 4Chair: Tomáš Jakl
Session 5Chair: Amanda Vidal
10:30–11:00
Parallel session 1
Decidability in integral conuclear residuated lattices
Parallel session 2
Axiomatization of logics complete with respect to 3-element Semi-Heyting algebras
Parallel session 3
Evolution systems and embedding-projection pairs
Parallel session 4
Revisiting the localic Kuratowski-Mrówka theorem
Parallel session 5
Semiring-Valued Logics with Twist-Structure Semantics
11:05–11:35
Parallel session 1
Algebraic proof theory for distributive sequent calculi and GBI-algebras
Parallel session 2
Cut-free Deductive Systems for Affine and Continuous Intuitionistic Logic
Parallel session 3
Soberness as idempotent-completeness: towards a formal model theory of virtual ultracategories
Parallel session 4
TD-coreflection pointfreely and its generalization to other separation axioms
Parallel session 5
Double equivalential algebras
11:40–12:10
Parallel session 1
A Non-Distributive Equivalence for Finite Pointed Brouwerian Algebras and their Algebras of Fractions
Parallel session 2
The Eliminability of Delta in Gödel Logics
Parallel session 3
The compactness theorem for topos-valued models
Parallel session 4
Ultracontact algebras and stack systems
Parallel session 5
On the Decidability of Comparing Many-Valued Logics: A WSkS Approach
12:10–14:00
Lunch break
Chair: Jorge Picado
14:00–15:00
Invited lecture
Anna Laura Suarez
Pointfree theories of T0 spaces(SLIDES)
15:00–15:30
Coffee break
Session 1Chair: Serafina Lapenta
Session 2Chair: Luca Carai
Session 3Chair: Luca Reggio
Session 4Chair: Jorge Picado
Session 5Chair: Libor Behounek
15:30–16:00
Parallel session 1
Product Łukasiewicz Unbound Logic
Parallel session 2
On the theory of finite Gödel Algebras
Parallel session 3
A Directed Refinement of Constructive Ordinals in Algebraic Set Theory
Parallel session 4
Localic Relations with Open Cones
Parallel session 5
Quantale-Enriched Universal Algebra: Completeness
16:05–16:35
Parallel session 1
On the lattice of subvarieties of equational states
Parallel session 2
Algebras and general frames for interpretability logics
Parallel session 3
Makkai’s lost proof of projectivity of N in the free topos
Parallel session 4
On lifting maps to the Wallman compactification
Parallel session 5
Easy direct limits property in some classes of algebras
16:35–16:50
Short break
16:50–17:20
Parallel session 1
Structural completeness in basic hoops and BL-algebras
Parallel session 2
Interpolation in the Inquisitive Hierarchy
Parallel session 3
Relative (co-)Yoneda Lemma for Categories Indexed over a Small-Generated Site
Parallel session 4
Quad Rings and Quad Algebras: From Duality to Logical Perspective
Parallel session 5
Axiomatizing logics of finite Godel-Kripke models
17:25–17:55
Parallel session 1
Reasoning in the real world with BL multi-modal logic
Parallel session 2
There are only denumerably many locally tabular bi-intermediate logics of trees and of co-trees
Parallel session 3
Relative Points and Completions of Indexed Categories
Parallel session 4
Adjoints and the preservation of order
Parallel session 5
Symmetric Difference in Lattices With Complementation
18:00–19:00
Open discussion
29 July 2026
Wednesday
Time
Parallel session 1 Room TBA
Parallel session 2 Room TBA
Parallel session 3 Room TBA
Parallel session 4 Room TBA
Parallel session 5 Room TBA
Chair: Andrew Moshier
09:00–10:00
Invited lecture
Valeria de Paiva
Small dialectica categories(SLIDES)
10:00–10:30
Coffee break
Session 1Chair: Silvio Ghilardi
Session 2Chair: Valentin Shehtman
Session 3Chair: Igor Arrieta
Session 4Chair: Andrew Moshier
Session 5Chair: Sándor Jenei
10:30–11:00
Parallel session 1
The Beth companion: making implicit operations explicit
Parallel session 2
Arithmetic polytopes, ordered groups, and affine monoids: a duality theorem
Parallel session 3
Lax comma categories: descent and exponentiability
Parallel session 4
Quantale-enriched proof theory
Parallel session 5
The equivalential fragment of FLew
11:05–11:35
Parallel session 1
Implicit operations in reduced commutative rings
Parallel session 2
Modally definable polyhedra.
Parallel session 3
A double-categorical perspective (or two) on dual fibrations
Parallel session 4
How to build categorical semantics of proofs for the basic modal Lambek logic and beyond
Parallel session 5
Intmax2: A Secure Blockchain Protocol Enabled by Lattice-Ordered Abelian Groups
11:40–12:10
Parallel session 1
Implicit operations in varieties of commutative monoids
Parallel session 2
Modal Logics of Zariski-constructible and Semialgebraic Sets
Parallel session 3
A graphical calculus for categorical linear dependency
Parallel session 4
Refutational Display Calculi
Parallel session 5
On varieties of modular lattices with complementation
12:10–14:00
Lunch break
Chair: Sam van Gool
14:00–15:00
Invited lecture
George Metcalfe
Decision problems for ordered monoids(SLIDES)
15:00–15:30
Coffee break
15:30
Excursion
30 July 2026
Thursday
Time
Parallel session 1 Room TBA
Parallel session 2 Room TBA
Parallel session 3 Room TBA
Parallel session 4 Room TBA
Parallel session 5 Room TBA
Chair: Marco Abbadini
09:00–10:00
Invited lecture
Serafina Lapenta
The logic of arithmetic Markov chains(SLIDES)
10:00–10:30
Coffee break
Session 1Chair: Wesley Fussner
Session 2Chair: Tommaso Moraschini
Session 3Chair: Marco Abbadini
Session 4Chair: Rui Prezado
Session 5Chair: Tadeusz Litak
10:30–11:00
Parallel session 1
On actions and split extensions in varieties of hoops
Parallel session 2
Superamalgamation for modal lattices via non-distributive dualities
Parallel session 3
Regular epi in the regular category of rational polyhedra and Z-maps
Parallel session 4
Spectral spaces from closure operators on semilattice-ordered semigroups
Parallel session 5
Quasi-equational bases for oriented paths
11:05–11:35
Parallel session 1
A Model Companion for an Extension of Abelian Lattice-Ordered Groups
Parallel session 2
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
Parallel session 3
Conceptual completeness for geometric logic via ultraconvergence spaces
Parallel session 5
Maximal sublattices of finite semidistributive lattices
11:40–12:10
Parallel session 1
Semiconical residuated lattices with an idempotent skeleton
Parallel session 2
Esakia duality for temporal Heyting algebras
Parallel session 3
Regular hyperdoctrines as double functors
Parallel session 4
Stone Duality Proofs for Colorless Distributed Computability Theorems
Parallel session 5
Conjunctive Concept Algebras -- Unnamed Perspective
12:10–14:00
Lunch break
Chair: Anna Laura Suarez
14:00–15:00
Invited lecture
Dirk Hofmann
Topology and metric(SLIDES)
15:00–15:30
Coffee break
Session 1Chair: Denisa Diaconescu
Session 2Chair: Jim de Groot
Session 3Chair: Vincenzo Marra
Session 4Chair: Anna Laura Suarez
Session 5Chair: Anna Zamojska-Dzienio
15:30–16:00
Parallel session 2
Revisiting Completeness of Fixpoint Logics
Parallel session 3
Stone Duality for Monads
Parallel session 4
Duality for quasi-Nelson algebras with recovery operators
Parallel session 5
A first-order extension of multi-lingual sequent calculus
16:05–16:35
Parallel session 1
Exactly Five Subquasivarieties of Sugihara Algebras have the Amalgamation Property
Parallel session 2
Delimited control, the Casari schema, and KM
Parallel session 3
A completeness theorem for topological doctrines
Parallel session 4
A Unified Categorical Duality for Preminimal Negation and Beyond: Extending Compatibility Semantics Along Dunn's Negation Hierarchy
Parallel session 5
Defeasible Reasoning on Concepts
16:35–16:50
Short break
16:50–17:20
Parallel session 1
Theorems of alternatives, algebraically
Parallel session 2
Tense Information Logic with Incomparable Fusion and Overlap
Parallel session 3
A topos for étale-finite Heyting algebras
Parallel session 4
Unicoherence in Locales
Parallel session 5
Biquasiintuitionistic logic and related structures
17:25–17:55
Parallel session 1
A generic construction of free algebras in varieties of Hilbert algebras and Brouwerian semilattices
Parallel session 2
Craig Interpolation in the Logic of Temporal Linear Structures
Parallel session 3
Coequivalence relations and descent in modal and superintuitionistic logic
Parallel session 4
Dual presentations of frames
19:00
Conference dinner
31 July 2026
Friday
Time
Parallel session 1 Room TBA
Parallel session 2 Room TBA
Parallel session 3 Room TBA
Parallel session 4 Room TBA
Parallel session 5 Room TBA
Chair: Nick Bezhanishvili
09:00–10:00
Invited lecture
Tadeusz Litak
(SLIDES)
10:00–10:30
Coffee break
Session 1Chair: Marta Bilkova
Session 2Chair: Nick Bezhanishvili
Session 3Chair: Umberto Tarantino
Session 4Chair: Giuseppe Greco
Session 5Chair: --
10:30–11:00
Parallel session 1
On Bochvar algebras and regular double Stone algebras
Parallel session 2
MacNeille Completion and Canonical Completion of Monadic Ortholattices
Parallel session 3
Lifting structure from states to propositions: the various Day extensions available
Parallel session 4
A Nested Approach to Relevant Logic
11:05–11:35
Parallel session 1
Enriched Płonka sums
Parallel session 2
Constructive Quantum Logics
Parallel session 3
Coherent and ideal actions in ideally exact categories with an application to varieties of universal algebras
Parallel session 4
Sequent Calculi in Semiring Semantics
11:40–12:10
Parallel session 1
Topological and differentiable aspects of Clifford semigroups
Parallel session 2
On the universal theory of the free pseudocomplemented distributive lattice
Parallel session 3
Machine Space, Exponential Spaces and Compactness
12:10–14:00
Lunch break
Chair: Tomasz Kowalski
14:00–15:00
Invited lecture
Marcus Tressl
On compact open sets(SLIDES)
15:00–15:30
Coffee break
No programme items match the current filters.