IST Events

PC Member: FoSSaCS 2010, LICS 2010, CSL 2010.
PC Co-Chair: FORMATS 2010, Workshop: Games and Probabilistic Models in Formal Verification 2010.