**(Wednesday) July 2, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Alessandra Palmigiano*Title:*Topological groupoid quantales and their representation theorems**June 18, 2008**

no A|C seminar**June 25, 2008**

no A|C seminar**June 11, 2008***Coordinates:*15.00-17.00, P018*Speaker:*Bas Spitters*Title:*Modal logics for probability and possibility via pointfree topology**June 4, 2008**

no A|C seminar**May 28, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Tomoyuki Suzuki*Title:*Canonicity of Substructural logics**May 21, 2008**

no A|C seminar**May 14, 2008***Coordinates:*15.30-17.30, P114*Speaker:*Clemens Kupke*Title:*Complete sets of co-operations**May 7, 2008***Coordinates:*15.00-17.00, P114 (to be confirmed)*Speaker:*Guram Bezhanishvili*Title:*Priestley order-compactifications and a generalization of Dwinger's theorem**April 30, 2008**

no A|C seminar due to Queen's Day**April 23, 2008***Coordinates:*15.00-17.00, P114 (to be confirmed)*Speaker:*Guram Bezhanishvili*Title:*Bitopologcial duality for distributive lattices and Heyting algebras**April 16, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Loes Olde Loohuis*Title:*Automata and fixpoint calculi on complete lattice expansions (2).**April 9, 2008***Coordinates:*15.00-17.00, P015B*Speaker:*Loes Olde Loohuis*Title:*Automata and fixpoint calculi on complete lattice expansions.**April 2, 2008**

no A|C seminar**March 26, 2008**

no A|C seminar because of the Workshop on Modal Fixpoint Logic.**March 19, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Gaelle Fontaine*Title:*The continuous fragment of the mu-calculus**March 5, 2008***Coordinates:*15.00-17.00, P318*Speaker:*Jacob Vosmaer*Title:*Topological Algebras**March 12, 2008**

no A|C seminar because of the Coalgebra Day in Nijmegen on March 11.**February 27, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Alexander Kurz*Title:*Functors on Varieties as Modal Logics**February 20, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Mehrnoosh Sadrzadeh*Title:*Modal algebras go Dutch**February 14 (Thursday), 2008***Coordinates:*15.00-17.00, P114*Speaker:*Raul Leal*Title:*Predicate liftings vs Nabla modalities**December 19 (Wednesday), 2007***Coordinates:*15.00-17.00, P114*Speaker:*Valentin Goranko*Title:*Symbolic model checking of tense and hybrid logics on rational Kripke models

(joint work with Wilmari Bekker)**December 13, 2007***Coordinates:*15.00-17.00, P114*Speaker:*Yde Venema*Title:*Eliminating conjunctions from systems of equations**December 6, 2007***Coordinates:*15.00-17.00, P017*Speaker:*Martin Otto*Title:*Bisimulation Invariance over Special Classes of Frames**November 29, 2007***Coordinates:*14.00-16.00, P114*Speaker:*H. Peter Gumm*Title:*Anatomies of Set-Functors*Abstract:*We survey results on Set functors, discuss examples and particular classes of functors, and determine conditions guaranteeing interesting preservation properties relevant in coalgebra. In particular, we discuss distributivity properties and properties which allow functors to be interpreted as data containers.**November 22, 2007***Speaker:*Dick de Jongh*Topic:*Unifiability in extensions of K4*Coordinates:*14.00-16.00, P114**November 15, 2007***Speaker:*Alessandra Palmigiano*Topic:*Vietoris via relation lifting*Coordinates:*15.00-17.00, P114**November 8, 2007**no A|C seminar because of A Day of Mathematical Logic.**November 1, 2007***Speaker:*Dirk Pattinson*Topic:*Algebraic Semantics and Finite Models for Coalgebraic Logics*Coordinates:*15.00-17.00, P114**October 25, 2007***Speaker:*Jacob Vosmaer*Topic:*MacNeille Completion and Profinite Completions of Modal Algebras*Coordinates:*15.00-17.00, P114**October 18, 2007***no seminar***October 11, 2007***Speaker:*Yde Venema and Gaelle Fontaine*Topic:*An afternoon with Vietoris:- Yde Venema: The Vietoris construction in topology and modal logic
- Gaelle Fontaine: Vietoris bisimulations between descriptive models

*Coordinates:*14.30-17.00, P114.**October 4, 2007***Speaker:*Mai Gehrke*Topic:*Automata and duality*Coordinates:*15.00-17.00, P114