International Workshop on Topological Methods in Logic III

July 23—27, 2012

Tbilisi, Georgia

SCHEDULE

Monday, 23 July

Tutorials

10^00 – 10^45	Dion Coumans	Duality theory in modal logic. Part 1
10^45 – 11^00	Break
11^00 – 11^45	Dion Coumans	Duality theory in modal logic. Part 2
11^45 – 14^00	Lunch break
14^00 – 14^45	Joel Lucero-Bryan	A brief introduction to topological semantics for modal logic. Part 1
14^45 – 15^00	Break
15^00 – 15^45	Joel Lucero-Bryan	A brief introduction to topological semantics for modal logic. Part 2
15^45 – 16^15	Coffee break
16^15 – 17^00	Yde Venema	Modal logic and the Vietoris functor. Part 1
17^00 – 17^15	Break
17^15 – 18^00	Yde Venema	Modal logic and the Vietoris functor. Part 2
20^00 – 24^00	Reception

Tuesday, 24 July

Topology in Logic Session

10^00 – 11^00	Joel Lucero-Bryan	Some modal logics arising from subspaces of the real line
11^00 – 12^00	Valentin Shehtman	Derivational modal logics with the difference modality
12^00 – 14^00	Lunch break
14^00 – 15^00	Ilya Shapirovsky	Modal logics of Hamming spaces and products of Kripke frames
15^00 – 16^00	Andrey Kudinov	On modal logic of product of neighborhood frames
16^00 – 16^30	Coffee break
16^30 – 17^30	Phillipe Balbiani	Iterated Cantor-Bendixson derivative operators: completeness and definability of a modal logic
17^30 – 18^00	Discussion

Wednesday, 25 July

Session dedicated to Dito Pataraia

10^00 – 11^00	Recollections of Dito Pataraia and his work
11^00 – 12^00	Levan Uridia	Pataraia's fixpoint theorem
12^00 – 14^00	Lunch break
14^00 – 15^00	Peter Johnstone	Hochas and minimal toposes
15^00 – 16^00	Tadeusz Litak	Guarded (co-)recursion, intuitionistic modal logics and scattered toposes
16^00 – 16^30	Coffee break
16^30 – 17^30	Dion Coumans	Canonical extension in first-order logic and Makkai's topos of types
17^30 – 18^00	Discussion

Thursday, 26 July

Categories and Algebra in Logic Session

10^00– 11^00	Marek Zawadowski	Categories of equational theories
11^00– 12^00	Silvio Ghilardi	Revisiting amalgamation and strong amalgamation
12^00 – 13^30	Lunch break
13^30 – 14^30	Revaz Grigolia	On finitely generated free and projective monadic Gödel algebras
14^30 – 15^00	Pridon Alshibaia	On finitely valued bimodal symmetric Gödel logics
15^00 – 15^30	Ramaz Liparteliani	Unification in finite MV-algebras with constants
15^30 – 16^00	Coffee break
16^00 – 17^00	Yde Venema	Modal and coalgebraic Lindstroem theorems
17^00 – 17^30	Sumit Sourabh	Order theoretic correspondence for intuitionistic mu-calculus
17^30 – 18^00	Discussion
19^00 – 24^00	Tour of Tbilisi and Dinner

Friday, 27 July

10^00 – 22^00

Excursion and Banquet