Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

21 December 2010, Workshop on Kleene Coalgebra, Mohrmannkamer , Comeniuslaan 2, University of Nijmegen

Speaker: Dexter Kozen, Luis Barbosa, Alexandra Silva
Date: 21 December 2010
Time: 13:30-16:30
Location: Mohrmannkamer , Comeniuslaan 2, University of Nijmegen

On the occasion of the PhD defense of Alexandra Silva, we are organizing a workshop around the theme "Kleene Coalgebra", which is the subject of Alexandra's thesis.

The programme will consist of talks by Dexter Kozen (Cornell), Luis Barbosa (Minho) and Alexandra Silva (CWI).

For more details, on the programme and location, check the workshop's webpage at http://homepages.cwi.nl/~ams/kc/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.