International
Workshop on Topological Methods in Logic III
July 2327,
2012
Tbilisi,
Georgia
SCHEDULE
Monday,
23 July
Tutorials
10^{00}
10^{45} 
Dion
Coumans 

10^{45} 11^{00} 
Break 

11^{00}
11^{45} 
Dion
Coumans 

11^{45} 14^{00} 
Lunch break 

14^{00}
14^{45} 
Joel
LuceroBryan 
A brief introduction to topological semantics
for modal logic. Part 1 
14^{45} 15^{00} 
Break 

15^{00}
15^{45} 
Joel
LuceroBryan 
A brief introduction to topological semantics
for modal logic. Part 2 
15^{45} 16^{15} 
Coffee break 

16^{15}
17^{00} 
Yde
Venema 

17^{00} 17^{15} 
Break 

17^{15}
18^{00} 
Yde
Venema 

20^{00}
24^{00} 
Reception 
Tuesday,
24 July
Topology in Logic Session
10^{00} 11^{00} 
Joel LuceroBryan 

11^{00} 12^{00} 
Valentin Shehtman 

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 

16^{00} 16^{30} 
Coffee break 

16^{30} 17^{30} 
Phillipe Balbiani 
Iterated
CantorBendixson 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} 

11^{00}
12^{00} 
Levan
Uridia 

12^{00} 14^{00} 
Lunch break 

14^{00}
15^{00} 
Peter Johnstone 

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 firstorder 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 

11^{00
} 12^{00} 
Silvio
Ghilardi 

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 

15^{00}
15^{30} 
Ramaz Liparteliani 

15^{30} 16^{00} 
Coffee break 

16^{00}
17^{00} 
Yde
Venema 

17^{00}
17^{30} 
Sumit
Sourabh 
Order theoretic correspondence for intuitionistic
mucalculus 
17^{30}
18^{00} 
Discussion 

19^{00} 24^{00} 
Tour of Tbilisi and
Dinner 
Friday, 27 July
10^{00} 22^{00} 
Excursion and Banquet 