Invited Speakers:

Samson Abramsky , Oxford University, UK
Tony Hoare , Microsoft Research, Cambridge, UK
Peter Lee , Carnegie Mellon University, USA
Xavier Leroy , INRIA and Trusted Logic, France
Catherine Meadows , Naval Research Laboratory, USA
Barbara Ryder , Rutgers University, USA
Michal Young , Oregon University, USA
Information maintained by Slawomir Leszczynski