Invited Speakers

• Amir Pnueli
  
• Samson Abramsky
  
• Kurt Mehlhorn