International Workshop on Topological Methods in Logic V

June 13—17, 2016

Tbilisi, Georgia

SCHEDULE

Monday, 13 June - Tutorials
09^45 – 10^00	Opening
10^00 – 10^50	Alexandru Baltag	Surprise! (Or How to Avoid Unexpected Exams)
10^55 – 11^45	Alexandru Baltag	Surprise! (Or How to Avoid Unexpected Exams)
12^00 – 14^00	Lunch break
14^00 – 14^50	Vincenzo Marra	From classical to many-valued logic: first steps
14^55 – 15^45	Vincenzo Marra	From classical to many-valued logic: first steps
15^45 – 16^15	Coffee break
16^15 – 17^05	Tadeusz Litak	Dialogues, Proofs and Programs
17^10 – 18^00	Tadeusz Litak	Dialogues, Proofs and Programs
18^05 – ∞	Reception
Tuesday, 14 June
10^00 – 10^50	Alexandru Baltag	Belief, Knowledge and the Topology of Evidence
10^55 – 11^45	Levan Uridia	Group Belief in Structured Coalitions
11^50 – 14^00	Lunch break
14^00 – 14^50	Clemens Kupke	Games for clopen fixpoints and the mu-calculus
14^55 – 15^45	Valentin Shehtman	Bisimulation games and formula depth
15^45 – 16^15	Coffee break
16^15 – 17^05	Ilya Shapirovsky	Local tabularity via filtrations
17^10 – 18^00	Sebastian Enqvist	Instantial neighborhood semantics with an application to game logic
18^05 – 18^55	Andrey Kudinov	Topologies on pseudoinfinite paths
Wednesday, 15 June
10^00 – 10^50	Joel Lucero-Bryan	Localic Krull Dimension
10^55 – 11^45	Vincenzo Marra	New research directions in the geometry of Intuitionistic Logic
11^50 – 14^00	Lunch break
14^00 – 14^50	Mamuka Jibladze	Spectra of compact regular frames
14^55 – 15^45	Tomáš Jakl	A Vietoris functor for d-frames
15^45 – 16^15	Coffee break
16^15 – 17^05	Tomáš Kroupa	The Riesz representation theorem for valuations on distributive lattices
17^10 – 18^00	Luca Reggio	Toward a general Stone-Gelfand duality
Thursday, 16 June
09^00 – 09^50	Alex Citkin	Admissibility in multiple-conclusion logics with the disjunction property
09^55 – 10^25	Frederik Lauridsen	Some observations regarding hypersequent calculi for Intermediate Logics
10^25 – 10^40	Coffee break
10^40 – 11^10	Almudena Colacito	Generalized Heyting Algebras with a Unary Operator
11^15 – 12^05	Karin Cvetko-Vah	On Skew Heyting Algebras
12^10 – 14^00	Lunch break
14^00 – 14^50	Tamar Lando	Topology and Measure in Logics for Point-Free Space
14^55 – 15^25	Thomas Santoli	Logics for compact Hausdorff spaces via de Vries duality
15^25 – 15^40	Coffee break
15^40 – 16^30	Matthias Baaz	Extending Gödel logic by an operator adding a constant
16^30 – 17^00	Soroush Rafiee	Equivalence between Hilbert lattices and quantum dynamic algebras
17^15 – ∞	Tour of Tbilisi and Banquet
Friday, 17 June
10^00 – 10^50	Tadeusz Litak	Complete Additivity and Modal Incompleteness
10^55 – 11^45	Silvio Ghilardi	Monadic second order logic as the model companion of temporal logic
11^50 – 14^00	Lunch break
14^00 – 14^50	Sam van Gool	Studying profinite monoids via logic
14^55 – 15^45	Benno van den Berg	Path categories
15^45 – 16^15	Coffee break
16^15 – 17^05	Revaz Grigolia	On the theory of perfect monadic MV-algebras
17^10 – 18^00	Luca Spada	A topological duality for lattices with residuated operations