**Thursday September 18, 2008***Coordinates:*11.00-13.00, P114*Speaker:*Rob Goldblatt*Title:*Lindenbaum's Lemma as an axiom for infinitary coalgebraic logic.**Wednesday September 24, 2008***Coordinates:*15.00-17.00, P015B*Speaker:*Xavier Caicedo (Bogota)*Title:*Implicit operations in quasivarieties, the case of MV-algebras**Wednesday October 1, 2008***Coordinates:*15.00-17.00, P019*Speaker:*Luca Alberucci and Alessandro Facchini*Title:*The Modal Mu-Calculus over Restricted Classes of Transition Systems**Wednesday October 22, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Yde Venema*Title:*Completeness for Moss' coalgebraic logic (1)**Wednesday October 29, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Yde Venema*Title:*Completeness for Moss' coalgebraic logic (2)**Wednesday November 12, 2008***Coordinates:*15.00-17.00, P114*Speaker:*Christian Kissig (Leicester)*Title:*Morita Duality and Logics for Coalgebras**Wednesday November 19, 2008***Coordinates:*15.00-17.00, P015A*Speaker:*Luigi Santocanale (Marseille)*Title:*Modelling concurrency with distributive lattices: the finite labelling problem for event structures and Thiagarajan's conjecture**Wednesday November 26, 2008***Coordinates:*15.00-17.00, room to be affirmed*Speaker:*Raul Leal*Title:*Counting predicate liftings (or the Yoneda Lemma in Coalgebraic Logic)**Wednesday December 3, 2008***Coordinates:*16.00-18.00, P114*Speaker:*Yde Venema*Title:*Flat modal fixpoint logic: an algebraic completeness proof**Wednesday January 21, 2009***Coordinates:*15.00-17.00, P016*Speaker:*Jacob Vosmaer*Title:*Canonical extension and topological algebra**Wednesday January 21, 2009***Coordinates:*, 15.30-17.30,, P114*Speaker:*Alexandra Silva*Title:*Completeness of Kleene algebras coalgebraically (and beyond)**Monday February 2, 2009***Coordinates:*11.00-13.00, A104 (building A in Roeterseiland Complex)*Speaker:*Vincenzo Ciancia*Title:*Nominal calculi and beyond: finite representation and symmetry reduction in presheaf categories**Friday February 6, 2009***Coordinates:*11.00-13.00, P327*Speaker:*Dana Fisman*Title:*Verification of Component-Based Reactive Systems**Wednesday February 18, 2009***Coordinates:*15.00-17.00, location to be determined*Speaker:*Alessandra Palmigiano*Title:*Canonical extensions for Hilbert and Tarski algebras**Wednesday March 11, 2009***Coordinates:*15.00-17.00, P114*Speaker:*Dion Coumans (Nijmegen)*Title:*Distributive lattice-structured ontologies**Monday March 16, 2009***Coordinates:*15.00-17.00, P114*Speaker:*Willem Conradie (Johannesburg)*Title:*Modal Correspondence and Canonicity via Ackermann's Lemma**Wednesday April 1, 2009***Coordinates:*15.00-17.00, P114*Speaker:*Sam van Gool (UvA)*Title:*Canonical extensions of posets: reconstructing the lost duality