We are pleased to announce that each of the keynote speakers will also give a two-hour tutorial.

• Zohar Manna
  "Decision Procedures for Verification " [slides]
  
  
• Wolfgang Thomas
  "Automata Theoretic Foundations of Infinite Games" [slides]

• Amir Pnueli
  "Program Synthesis in Action" [slides1][slides2]