TACL2017 detailed programme

Monday, June 26
8:00-9:15	registration (Room 111)
9:15-9:30	opening of the conference (Room 131)
9:30-10:30	Invited talk: Mai Gehrke. Stone duality in the theory of formal languages (Room 131, Ch. Venema)
10:30-11:00	Coffee break
Contributed talks
	Jonsson Special Session I Room 131 (Ch. Gehrke)	Room 300 (Ch. Sedlar)	Room 301 (Ch. Stronkowski)
11:00-11:30	John Harding, Carol Walker and Elbert Walker The convolution algebra (slides)	Stanislav Kikot, Agi Kurucz, Frank Wolter and Michael Zakharyaschev Alt_n in a Strictly Positive Context (slides)	Wesley Fussner Twist Products and Dualities (slides)
11:30-12:00	Nick Galatos and Peter Jipsen Generalized bunched implication algebras (slides)	Sławomir Kost Rooted frames for fusions of multimodal logics (slides)	Wiesław Kubiś Weak Fraisse categories and their limits (slides)
12:00-12:30	Nick Galatos and Peter Jipsen Classical and intuitionistic relation algebras (slides)	Andrey Kudinov Neighborhood-Kripke product of modal logics (slides)	Alex Kruckman First-order cologic for profinite structures (slides)
12:30-13:00	Tadeusz Litak Algebraic generalizations of completeness and canonicity (slides)	Zofia Kostrzycka On interpolation in NEXT(KTB) and NEXT(KB) (slides)	Michal Botur and Martin Broušek A new characterization of a class HSP_U(K) (slides)
13:00-15:00	Lunch Break
15:00-16:00	Invited talk: Bart Jacobs, Introduction to Effectus Theory (Room 131, Ch. Jipsen)
16:00-16:30	Coffee break
Contributed talks
	Jonsson Special Session II Room 131 (Ch. Jipsen)	Room 300 (Ch. Majer)	Room 301 (Ch. Kubis)
16:30-17:00	Patrick Morandi, Guram Bezhanishvili and Bruce Olberding Canonical extensions of archimedean vector lattices with strong order unit (slides)	Michele Pra Baldi and Stefano Bonzio Undefinability of Standard Sequent Calculi for 3-valued Paraconsistent Logics (slides)	Ramon Antoine, Francesc Perera and Hannes Thiel The Cuntz semigroup and the category Cu (slides)
17:00-17:30	Tommaso Moraschini and Ramon Jansana Unifying the Leibniz and Maltsev hierarchies (slides)	Igor Sedlár Bimodal bilattice logic (slides)	Ramon Antoine, Francesc Perera and Hannes Thiel Tensor products of Cuntz semigroups (slides)
17:30-18:00	Kentaro Yamamoto and Zhiguang Zhao Algorithmic Correspondence, Canonicity and Completeness for Possibility Semantics (slides)	Stefano Bonzio, Andrea Loi and Luisa Peruzzi A duality for involutive bisemilattices (slides)	Ramon Antoine, Francesc Perera and Hannes Thiel Completeness and cocompleteness of the category of Cuntz semigroups (slides)
18:00-18:30	Denis I. Saveliev and Nikolai L. Poliakov On two concepts of ultrafilter extensions of first-order models and their generalizations (slides)	Minghui Ma and Yuanlei Lin A Constructive Four-Valued Logic (slides)	Insa Cremer Reduced Rickart rings and skew nearlattices (slides)
Social Programme
19:30-...	Welcome party at Pavilon Grebovka

Tuesday, June 27
9:15-9:30	Hájek Kurt Gödel Society Award Ceremony (Room 131)
9:30-10:30	Invited talk: Luca Spada. Geometric aspects of MV-algebras (Room 131, Ch. Cintula)
10:30-11:00	Coffee break
Contributed talks
	Hájek Special Session Room 131 (Ch. Cintula)	Room 300 (Ch. Terui)	Room 301 (Ch. Dzik)
11:00-11:30	Matthias Baaz and Anela Lolic First-order interpolation from propositional interpolation: a proof theoretic approach on a semantic basis (slides)	Hisashi Aratake Bicategory of Theories as an Approach to Model Theory (slides)	Alex Citkin Projective WS5-Algebras (slides)
11:30-12:00	Guillermo Badia Types and models in core fuzzy predicate logics (slides)	Carla Reis Compact Enriched Categories (slides)	Valentin Shehtman and Dmitry Skvortsov On Kripke completeness of modal and superintuitionistic predicate logics with equality (slides)
12:00-12:30	Tommaso Flaminio, Lluis Godo and Sara Ugolini States of free product algebras and their integral representation (slides)	Takuma Imamura Analogies between small scale topology and large scale topology from the nonstandard perspective (slides)	Tadeusz Litak The periodic sequence property (slides)
12:30-13:00	Tomáš Kroupa and Vincenzo Marra The Free Algebra in a Two-sorted Variety of State Algebras (slides)	Evgeny Kuznetsov Exponentiability in Stone Spaces and Priestley Spaces (slides)
13:00-15:00	Lunch Break
15:00-16:00	Invited talk: Martín Escardó. The frame of Scott continuous nuclei on a preframe (Room 131, Ch. Vickers )
16:00-16:30	Coffee break
Contributed talks
	Room 131 (Ch. Vickers)	Room 300 (Ch. Haniková)	Room 301 (Ch. Restall)
16:30-17:00	Rafal Gruszczyński and Giangiacomo Gerla Two systems of point-free affine geometry (slides)	Almudena Colacito and George Metcalfe An Ordering Condition for Groups (slides)	Tomasz Kowalski A simple restricted Priestley duality for bounded distributive lattices with order-inverting operation (slides)
17:00-17:30	Francisco Avila The Frame of the p-Adic Numbers and a p-Adic Version of the Stone-Weierstrass Theorem in Pointfree Topology (slides)	Gavin St. John Undecidability of {*,1,∨}-equations in subvarieties of commutative residuated lattices (slides)	Jonathan Smith and Anna Romanowska Diagrammatic duality (slides)
17:30-18:00	Samuele Maschio and Giovanni Sambin Topology as faithful communication through relations (slides)	Zhe Lin and Minghui Ma On the Complexity of the Equational Theory of Generalized Residuated Boolean Algebras (slides)	Michael Andrew Moshier and Alexander Kurz Duality for Relations on Ordered Algebras (slides)
18:00-18:30	Tatsuji Kawai Lawson Topology as the Space of Located Subsets (slides)	Michiro Kondo Multiplicative derivations of commutative residuated lattices (slides)	Luca Reggio Quantifiers on languages and codensity monads (slides)
18:30-19:30	SYSMICS meeting

Wednesday, June 28
9:30-10:30	Invited talk: Steve Vickers. Sketches for arithmetic universes as generalized spaces (Room 131, Ch. Escardo)
10:30-11:00	Coffee break
Contributed talks
	Room 131 (Ch. Escardo)	Room 300 (Ch. Raftery)	Room 301 (Ch. Navara)
11:00-11:30	Jorge Picado Sublocales and a Boolean extension of a frame (slides)	Tommaso Moraschini The computational complexity of the Leibniz hierarchy (slides)	Jan Paseka and Radek Šlesinger Q-sup-algebras and their representation (slides)
11:30-12:00	Imanol Mozo Carollo, Andrew Moshier and Joanne Walter-Waylands An approach to subspaces of d-frames and an Isbell-type density theorem (slides)	Peter Arndt, Ramon Jansana Ferrer, Hugo Luiz Mariano and Darllan Pinto Filter pairs: A new way of presenting logics (slides)	Maria Manuel Clementino Exponentiability in quantale-enriched categories (slides)
12:00-12:30	Laurent De Rudder Gelfand duality for compact pospaces (slides)	Tomáš Lávička and Carles Noguera Infinitary propositional logics and subdirect representation (slides)	Isar Stubbe Topology from enrichment: the curious case of partial metrics (slides)
12:30-13:00	Sergio Ardanza-Trevijano, María Jesús Chasco and Jorge Elorza Properties of the annihilator of fuzzy subgroups (slides)	Tomáš Lávička and Adam Přenosil Antistructural completeness in propositional logics (slides)	Anuj Kumar More and Mohua Banerjee Algebras from a Quasitopos of Rough Sets (slides)
13:00-15:00	Lunch Break
15:00-16:00	Invited talk: Greg Restall. A Concrete Category of Classical Proofs (Room 131, Ch. Gabelaia)
16:00-16:30	Coffee break
Contributed talks
	Room 131 (Ch. Gabelaia)	Room 300 (Ch. Revanta)	Room 301 (Ch. Jansana)
16:30-17:00	Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi and Mamuka Jibladze The Variety of Nuclear Implicative Semilattices is Locally Finite (slides)	Zhiguang Zhao ALBA-style Sahlqvist preservation for modal compact Hausdorff spaces (slides)	Tommaso Moraschini, James Raftery and Jamie Wannenburg Varieties of De Morgan Monoids I: Minimality and Irreducible Algebras (slides)
17:00-17:30	Luca Carai and Silvio Ghilardi Existentially Closed Brouwerian Semilattices (slides)	Willem Conradie, Alessandra Palmigiano and Zhiguang Zhao Sahlqvist via Translation (slides)	Tommaso Moraschini, James Raftery and Jamie Wannenburg Varieties of De Morgan Monoids II: Covers of Atoms (slides)
17:30-18:00	Silvio Ghilardi, Maria João Gouveia and Luigi Santocanale Fixed point elimination in the Intuitionistic Propositional Calculus (slides)	Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao Constructive canonicity for lattice-based fixed point logics (slides)	Wojciech Dzik and Piotr Wojtylak Unification in first-order logics: superintuitionistic and modal (slides)
18:00-18:30	Frederik Lauridsen Intermediate logics admitting structural hypersequent calculi (slides)	Giuseppe Greco, Alessandra Palmigiano, Fei Liang and Peter Jipsen Modular proof theory for axiomatic extensions and expansions of lattice logic (slides)	Michał Stronkowski Admissibility for universal classes and multi-conclusion consequence relations (slides)

Thursday, June 29
9:30-10:30	Invited talk: Alexandra Silva, (Co)algebraic foundations of automata learning (Room 131, Ch. Kurz)
10:30-11:00	Coffee break
Contributed talks
	Room 131 (Ch. Kurz)	Room 300 (Ch. Kowalski)	Room 301 (Ch. Bezhanishvili)
11:00-11:30	Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano A proper Multi-type display calculus for Semi De Morgan Logic (slides)	Amanda Vidal Modal logics over finite residuated lattices (slides)	Małgorzata Kruszelnicka Yes/No Formulae as a Description of Theories of Intuitionistic Kripke Models (slides)
11:30-12:00	Giuseppe Greco, M. Andrew Moshier, Alessandra Palmigiano, Apostolos Tzimoulis, Samuel Balco and Alexander Kurz First-order logic properly displayed (slides)	Willem Conradie, Wilmari Morton and Claudette Robinson Filtrations for many-valued modal logic with applications (slides)	Christopher Taylor Expansions of Heyting algebras (slides)
12:00-12:30	Marta Bilkova, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis and Nachoem Wijnberg, The logic of resources and capabilities (slides)	Agata Ciabattoni and Revantha Ramanayake Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic (slides)	Guram Bezhanishvili, Kristina Brantley and Julia Ilin Arithmetic interpretation of the monadic fragment of intuitionistic predicate logic and Casari’s formula (slides)
12:30-13:00	Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis and Caterina Urban A proof-theoretic approach to abstract interpretation (slides)	Laura Janina Schnüriger Axiomatizing a Reflexive Real-valued Modal Logic (slides)	Guillaume Massas Semi-constructive Versions of the Rasiowa-Sikorski Lemma and Possibility Semantics for Intuitionistic Logic (slides)
13:00-15:00	Lunch Break
Social Programme
15:00-16:30	Boat trip in the Vltava river
16:30-18:30	Free time
18:30-...	Banquet at Marina Brewery

Friday, June 30
Contributed talks
	Room 131 (Ch. Stubbe)	Room 300 (Ch. Spada)	Room 301 (Ch. Noguera)
9:30-10:00	Vasileios Aravantinos-Sotiropoulos and Panagis Karazeris Definability and conceptual completeness for regular logic (slides)	Serafina Lapenta, Antonio Di Nola and Ioana Leustean Deepening the link between logic and functional analysis via Riesz MV-algebras (slides)	William Javier Zuluaga Botero and Jose Luis Castiglioni Finite MTL-algebras (slides)
10:00-10:30	Michael Lambert Wild Algebras in Cartesian Categorical Logic (slides)	Revaz Grigolia, Antonio Di Nola and Giacomo Lenzi Topological Spaces of monadic MV-algebras (slides)	Sándor Jenei Structure Theorem for a Class of Group-like Residuated Chains à la Hahn (slides)
10:30-11:00	Coffee break
Contributed talks
	Room 131 (Ch. Moshier)	Room 300 (Ch. Litak)	Room 301 (Ch. Noguera)
11:00-11:30	Fredrik Dahlqvist and Alexander Kurz Positive Coalgebraic Logic (slides)	José David García Many-Valued Arrow Logic with Scalar Product Operations (slides)	Tatyana Ivanova Logics for extended distributive contact lattices (slides)
11:30-12:00	Adriana Balan A multi-valued framework for coalgebraic logics over generalised metric spaces (slides)	Ilya Shapirovsky Locally tabular polymodal logics (slides)	Georges Hansoul and Julien Raskin A Duality for Boolean Contact Algebras (slides)
12:00-12:30	Marta Bilkova, Alexander Kurz and Bruno Teheux Modal extensions of Ln-valued logics, coalgebraically (slides)	Luigi Santocanale and Maria João Gouveia aleph_1, omega_1, and the modal mu-calculus (slides)	Philippe Balbiani and Tatyana Ivanova Extended Contact Logic (slides)
12:30-13:00	Tomáš Jakl A Vietoris functor for bispaces and d-frames (slides)	Luigi Santocanale Theories of relational lattices (slides)	Eunsuk Yang Standard completeness for mianorm-based logics with n-contraction, n-mingle, and n-potency axioms (slides)
13:00-15:00	Lunch Break
15:00-16:00	Invited talk: Alexandru Baltag, Towards a Topological Theory of Knowledge, Inquiry and Correlations (Room 131)
16:00-16:30	Coffee break
Contributed talks
	Room 131 (Ch. Galatos)	Room 300 (Ch. Behounek)	Room 301 (Ch. Bonzio)
16:30-17:00	Sylvia Pulmannová A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra (slides)	Sabine Frittella, Giuseppe Greco, Michele Piazzai, Nachoem Wijnberg and Fan Yang Matthew effects via dependence and independence logic (slides)	Mojgan Mahmoudi and M. Mehdi Ebrahimi Injectivity of (Naturally) Ordered Projection Algebras (slides)
17:00-17:30	Gejza Jenča Effect algebras as colimits of finite Boolean algebras (slides)	Gianluca Grilletti Disjunction and Existence Property in Inquisitive Logic (slides)	M. Mehdi Ebrahimi and Mahdieh Yavari Quasi injectivity of partially ordered acts (slides)
17:30-18:00	Jeannine Gabriëls, Stephen Gagola and Mirko Navara Sasaki projections and related operations (slides)	Giuseppe Greco, Alessandra Palmigiano and Fan Yang Proper multi-type display calculi for classical and intuitionistic inquisitive logic (slides)	Mustafa Demirci On Two Approaches to Concrete Dualities and Their Relationships (slides)
18:00-18:30	Nega Arega and Van Den Berg John Topologizing filters on rings of frictions RS^-1 and congruence relation on FilR (slides)		Meenakshi Wasadikar Some properties of zero divisor graphs of lattices (slides)