Conference Programme
The conference will start on Sunday 21 of June in the afternoon and will end on Friday 26 of June in the evening.
In this page you can find:
- a general programme of the conference,
- a detailed programme of the TACL conference for the first 3 days,
- a detailed programme of the TACL conference for the last 3 days,
- the programme of the TACL school.
A full view of the conference programme can be also found here. A pdf file of the whole conference programme is available at the following link: TACL Complete Programme.
General programme
| Sunday, 21 | Monday, 22 | Tuesday, 23 | Wednesday, 24 | Thursday, 25 | Friday, 26 | |
|---|---|---|---|---|---|---|
| 9:00-10:00 | INVITED | INVITED | INVITED | INVITED | INVITED | |
| 10:00-10:30 | Coffee Break (ends 10m earlier) | Coffee Break (ends 10m earlier) | Coffee Break | Coffee Break | Coffee Break | |
| 10:30-10:55 | Session in memoriam Franco Montagna | Session in memoriam Grigori Mints | Contributed Talks | Contributed Talks | Contributed Talks | |
| 10:55-11:20 | Registration | Contributed Talks | Contributed Talks | Contributed Talks | ||
| 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 | Session in memoriam Franco Montagna | Session in memoriam Grigori Mints | Contributed Talks | Contributed Talks | Contributed Talks | |
| 12:10-12:35 | Contributed Talks | Contributed Talks | Contributed Talks | |||
| 12:35-14:30 | Opening (starts at 14:15) | Lunch | Lunch | Lunch | Lunch | Lunch |
| 14:30-15:30 | INVITED | INVITED | INVITED | EXCURSION | INVITED | INVITED |
| 15:35-16:00 | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | |
| 16:00-16:25 | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | |
| 16:25-16:50 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 16:50-17:15 | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | |
| 17:15-17:40 | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | Contributed Talks | |
| Social Dinner |
Below a detailed programme of the TACL conference split in 3+3 days. A full view of the programme can be also found here.
| Sunday, 21 | Monday, 22 | Tuesday, 23 | |||||||
| 9:00-10:00 | Michael Pinsker Topological Clones slides |
Emil Jerábek Generalizing the clone–coclone Galois connection slides |
|||||||
| 10:00-10:30 | Coffee Break (ends 10m earlier) | Coffee Break (ends 10m earlier) | |||||||
| 10:30-10:55 | Sylvia Pulmannova MV-pairs and state operators slides |
Rosalie Iemhoff Uniform interpolation in modal logics slides |
|||||||
| 10:55-11:20 | Registration | Amanda Vidal On strong standard completeness of MTL*(Q) expansions slides |
George Metcalfe Proof by Order slides |
||||||
| 11:20-11:45 | 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 slides |
Alex Citkin Hereditary Structural Completeness in Intermediate Logics slides |
|||||||
| 12:10-12:35 | Sándor Jenei Classification of absorbent-continuous, densely ordered, complete group-like FLe-chains slides |
Dmitrij Skvortsov On weak constant domain principle in the Kripke sheaf semantics slides |
|||||||
| 12:35-14:30 | Opening (starts at 14:15) | Lunch | Lunch | ||||||
| 14:30-15:30 | André Joyal Category theory and Homotopy type theory slides |
Keith Kearnes Problems on the Frontier of Commutator Theory slides |
Paulo Oliva Higher-Order Game Theory slides |
||||||
| 15:35-16:00 | Marc Bagnol Representation of Partial Traces slides |
Revaz Grigolia The logic of quasi true slides |
Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco Injectivity of relational semantics for (connected) MELL proof-structures via Taylor expansion slides |
Karel Chvalovský Full Lambek Calculus with contraction is undecidable slides |
Valentin Shehtman Bisimulation games and locally tabular modal logics slides |
Marek Zawadowski Comparing presentations of algebraic theories slides |
Patrick Morandi De Vries powers: A generalization of Boolean powers for compact Hausdorff spaces slides |
Denisa Diaconescu Witnessed Models and Skolemization in Substructural Logics slides |
Zofia Kostrzycka Interpolation in Brouwer logics determined by k-branching nets of clusters slides |
| 16:00-16:25 | Amit Kuber K-theory of modules as model-theoretic structures slides |
Francesco Marigo States on finite GBL*-algebras slides |
Gijs Wijnholds Syntactic Control for Compositional Vector Space Models slides |
Zhiguang Zhao Strict Implication Logics and Lambek Calculi slides |
Ilya Shapirovsky Complete axiomatizations of lexicographic sums and products of modal logics slides |
Marie Kerjean Tensor products and *-autonomous categories slides |
Mai Gehrke Duality for sheaf representations and related decompositions of distributive lattice ordered algebras slides |
Dana Šalounová Ideals and involutive filters in residuated lattices slides |
Stefano Bonzio Orthogonal relational systems slides |
| 16:25-16:50 | 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 slides |
Samuele Maschio A categorical structure of realizers for the Minimalist Foundation slides |
Jeannine Gabriëls New properties of Sasaki projections slides |
Petr Cintula Dense completeness theorem for protoalgebraic logics slides |
Sonia Marin A cut-free proof system for pseudo-transitive modal logics slides |
Sergejs Solovjovs Using Topological Systems To Create a Framework for Institutions slides |
Sumit Sourabh Subordinations, closed relations, and compact Hausdorff spaces slides |
Tommaso Moraschini Undecidability in abstract algebraic logic slides |
Julien Raskin Distributive contact lattices with nontangential part-of relations slides |
| 17:15-17:40 | Tomas Kroupa Imprecise Probabilities on MV-algebras Revisited slides |
Charles Grellois Higher-order model-checking, categorical semantics, and linear logic slides |
Boza Tasic On Regular Congruences of Ordered Semigroups slides |
Hugo Albuquerque Leibniz and Suszko filters for non-protoalgebraic logics slides |
Fan Yang Structural completeness in logics of dependence slides |
Elena Aladova Isomorphism of knowledge bases: on the edge of logic and geometry slides |
Luca Reggio Axiomatising the dual of compact Hausdorff spaces slides |
Giulia Frosoni Conuclear images of substructural logics slides |
Rafal Gruszczynski On two ways of generating topological spaces from Grzegorczyk mereological structures slides |
Programme of the last three days (for the other ones, scroll up).
| Wednesday, 24 | Thursday, 25 | Friday, 26 | |||||||
| 9:00-10:00 | Maria Manuel Clementino Lax orthogonal factorization systems in Topology slides |
Jorge Picado Hausdorff mapping invariance theorems with sublocales slides |
Agata Ciabattoni (Algebraic) proof theory for substructural logics and applications slides |
||||||
| 10:00-10:30 | Coffee Break | Coffee Break | Coffee Break | ||||||
| 10:30-10:55 | Themba Dube On maps between Stone-Cech compactifications induced by lattice homomorphisms slides |
Pavol Zlatos On decidability of some classes of Stone algebras slides |
Michael Kompatscher Endomorphism monoids of omega-categorical structures slides |
Manuela Sobral Effective codescent morphisms of distributive lattices slides |
Stefano Aguzzoli Towards a Riesz Representation Theorem for Finite Heyting Algebras slides |
Anna Jencová and Gejza Jenca Quantum logics as relational monoids slides |
Wojciech Dzik and Piotr Wojtylak Projective Unification in Intermediate and Modal Predicate Logics slides |
Revantha Ramanayake Between axioms and structural rules in the display calculus slides |
Zhiguang Zhao Jonsson-style Canonicity for ALBA-Inequalities (Unified Correspondence I) slides |
| 10:55-11:20 | Oghenetega Ighedo Yet another ring-theoretic characterization of P-frames slides |
Alexei Muravitsky On One Embedding of Heyting Algebras slides |
Stefano Berardi Ramsey Theorem for pairs in k colors in the hierarchy of classical principles slides |
M. Andrew Moshier Coherence for Categories of Posets with Applications slides |
Pietro Codara Products in the category of forests and p-morphisms via Delannoy paths on Cartesian products slides |
Jirí Janda A Hilbert space operator representation of generalized effect algebras of bilinear forms and measures slides |
Samuel J. van Gool Monadic second order logic on infinite words is the model companion of linear temporal logic slides |
Giuseppe Greco Generalizing Belnap’s cut-elimination slides |
Alessandra Palmigiano Canonicity and Relativized Canonicity via Pseudo-Correspondence (Unified Correspondence II) slides |
| 11:20-11:45 | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) | Coffee Break (only coffee and tea) | ||||||
| 11:45-12:10 | Peter Jipsen Complex algebras of tree-semilattices slides |
Imanol Mozo Carollo A description of the localic group of the unit circle slides |
Dorottya Sziraki On Sigma02 binary relations and elementary embeddability at uncountable cardinals slides |
Nick Galatos The FEP for some noncommutative varieties of fully distributive residuated lattices slides |
Ilya Shapirovsky On Completeness of Logics Enriched with Transitive Closure Modality slides |
Luigi Santocanale Relational lattices via duality slides |
Ramon Jansana A topological duality for posets slides |
Thomas Seiller Measurable Preorders and Complexity slides |
Willem Conradie Canonicity results for mu-calculi (Unified Correspondence III) slides |
| 12:10-12:35 | Brian Davey Quasi-primal Cornish algebras slides |
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 slides |
Clint Van Alten The Canonical FEP Construction for Residuated Lattice Ordered Algebras slides |
Andrey Kudinov On pretransitive logics of finite depth slides |
Sabine Frittella, Alessandra Palmigiano and Luigi Santocanale Dual characterizations for finite lattices via correspondence theory for monotone modal logic slides |
Daniel Wessel A General Extension Theorem for Complete Partial Orders slides |
Topological Correctness Criteria for Linear Logic Proof Structures |
Claudette Robinson Sahlqvist Theory for Hybrid Logics (Unified Correspondence IV) slides |
| 12:35-14:30 | Lunch | Lunch | Lunch | ||||||
| 14:30-15:30 | EXCURSION | Olivia Caramello The theory of topos-theoretic `bridges’, five years later slides |
Daniele Mundici Finitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra—together slides |
||||||
| 15:35-16:00 | Silvio Ghilardi Admissible bases via stable canonical rules slides |
Giovanni Cinà Bisimulation and path logic for sheaves slides |
Diego Valota Representation of Free Finitely Generated Weak Nilpotent Minimum Algebras slides |
Jan Paseka Tense operators in logics without negation slides |
Tommaso Moraschini On everywhere strongly logifiable algebras slides |
Sumit Sourabh Sahlqvist theory for impossible worlds (Unified Correspondence V) slides |
|||
| 16:00-16:25 | Julia Ilin Stable modal logics slides |
Panagis Karazeris Constructions of Pretoposes slides |
Johannes Marti A Representation Theorem for System P slides |
Alberto Gatto Modal Characterization of a First Order Logic for Topology slides |
Zhiguang Zhao An Abstract Algebraic Logic view of judgment aggregation slides |
Apostolos Tzimoulis Unified Correspondence as a Proof-Theoretic Tool (Unified Correspondence VII) slides |
|||
| 16:25-16:50 | Coffee Break | Coffee Break | |||||||
| 16:50-17:15 | Miroslav Haviar TiRS graphs and frames: a new setting for duals of canonical extensions of lattices slides |
Catalina Ossa SGF-Quantales and their Groupoids slides |
Matteo Bianchi Trakhtenbrot theorem and first-order axiomatic extensions of MTL slides |
Umberto Rivieccio Bilattice Logic of Epistemic Action and Knowledge slides |
|||||
| 17:15-17:40 | Andrew Craig Relational semantics via TiRS graphs slides |
David Kruml Constructing representations of ordered monoids slides |
Kristina Brantley Monadic Fragments of Modal Predicate Logics slides |
Apostolos Tzimoulis An algebraic approach to Probabilistic Dynamic Epistemic Logicslides |
|||||
| Social dinner 19:30 (Hotel re Ferdinando) | |||||||||
School Programme
We will meet on Monday at 10:50 in the room F6 of the Dipartimento di Matematica (see map below). We will then walk together to student house; the lectures will then start in the afternoon.
| Monday | Tuesday | Wednesday | Thursday | Friday | |
| 9:00-10:30 | Ieke Moerdijk | Luke Ong | Guram Bezhanishvili | Guram Bezhanishvili | |
| 10:30-10:50 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 10:50-12:20 | REGISTRATION | Luke Ong | Ieke Moerdijk | Brian Davey | Luke Ong |
| 12:20-13:30 | Lunch Break | Lunch Break | Lunch Break | CLOSURE | |
| 13:30-15:00 | Social Excursion + Social Dinner | Brian Davey | Ieke Moerdijk | ||
| 15:00-15:15 | Opening | Break | Break | ||
| 15:15-16:45 | Brian Davey | Guram Bezhanishvili | Luke Ong | ||
| 16:45-17:05 | Coffee Break | Coffee Break | Coffee Break | ||
| 17:05-18:35 | Guram Bezhanishvili | Ieke Moerdijk | Brian Davey | ||
| Student session (h20:00, “Sala Riunioni” of the Student House) |
