Invited Speakers

• Manuel Blum
  
• Yuri Gurevich
  
• Glynn Winskel