| Sunday, 21 | Monday, 22 | Tuesday, 23 | Wednesday, 24 | Thursday, 25 | Friday, 26 |

9:00-10:00 | | Michael Pinsker
Topological Clones | Emil Jerábek
Generalizing the clone–coclone Galois connection | Maria Manuel Clementino
Lax orthogonal factorization systems in Topology | Jorge Picado
Hausdorff mapping invariance theorems with sublocales | Agata Ciabattoni
(Algebraic) proof theory for substructural logics and applications |

10:00-10:30 | Coffee Break (ends 10m earlier) | Coffee Break (ends 10m earlier) | Coffee Break | Coffee Break | Coffee Break |

10:30-10:55 | Sylvia Pulmannova
MV-pairs and state operators | Rosalie Iemhoff
Uniform interpolation in modal logics | Themba Dube
On maps between Stone-Cech compactifications induced by lattice homomorphisms | Pavol Zlatos
On decidability of some classes of Stone algebras | Michael Kompatscher
Endomorphism monoids of omega-categorical structures | Manuela Sobral
Effective codescent morphisms of distributive lattices | Stefano Aguzzoli
Towards a Riesz Representation Theorem for Finite Heyting Algebras | Anna Jencová and Gejza Jenca
Quantum logics as relational monoids | Wojciech Dzik and Piotr Wojtylak
Projective Unification in Intermediate and Modal Predicate Logics | Revantha Ramanayake
Between axioms and structural rules in the display calculus | Zhiguang Zhao
Jonsson-style Canonicity for ALBA-Inequalities (Unified Correspondence I) |

10:55-11:20 | Registration | Amanda Vidal
On strong standard completeness of MTL*(Q) expansions | George Metcalfe
Proof by Order | Oghenetega Ighedo
Yet another ring-theoretic characterization of P-frames | Alexei Muravitsky
On One Embedding of Heyting Algebras | Stefano Berardi
Ramsey Theorem for pairs in k colors in the hierarchy of classical principles | M. Andrew Moshier
Coherence for Categories of Posets with Applications | Pietro Codara
Products in the category of forests and p-morphisms via Delannoy paths on Cartesian products | Jirí Janda
A Hilbert space operator representation of generalized effect algebras of bilinear forms and measures | Samuel J. van Gool
Monadic second order logic on infinite words is the model companion of linear temporal logic | Giuseppe Greco
Generalizing Belnap's cut-elimination | Alessandra Palmigiano
Canonicity and Relativized Canonicity via Pseudo-Correspondence (Unified Correspondence II) |

11:20-11:45 | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) |

11:45-12:10 | Samuel J. van Gool
Uniform Interpolation and Compact Congruences | Alex Citkin
Hereditary Structural Completeness in Intermediate Logics | Peter Jipsen
Complex algebras of tree-semilattices | Imanol Mozo Carollo
A description of the localic group of the unit circle | Dorottya Sziraki
On Sigma02 binary relations and elementary embeddability at uncountable cardinals | Nick Galatos
The FEP for some noncommutative varieties of fully distributive residuated lattices | Ilya Shapirovsky
On Completeness of Logics Enriched with Transitive Closure Modality | Luigi Santocanale
Relational lattices via duality | Ramon Jansana
A topological duality for posets | Thomas Seiller
Measurable Preorders and Complexity | Willem Conradie
Canonicity results for mu-calculi (Unified Correspondence III) |

12:10-12:35 | Sándor Jenei
Classification of absorbent-continuous, densely ordered, complete group-like FLe-chains | Dmitrij Skvortsov
On weak constant domain principle in the Kripke sheaf semantics | Brian Davey
Quasi-primal Cornish algebras | Yuan Ting Nai
Open set lattices of the spaces of minimal prime elements of multiplicative lattices | Tatsuji Kawai
A uniform continuity principle for the Baire space and a corresponding bar induction | Clint Van Alten
The Canonical FEP Construction for Residuated Lattice Ordered Algebras | Andrey Kudinov
On pretransitive logics of finite depth | Sabine Frittella
Dual characterizations for finite lattices via correspondence theory for monotone modal logic | Daniel Wessel
A General Extension Theorem for Complete Partial Orders | Roberto Maieli
Topological Correctness Criteria for Linear Logic Proof Structures | Claudette Robinson
Sahlqvist Theory for Hybrid Logics (Unified Correspondence IV) |

12:35-14:30 | Opening (starts at 14:15) | Lunch | Lunch | Lunch | Lunch | Lunch |

14:30-15:30 | André Joyal
Category theory and Homotopy type theory | Keith Kearnes
Problems on the Frontier of Commutator Theory | Paulo Oliva
Higher-Order Game Theory | EXCURSION | Olivia Caramello
The theory of topos-theoretic `bridges', five years later | Daniele Mundici
Finitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra—together |

15:35-16:00 | Marc Bagnol
Representation of Partial Traces | Revaz Grigolia
The logic of quasi true | Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco
Injectivity of relational semantics for (connected) MELL proof-structures via Taylor expansion | Karel Chvalovský
Full Lambek Calculus with contraction is undecidable | Valentin Shehtman
Bisimulation games and locally tabular modal logics | Marek Zawadowski
Comparing presentations of algebraic theories | Patrick Morandi
De Vries powers: A generalization of Boolean powers for compact Hausdorff spaces | Denisa Diaconescu
Witnessed Models and Skolemization in Substructural Logics | Zofia Kostrzycka
Interpolation in Brouwer logics determined by k-branching nets of clusters | Silvio Ghilardi
Admissible bases via stable canonical rules | Giovanni Cinà
Bisimulation and path logic for sheaves | Diego Valota
Representation of Free Finitely Generated Weak Nilpotent Minimum Algebras | Jan Paseka
Tense operators in logics without negation | Tommaso Moraschini
On everywhere strongly logifiable algebras | Sumit Sourabh
Sahlqvist theory for impossible worlds (Unified Correspondence V) |

16:00-16:25 | Amit Kuber
K-theory of modules as model-theoretic structures | Francesco Marigo
States on finite GBL*-algebras | Gijs Wijnholds
Syntactic Control for Compositional Vector Space Models | Zhiguang Zhao
Strict Implication Logics and Lambek Calculi | Ilya Shapirovsky
Complete axiomatizations of lexicographic sums and products of modal logics | Marie Kerjean
Tensor products and *-autonomous categories | Mai Gehrke
Duality for sheaf representations and related decompositions of distributive lattice ordered algebras | Dana Šalounová
Ideals and involutive filters in residuated lattices | Stefano Bonzio
Orthogonal relational systems | Julia Ilin
Stable modal logics | Panagis Karazeris
Constructions of Pretoposes | Johannes Marti
A Representation Theorem for System P | Alberto Gatto
Modal Characterization of a First Order Logic for Topology | Zhiguang Zhao
An Abstract Algebraic Logic view of judgment aggregation | Apostolos Tzimoulis
Unified Correspondence as a Proof-Theoretic Tool (Unified Correspondence VII) |

16:25-16:50 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break |

16:50-17:15 | Rostislav Horcik
Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages | Samuele Maschio
A categorical structure of realizers for the Minimalist Foundation | Jeannine Gabriëls
New properties of Sasaki projections | Petr Cintula
Dense completeness theorem for protoalgebraic logics | Sonia Marin
A cut-free proof system for pseudo-transitive modal logics | Sergejs Solovjovs
Using Topological Systems To Create a Framework for Institutions | Sumit Sourabh
Subordinations, closed relations, and compact Hausdorff spaces | Tommaso Moraschini
Undecidability in abstract algebraic logic | Julien Raskin
Distributive contact lattices with nontangential part-of relations | Miroslav Haviar
TiRS graphs and frames: a new setting for duals of canonical extensions of lattices | | Catalina Ossa
SGF-Quantales and their Groupoids | Matteo Bianchi
Trakhtenbrot theorem and first-order axiomatic extensions of MTL | | Umberto Rivieccio
Bilattice Logic of Epistemic Action and Knowledge |

17:15-17:40 | Tomas Kroupa
Imprecise Probabilities on MV-algebras Revisited | Charles Grellois
Higher-order model-checking, categorical semantics, and linear logic | Boza Tasic
On Regular Congruences of Ordered Semigroups | Hugo Albuquerque
Leibniz and Suszko filters for non-protoalgebraic logics | Fan Yang
Structural completeness in logics of dependence | Elena Aladova
Isomorphism of knowledge bases: on the edge of logic and geometry | Luca Reggio
Axiomatising the dual of compact Hausdorff spaces | Giulia Frosoni
Conuclear images of substructural logics | Rafal Gruszczynski
On two ways of generating topological spaces from Grzegorczyk mereological structures | Andrew Craig
Relational semantics via TiRS graphs | | David Kruml
Constructing representations of ordered monoids | Kristina Brantley
Monadic Fragments of Modal Predicate Logics | | Apostolos Tzimoulis
An algebraic approach to Probabilistic Dynamic Epistemic Logic |

| | | | | | | | | | | | | Social dinner 19:30 (Hotel re Ferdinando) | | | |

| | | | | | | | | | | | | | | |