Plenary Keynote Speakers
- Sergei Artemov, City University of New York
- Anuj Dawar, University of Cambridge Computer Laboratory
- Assia Mahboubi, INRIA
- Ng Keng Meng , Nanyang Technological University
- Rohit Parikh , City University of New York
- Anand Pillay, University of Notre Dame
- Dilip Raghavan, National University of Singapore