Invited Speakers

  • Amir Pnueli
  • Samson Abramsky
  • Kurt Mehlhorn