International Workshop on Topological Methods in Logic II

June 8—10, 2010

Tbilisi, Georgia

SCHEDULE

June 8
09^50 – 10^00	O p e n i n g
10^00 – 10^45	Silvio Ghilardi	– Does continuity matter to modal logicians?
10^50 – 11^35	Tadeusz Litak	– Non-canonicity: two stories
	L u n c h b r e a k
13^45 – 14^30	Lev Beklemishev	– Topological completeness of polymodal provability logic GLP
14^35 – 15^20	Nick Bezhanishvili	– Sahlqvist theorem for modal fixpoint logics
	C o f f e e b r e a k
15^40 – 16^25	Dimiter Vakarelov	– Dynamic mereotopology: a point-free theory of changing regions. Topological representations
16^30 – 17^15	Tinko Tinchev	– Logics of space with contact and connectedness predicates: complete axiomatizations of the universal fragments
	C o f f e e b r e a k
17^35 – 18^10	D i s c u s s i o n
20^00 – 23^00	R e c e p t i o n
June 9
10^00 – 10^45	Vincenzo Marra	– Stone duality above dimension zero: a survey of old and new results
10^50 – 11^35	Georgi Dimov	– Some generalizations of Stone duality theorem
	L u n c h b r e a k
13^45 – 14^30	Mai Gehrke	– Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part I
14^35 – 15^20	Jean-Éric Pin	– Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part II
	C o f f e e b r e a k
15^40 – 16^25	Luca Spada	– The prime spectrum of MV-algebras
16^30 – 17^15	Ramon Jansana	– A topological duality for Hilbert algebras
	C o f f e e b r e a k
17^35 – 18^20	Marcel Erné	– Camp models for Moore spaces and duality for Stone bases
18^25 – 19^00	D i s c u s s i o n
June 10
10^00 – 10^45	Fred Dashiell	– Subordinated Boolean algebras and pointfree covers
10^50 – 11^35	Dirk Hofmann	– Duality for completely distributive spaces
	L u n c h b r e a k
13^45 – 14^30	Clemens Kupke	– Coalgebras over Stone spaces and canonical models
14^35 – 15^20	Alexander Kurz	– Coalgebraic logic over posets
	C o f f e e b r e a k
15^40 – 16^25	Yde Venema	– Geometric coalgebraic logic & a generalization of the Vietoris construction
16^30 – 17^15	Alessandra Palmigiano	– Groupoid quantales beyond the étale setting
	C o f f e e b r e a k
17^35 – 18^20	Sam Staton	– Semilattices and the semantics of non-determinism and partiality
18^25 – 19^00	D i s c u s s i o n
20^00 – 23^00	C o n f e r e n c e d i n n e r