Slides from
LGL seminar, Bordeaux 2007
Slides from
Dagstuhl meeting 2007
Slides from FSTTCS'05
Slides from LICS'04
Notes from EEF Summer
School'01
Slides and Notes from CLS'97
tutorial
Notes on the Propositional Mu-Calculus: Completeness and
Related Results
Aarhus University, BRICS Notes PDF
Igor Walukiewicz
Last modified: Tue Oct 5 09:30:58 CEST 2004