CADE 21 Invited Speakers

CADE 21 will have 4 invited speakers

• Peter Baumgartner NICTA and Australian National University
• Rustan Leino Microsoft Research
• Colin Stirling University of Edinburgh
• Ashish Tiwari SRI International