{"id":358,"date":"2015-06-12T11:53:52","date_gmt":"2015-06-12T09:53:52","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/tacl\/?p=358"},"modified":"2015-06-18T15:47:52","modified_gmt":"2015-06-18T13:47:52","slug":"tacl-conference-programme","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/tacl\/tacl-conference-programme\/","title":{"rendered":"TACL Conference Programme"},"content":{"rendered":"

Below a detailed\u00a0programme of the TACL conference split in 3+3 days. \u00a0A full view of the programme can be also found here<\/a>. \u00a0A pdf file of the whole programme is available at the following link:\u00a0TACL Complete Programme<\/a>.<\/p>\n

<\/h3>\n

Programme of the first three days (for the other ones scroll down)<\/h3>\n

<\/a><\/h3>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\nSunday, 21<\/td>\nMonday, 22<\/td>\nTuesday, 23<\/td>\n<\/tr>\n<\/thead>\n
9:00-10:00<\/td>\n<\/td>\n
\nMichael Pinsker<\/a>
\nTopological Clones<\/td>\n
\nEmil Jer\u00e1bek<\/a>
\nGeneralizing the clone\u2013coclone Galois connection<\/td>\n<\/tr>\n
10:00-10:30<\/td>\nCoffee Break (ends 10m earlier)<\/td>\nCoffee Break (ends 10m earlier)<\/td>\n<\/tr>\n
10:30-10:55<\/td>\n
\nSylvia Pulmannova<\/a>
\nMV-pairs and state operators<\/td>\n
\nRosalie Iemhoff<\/a>
\nUniform interpolation in modal logics<\/td>\n<\/tr>\n
10:55-11:20<\/td>\nRegistration<\/td>\n
\nAmanda Vidal<\/a>
\nOn strong standard completeness of MTL*(Q) expansions<\/td>\n
\nGeorge Metcalfe<\/a>
\nProof by Order<\/td>\n<\/tr>\n
11:20-11:45<\/td>\nCoffee Break (only coffee and tea)<\/td>\nCoffee Break (only coffee and tea)<\/td>\n<\/tr>\n
11:45-12:10<\/td>\n
\nSamuel J. van Gool<\/a>
\nUniform Interpolation and Compact Congruences<\/td>\n
\nAlex Citkin<\/a>
\nHereditary Structural Completeness in Intermediate Logics<\/td>\n<\/tr>\n
12:10-12:35<\/td>\n
\nS\u00e1ndor Jenei<\/a>Classification of absorbent-continuous, densely ordered, complete group-like FLe-chains<\/td>\n
\nDmitrij Skvortsov<\/a>
\nOn weak constant domain principle in the Kripke sheaf semantics<\/td>\n<\/tr>\n
12:35-14:30<\/td>\nOpening (starts at 14:15)<\/td>\nLunch<\/td>\nLunch<\/td>\n<\/tr>\n
14:30-15:30<\/td>\n
\nAndr\u00e9 Joyal<\/a>
\nCategory theory and Homotopy type theory<\/td>\n
\nKeith Kearnes<\/a>
\nProblems on the Frontier of Commutator Theory<\/td>\n
\nPaulo Oliva<\/a>
\nHigher-Order Game Theory<\/td>\n<\/tr>\n
15:35-16:00<\/td>\nMarc Bagnol<\/a>
\n<\/a>Representation of Partial Traces<\/p>\n

 <\/td>\n


\nRevaz Grigolia<\/a>
\nThe logic of quasi true<\/td>\n		Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco<\/a>
\n<\/a>Injectivity of relational semantics for (connected) MELL proof-structures via Taylor expansion<\/p>\n

 <\/td>\n


\nKarel Chvalovsk\u00fd<\/a>
\nFull Lambek Calculus with contraction is undecidable<\/td>\n
\nValentin Shehtman<\/a>
\nBisimulation games and locally tabular modal logics<\/td>\n		Marek Zawadowski<\/a>
\n<\/a>Comparing presentations of algebraic theories<\/p>\n

 <\/td>\n


\nPatrick Morandi<\/a>
\nDe Vries powers: A generalization of Boolean powers for compact Hausdorff spaces<\/td>\n
\nDenisa Diaconescu<\/a>
\nWitnessed Models and Skolemization in Substructural Logics<\/td>\n		Zofia Kostrzycka<\/a>Interpolation in Brouwer logics determined by k-branching nets of clusters
\n<\/a><\/td>\n<\/tr>\n
16:00-16:25<\/td>\n
\nAmit Kuber<\/a>
\nK-theory of modules as model-theoretic structures<\/td>\n
\nFrancesco Marigo<\/a>
\nStates on finite GBL*-algebras<\/td>\n
\nGijs Wijnholds<\/a>
\nSyntactic Control for Compositional Vector Space Models<\/td>\n
\nZhiguang Zhao<\/a>
\nStrict Implication Logics and Lambek Calculi<\/td>\n
\nIlya Shapirovsky<\/a>
\nComplete axiomatizations of lexicographic sums and products of modal logics<\/td>\n
\nMarie Kerjean<\/a>
\nTensor products and *-autonomous categories<\/td>\n
\nMai Gehrke<\/a>
\nDuality for sheaf representations and related decompositions of distributive lattice ordered algebras<\/td>\n
\nDana \u0160alounov\u00e1<\/a>
\nIdeals and involutive filters in residuated lattices<\/td>\n		Stefano Bonzio<\/a>Orthogonal relational systems<\/td>\n<\/tr>\n
16:25-16:50<\/td>\nCoffee Break<\/td>\nCoffee Break<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:50-17:15<\/td>\n
\nRostislav Horcik<\/a>
\nCharacterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages<\/td>\n
\nSamuele Maschio<\/a>
\nA categorical structure of realizers for the Minimalist Foundation<\/td>\n
\nJeannine Gabri\u00ebls<\/a>
\nNew properties of Sasaki projections<\/td>\n
\nPetr Cintula<\/a>
\nDense completeness theorem for protoalgebraic logics<\/td>\n
\n<\/a>Sonia Marin<\/a>A cut-free proof system for pseudo-transitive modal logics<\/td>\n
\nSergejs Solovjovs<\/a>
\nUsing Topological Systems To Create a Framework for Institutions<\/td>\n
\nSumit Sourabh<\/a>
\nSubordinations, closed relations, and compact Hausdorff spaces<\/td>\n
\nTommaso Moraschini<\/a>
\nUndecidability in abstract algebraic logic<\/td>\n
\n<\/a>Julien Raskin<\/a>Distributive contact lattices with nontangential part-of relations<\/td>\n<\/tr>\n
17:15-17:40<\/td>\n
\nTomas Kroupa<\/a>
\nImprecise Probabilities on MV-algebras Revisited<\/td>\n
\nCharles Grellois<\/a>
\nHigher-order model-checking, categorical semantics, and linear logic<\/td>\n
\nBoza Tasic<\/a>
\nOn Regular Congruences of Ordered Semigroups<\/td>\n
\nHugo Albuquerque<\/a>
\nLeibniz and Suszko filters for non-protoalgebraic logics<\/td>\n
\nFan Yang<\/a>
\nStructural completeness in logics of dependence<\/td>\n
\nElena Aladova<\/a>
\nIsomorphism of knowledge bases: on the edge of logic and geometry<\/td>\n
\nLuca Reggio<\/a>
\nAxiomatising the dual of compact Hausdorff spaces<\/td>\n
\nGiulia Frosoni<\/a>
\nConuclear images of substructural logics<\/td>\n		Rafal Gruszczynski<\/a>On two ways of generating topological spaces from Grzegorczyk mereological structures<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Programme of the last three days (for the other ones, scroll up).<\/a><\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\nWednesday, 24<\/td>\nThursday, 25<\/td>\nFriday, 26<\/td>\n<\/tr>\n<\/thead>\n
9:00-10:00<\/td>\n
\nMaria Manuel Clementino<\/a>
\nLax orthogonal factorization systems in Topology<\/td>\n
\nJorge Picado<\/a>
\nHausdorff mapping invariance theorems with sublocales<\/td>\n
\nAgata Ciabattoni<\/a>
\n(Algebraic) proof theory for substructural logics and applications<\/td>\n<\/tr>\n
10:00-10:30<\/td>\nCoffee Break<\/td>\nCoffee Break<\/td>\nCoffee Break<\/td>\n<\/tr>\n
10:30-10:55<\/td>\n
\nThemba Dube<\/a>
\nOn maps between Stone-Cech compactifications induced by lattice homomorphisms<\/td>\n
\nPavol Zlatos<\/a>
\nOn decidability of some classes of Stone algebras<\/td>\n
\nMichael Kompatscher<\/a>
\nEndomorphism monoids of omega-categorical structures<\/td>\n
\nManuela Sobral<\/a>
\nEffective codescent morphisms of distributive lattices<\/td>\n
\nStefano Aguzzoli<\/a>
\nTowards a Riesz Representation Theorem for Finite Heyting Algebras<\/td>\n
\nAnna Jencov\u00e1 and Gejza Jenca<\/a>
\nQuantum logics as relational monoids<\/td>\n
\nWojciech Dzik and Piotr Wojtylak<\/a>
\nProjective Unification in Intermediate and Modal Predicate Logics<\/td>\n		Revantha Ramanayake<\/a>Between axioms and structural rules in the display calculus<\/td>\n
\nZhiguang Zhao<\/a>
\nJonsson-style Canonicity for ALBA-Inequalities (Unified Correspondence I)<\/td>\n<\/tr>\n
10:55-11:20<\/td>\n
\nOghenetega Ighedo<\/a>
\nYet another ring-theoretic characterization of P-frames<\/td>\n
\nAlexei Muravitsky<\/a>
\nOn One Embedding of Heyting Algebras<\/td>\n
\nStefano Berardi<\/a>
\nRamsey Theorem for pairs in k colors in the hierarchy of classical principles<\/td>\n
\nM. Andrew Moshier<\/a>
\nCoherence for Categories of Posets with Applications<\/td>\n
\nPietro Codara<\/a>
\nProducts in the category of forests and p-morphisms via Delannoy paths on Cartesian products<\/td>\n
\nJir\u00ed Janda<\/a>
\nA Hilbert space operator representation of generalized effect algebras of bilinear forms and measures<\/td>\n
\nSamuel J. van Gool<\/a>
\nMonadic second order logic on infinite words is the model companion of linear temporal logic<\/td>\n
\n<\/a>Giuseppe Greco<\/a>
\n<\/a>Generalizing Belnap’s cut-elimination
\n<\/a><\/td>\n
\nAlessandra Palmigiano<\/a>
\nCanonicity and Relativized Canonicity via Pseudo-Correspondence (Unified Correspondence II)<\/td>\n<\/tr>\n
11:20-11:45<\/td>\nCoffee Break (only coffee and tea)<\/td>\nCoffee Break (only coffee and tea)<\/td>\nCoffee Break (only coffee and tea)<\/td>\n<\/tr>\n
11:45-12:10<\/td>\n
\nPeter Jipsen<\/a>
\nComplex algebras of tree-semilattices<\/td>\n
\nImanol Mozo Carollo<\/a>
\nA description of the localic group of the unit circle<\/td>\n
\nDorottya Sziraki<\/a>
\nOn Sigma02 binary relations and elementary embeddability at uncountable cardinals<\/td>\n
\nNick Galatos<\/a>
\nThe FEP for some noncommutative varieties of fully distributive residuated lattices<\/td>\n
\nIlya Shapirovsky<\/a>
\nOn Completeness of Logics Enriched with Transitive Closure Modality<\/td>\n
\nLuigi Santocanale<\/a>
\nRelational lattices via duality<\/td>\n
\nRamon Jansana<\/a>
\nA topological duality for posets<\/td>\n
\nThomas Seiller<\/a>
\nMeasurable Preorders and Complexity<\/td>\n
\nWillem Conradie<\/a>
\nCanonicity results for mu-calculi (Unified Correspondence III)<\/td>\n<\/tr>\n
12:10-12:35<\/td>\n
\nBrian Davey<\/a>
\nQuasi-primal Cornish algebras<\/td>\n
\nYuan Ting Nai<\/a>
\nOpen set lattices of the spaces of minimal prime elements of multiplicative lattices<\/td>\n
\nTatsuji Kawai<\/a>
\nA uniform continuity principle for the Baire space and a corresponding bar induction<\/td>\n
\nClint Van Alten<\/a>
\nThe Canonical FEP Construction for Residuated Lattice Ordered Algebras<\/td>\n
\nAndrey Kudinov<\/a>
\nOn pretransitive logics of finite depth<\/td>\n
\nSabine Frittella, Alessandra Palmigiano and Luigi Santocanale<\/a>
\nDual characterizations for finite lattices via correspondence theory for monotone modal logic<\/td>\n
\nDaniel Wessel<\/a>
\nA General Extension Theorem for Complete Partial Orders<\/td>\n		Roberto Maieli<\/a>
\n<\/a>Topological Correctness Criteria for Linear Logic Proof Structures<\/p>\n

 <\/td>\n


\nClaudette Robinson<\/a>
\nSahlqvist Theory for Hybrid Logics (Unified Correspondence IV)<\/td>\n<\/tr>\n
12:35-14:30<\/td>\nLunch<\/td>\nLunch<\/td>\nLunch<\/td>\n<\/tr>\n
14:30-15:30<\/td>\nEXCURSION<\/td>\n
\nOlivia Caramello<\/a>
\nThe theory of topos-theoretic `bridges’, five years later<\/td>\n
\nDaniele Mundici<\/a>
\nFinitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra\u2014together<\/td>\n<\/tr>\n
15:35-16:00<\/td>\n
\nSilvio Ghilardi<\/a>
\nAdmissible bases via stable canonical rules<\/td>\n
\nGiovanni Cin\u00e0<\/a>
\nBisimulation and path logic for sheaves<\/td>\n
\nDiego Valota<\/a>
\nRepresentation of Free Finitely Generated Weak Nilpotent Minimum Algebras<\/td>\n
\nJan Paseka<\/a>
\nTense operators in logics without negation<\/td>\n
\nTommaso Moraschini<\/a>
\nOn everywhere strongly logifiable algebras<\/td>\n
\nSumit Sourabh<\/a>
\nSahlqvist theory for impossible worlds (Unified Correspondence V)<\/td>\n<\/tr>\n
16:00-16:25<\/td>\n
\nJulia Ilin<\/a>
\nStable modal logics<\/td>\n
\nPanagis Karazeris<\/a>
\nConstructions of Pretoposes<\/td>\n
\nJohannes Marti<\/a>
\nA Representation Theorem for System P<\/td>\n
\nAlberto Gatto<\/a>
\nModal Characterization of a First Order Logic for Topology<\/td>\n
\nZhiguang Zhao<\/a>
\nAn Abstract Algebraic Logic view of judgment aggregation<\/td>\n
\nApostolos Tzimoulis<\/a>
\nUnified Correspondence as a Proof-Theoretic Tool (Unified Correspondence VII)<\/td>\n<\/tr>\n
16:25-16:50<\/td>\nCoffee Break<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:50-17:15<\/td>\n
\nMiroslav Haviar<\/a>
\nTiRS graphs and frames: a new setting for duals of canonical extensions of lattices<\/td>\n		<\/td>\n
\nCatalina Ossa<\/a>
\nSGF-Quantales and their Groupoids<\/td>\n
\n<\/a>Matteo Bianchi<\/a>Trakhtenbrot theorem and first-order axiomatic extensions of MTL<\/td>\n		<\/td>\n
\nUmberto Rivieccio<\/a>
\nBilattice Logic of Epistemic Action and Knowledge<\/td>\n<\/tr>\n
17:15-17:40<\/td>\n
\nAndrew Craig<\/a>
\nRelational semantics via TiRS graphs<\/td>\n		<\/td>\n
\nDavid Kruml<\/a>
\nConstructing representations of ordered monoids<\/td>\n
\n<\/a>Kristina Brantley<\/a>Monadic Fragments of Modal Predicate Logics<\/td>\n		<\/td>\n
\nApostolos Tzimoulis<\/a>
\nAn algebraic approach to Probabilistic Dynamic Epistemic Logic<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/td>\nSocial dinner 19:30 (Hotel re Ferdinando)<\/td>\n<\/td>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Below a detailed\u00a0programme of the TACL conference split in 3+3 days. \u00a0A full view of the programme can be also found here. \u00a0A pdf file of the whole programme is available at the following link:\u00a0TACL Complete Programme. Programme of the first three days (for the other ones scroll down) Sunday, 21 Monday, 22 Tuesday, 23 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10,9],"tags":[],"class_list":["post-358","post","type-post","status-publish","format-standard","hentry","category-programme","category-tacl-conference"],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/358","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/comments?post=358"}],"version-history":[{"count":20,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/358\/revisions"}],"predecessor-version":[{"id":407,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/358\/revisions\/407"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/media?parent=358"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/categories?post=358"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/tags?post=358"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}