The DisCoVeri Group ( is a recently-formed
research group for Distributed Computing, Concurrency and Verification.
It is housed in the Department of Computer Science and Engineering at
York University in Toronto, Canada.

We are inviting applications for graduate students at the M.Sc. and
Ph.D. levels.  The formal application deadline for studies commencing
in September 2011 has just passed, but we will continue to accept
applications for the next couple of weeks.

Please visit the group's website for more information about the group
and the application process.

Franck van Breugel and Eric Ruppert

This message was sent using IMP, the Internet Messaging Program.