Below a detailed programme of the TACL conference split in 3+3 days. A full view of the programme can be also found here. A pdf file of the whole programme is available at the following link: TACL Complete Programme.
Programme of the first three days (for the other ones scroll down)
Sunday, 21  Monday, 22  Tuesday, 23  
9:0010:00  Michael Pinsker Topological Clones 
Emil Jerábek Generalizing the clone–coclone Galois connection 

10:0010:30  Coffee Break (ends 10m earlier)  Coffee Break (ends 10m earlier)  
10:3010:55  Sylvia Pulmannova MVpairs and state operators 
Rosalie Iemhoff Uniform interpolation in modal logics 

10:5511:20  Registration  Amanda Vidal On strong standard completeness of MTL*(Q) expansions 
George Metcalfe Proof by Order 

11:2011:45  Coffee Break (only coffee and tea)  Coffee Break (only coffee and tea)  
11:4512:10  Samuel J. van Gool Uniform Interpolation and Compact Congruences 
Alex Citkin Hereditary Structural Completeness in Intermediate Logics 

12:1012:35  Sándor JeneiClassification of absorbentcontinuous, densely ordered, complete grouplike FLechains 
Dmitrij Skvortsov On weak constant domain principle in the Kripke sheaf semantics 

12:3514:30  Opening (starts at 14:15)  Lunch  Lunch  
14:3015:30  André Joyal Category theory and Homotopy type theory 
Keith Kearnes Problems on the Frontier of Commutator Theory 
Paulo Oliva HigherOrder Game Theory 

15:3516: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 proofstructures 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 KostrzyckaInterpolation in Brouwer logics determined by kbranching nets of clusters 
16:0016:25  Amit Kuber Ktheory of modules as modeltheoretic 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 BonzioOrthogonal relational systems 
16:2516:50  Coffee Break  Coffee Break  Coffee Break  
16:5017: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 MarinA cutfree proof system for pseudotransitive 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 RaskinDistributive contact lattices with nontangential partof relations 
17:1517:40  Tomas Kroupa Imprecise Probabilities on MValgebras Revisited 
Charles Grellois Higherorder modelchecking, categorical semantics, and linear logic 
Boza Tasic On Regular Congruences of Ordered Semigroups 
Hugo Albuquerque Leibniz and Suszko filters for nonprotoalgebraic 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 GruszczynskiOn two ways of generating topological spaces from Grzegorczyk mereological structures 
Programme of the last three days (for the other ones, scroll up).
Wednesday, 24  Thursday, 25  Friday, 26  
9:0010:00  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:0010:30  Coffee Break  Coffee Break  Coffee Break  
10:3010:55  Themba Dube On maps between StoneCech compactifications induced by lattice homomorphisms 
Pavol Zlatos On decidability of some classes of Stone algebras 
Michael Kompatscher Endomorphism monoids of omegacategorical 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 RamanayakeBetween axioms and structural rules in the display calculus  Zhiguang Zhao Jonssonstyle Canonicity for ALBAInequalities (Unified Correspondence I) 
10:5511:20  Oghenetega Ighedo Yet another ringtheoretic characterization of Pframes 
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 pmorphisms 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 cutelimination 
Alessandra Palmigiano Canonicity and Relativized Canonicity via PseudoCorrespondence (Unified Correspondence II) 
11:2011:45  Coffee Break (only coffee and tea)  Coffee Break (only coffee and tea)  Coffee Break (only coffee and tea)  
11:4512:10  Peter Jipsen Complex algebras of treesemilattices 
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 mucalculi (Unified Correspondence III) 
12:1012:35  Brian Davey Quasiprimal 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, Alessandra Palmigiano and Luigi Santocanale 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:3514:30  Lunch  Lunch  Lunch  
14:3015:30  EXCURSION  Olivia Caramello The theory of topostheoretic `bridges’, five years later 
Daniele Mundici Finitely presented MValgebras, unital lattice ordered abelian groups and rational polyhedra—together 

15:3516:00  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:0016:25  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 ProofTheoretic Tool (Unified Correspondence VII) 

16:2516:50  Coffee Break  Coffee Break  
16:5017:15  Miroslav Haviar TiRS graphs and frames: a new setting for duals of canonical extensions of lattices 
Catalina Ossa SGFQuantales and their Groupoids 
Matteo BianchiTrakhtenbrot theorem and firstorder axiomatic extensions of MTL 
Umberto Rivieccio Bilattice Logic of Epistemic Action and Knowledge 

17:1517:40  Andrew Craig Relational semantics via TiRS graphs 
David Kruml Constructing representations of ordered monoids 
Kristina BrantleyMonadic Fragments of Modal Predicate Logics 
Apostolos Tzimoulis An algebraic approach to Probabilistic Dynamic Epistemic Logic 

Social dinner 19:30 (Hotel re Ferdinando) 