Conference Programme

Invited talks: Room Pedro Nunes (main entrance level)

Parallel Session 1: Room Pedro Nunes
Parallel Session 2: Room 17 de Abril (main entrance level)
Parallel Session 3: Room 2.4 (level 2)

		Monday 20
08:30	Registration
09:30	From {0,1} to [0,1]: A survey of duality theorems Vincenzo Marra
10:30	Coffee Break
11:00	On relative principal congruences in term quasivarieties Hernan San Martín	Sums of Kripke frames and locally finite modal logics Ilya Shapirovsky	On the concept of Algebraic Crystallography Dominique Bourn
11:30	Epimorphisms in varieties of De Morgan monoids Johann J. Wannenburg	Modality in worlds with different logics Alfredo Roque Freire	Remarks on enriched protomodularity Diana Rodelo
12:00	Cohomological refinements of k-consistency and k-equivalence Samson Abramsky	Probability via logic: semantic analysis and proof theory Apostolos Tzimoulis	Kan-injectivity and KZ-doctrines Lurdes Sousa
12:30	LUNCH
14:30	The topological μ-calculus David Fernández-Duque
15:30	Hausdorff polynomial functors Jiří Adámek	(A bit more) abstract Lindenbaum lemma Petr Cintula	Advantages and challenges posed by PNmatrices Sérgio Marcelino
16:00	Coffee Break
16:30	Visit to UC Old Campus

		Tuesday 21
09:00	Two-layered Belnapian logics for uncertainty Marta Bílková
10:00	Transfer theorems for finitely subdirectly irreducible algebras George Metcalfe	Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras Luca Carai	Filtral pretoposes and compact Hausdorff locales Panagis Karazeris
10:30	Coffee Break
11:00	Baker-Beynon duality beyond finite presentations Serafina Lapenta	Sahlqvist correspondence for deductive systems Damiano Fornasiere	Abstracting sheafification as a tripos-to-topos adjunction Davide Trotta
11:30	The coordinatization of the spectra of ℓ-groups Luca Spada	Translational embeddings via stable canonical rules Antonio Maria Cleani	Central elements and the Gaeta topos: An algebraic and functorial overview on coextensive varieties William Javier Zuluaga Botero
12:00	Preserving joins at primes Sam van Gool	Hereditary structural completeness over K4 James Carr	The small index property of the Fraïssé limit of finite Heyting algebras Kentarô Yamamoto
12:30	LUNCH
14:30	Noetherian Spaces, Wqos, and their Statures Jean Goubault-Larrecq
15:30	Difference-restriction algebras of partial functions: axiomatizations and representations Célia Borlido	Duality, unification, and admissibility in the positive fragment of Lukasiewicz logic Sara Ugolini	Internal factorisation systems Sanjiv Ranchod
16:00	Coffee Break
16:30	Difference-restriction algebras of partial functions with operators: discrete duality and completion Brett McLean	Lukasiewicz logic properly displayed Giuseppe Greco	The Monotone-Light Factorization for 2-categories via 2-preorders João Xarez
17:00	Modal logic over semi-primal algebras Wolfgang Poiger	Algebraizable weak logics Davide Emilio Quadrellaro	Lifting of monotone-light factorizations Rui Prezado

		Wednesday 22
09:00	Why didn't locale-theorists discover DeMorganization? Peter Johnstone
10:00	Presenting quotient locales Graham Manuell	Contextuality in logical form: Duality for transitive partial CABAs Rui Soares Barbosa	Universality of the self indexing of a finitely complete category and of its monoidal generalisation Matthew Di Meglio
10:30	Coffee Break
11:00	Generalized subspaces in the duality of TD-spaces Igor Arrieta	Subordination algebras as semantic environment of input/output logic Xiaolong Wang	Unitless Frobenius quantales Luigi Santocanale
11:30	Sublocales of the frame of fitted sublocales Anna Laura Suarez	Interrogative agendas, categorization, and decision-making Krishna Manoorkar	Frobenius structures in autonomous categories Cédric De Lacroix
12:00	Some topological considerations on orthogonality Saul Fernandez Gonzalez	Combination of quantifier-free uniform interpolants using Beth definability (abridged version) Alessandro Gianola	Torsion theories and coverings of preordered groups Aline Michel
12:30	LUNCH
14:30	Excursion

		Thursday 23
09:00	Dependence logic and team semantics Fan Yang
10:00	Lattice-ordered groups via distributive lattice-ordered monoids Nikolaos Galatos	Algebraizability as an algebraic structure Peter Arndt	Initiating descent theory for closure spaces Manuela Sobral
10:30	Coffee Break
11:00	From residuated lattices to ℓ-groups via free nuclear preimages Adam Přenosil	Modal reduction principles across relational semantics Mattia Panettiere	Are finite affine topological spaces worthy of study? Sergejs Solovjovs
11:30	Semilinear idempotent distributive ℓ-monoids Simon Santschi	Uniform Lyndon interpolation for basic non-normal modal and conditional logics Raheleh Jalali	On presheaf submonads of quantale enriched categories Carlos Fitas
12:00	Projective unification through duality Quentin Gougeon	Graded modal logic with a single modality Apostolos Tzimoulis	On the double category of coalgebras Dirk Hofmann
12:30	LUNCH
14:30	General and standard modal fuzzy logics Amanda Vidal
15:30	Free weak ω-categories as an inductive type Ioannis Markakis	Lambek-Grishin calculus: focusing, display and full polarization Giuseppe Greco	Farness via Galois adjunctions and a separation theorem for uniform frames Ana Belén Avilez
16:00	Coffee Break
16:30	Associativity in Quantum Logic Gavin St. John	Unified inverse correspondence for DLE-logics Mattia Panettiere	Locally non-separating sublocales and Peano compactifications Cerene Rathilal
17:00	Quantum logics as algebras for monads Gejza Jenca	Algorithmic correspondence and analytic rules for (D)LE logics Andrea De Domenico	A representation theorem for a system of point-free geometry Rafał Gruszczyński
19:30	Conference Dinner

		Friday 24
09:00	The topological behaviour category of an algebraic theory Richard Garner
10:00	On varieties of residuated po-magmas and the structure of finite ipo-semilattices Peter Jipsen	Hofmann-Mislove through the lenses of Priestley Sebastian Melzer	The dependence-problem in varieties of modal semilattices Naomi Tokuda
10:30	Coffee Break
11:00	Projectivity in (bounded) commutative integral residuated lattices Paolo Aglianó	Twist-structures isomorphic to modal Nelson Lattices Paula Menchón	First order doctrines as bipresentable 2-categories Axel Osmond
11:30	The structure of totally ordered idempotent residuated lattices Wesley Fussner	Non-distributive logics as evidential logics Andrea De Domenico	Deduction via 2-category theory Greta Coraglia
12:00	Regular algebras over semimonads Ülo Reimaa	One-sorted program algebras Igor Sedlar	Elementary fibrations and groupoids Jacopo Emmenegger
12:30	LUNCH
14:30	Dualities from categorical first principles Eli Hazel	Comparison of tabular intermediate logics Adam Mata	A pronilpotent look at maximal subgroups of free profinite monoids Herman Goulet-Ouellet
15:00	An approach à la de Vries to compact Hausdorff spaces and closed relations Marco Abbadini	A Gödel-type translation for non-distributive logics Apostolos Tzimoulis	Equidivisibility and profinite coproduct Alfredo Costa
15:30	Regular categories and soft sheaf representations Luca Reggio	Syntactic completeness of proper display calculi Giuseppe Greco	An algebraic theory of clones Antonino Salibra
16:00	Coffee Break
16:30	Spectra and subspectra arising from ℓ-groups and commutative rings Friedrich Wehrung