Invited Speakers

• Dexter Kozen
  
• Thierry Coquand
  
• Wolfgang Thomas
  
• Lance Fortnow
  
• Prabhakar Raghavan