York University Redefine the possible.
space Future students Current students Faculty & staff Alumni Visitors York crest
rule
Home
Research
   Overview
   Publications
   Students
   Events
      Current
      Past
Teaching
Contact


Y graphic

Current events

  • QEST '10: 7th International Conference on the Quantitative Evaluation of SysTems, Williamsburg, VA, USA, September 2010. [PC member]
  • SFM-10: School on Formal Methods, Bertinoro, Italy, June 21-26, 2010. [Invited lecturer]
  • QAPL 2010: 8th Workshop on Quantitative Aspects of Programming Languages, Paphos, Cyprus, March 2010. [PC member]
graphic rule