Algebra|Coalgebra Seminar 2008-2009
This page concerns the Algebra|Coalgebra Seminar, which presently runs on
a weekly basis at the
Institute for Logic, Language &
Computation of the Universiteit van Amsterdam.
Its participants are the members of the
Algebra & Coalgebra
project group headed by
Dr Yde Venema, and guests.
- 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