Invited Speakers

Invited Speakers

There will be four invited speakers:

  • Koen Claessen, Chalmers University of Technology, Sweden
  • Byron Cook, Microsoft Research Cambridge, and Queen Mary, University of London, United Kingdom.
  • Xavier Leroy, INRIA Paris-Rocquencourt, France
  • Aarne Ranta, University of Gothenburg, Sweden

Comments are closed.