2nd IEEE International Symposium on Theoretical Aspects of Software Engineering
 June 17 - 19, 2008 Nanjing, China

Invited Speakers



Edmund M. Clarke *

   ( Carnegie Mellon University )    

Joost-Pieter Katoen
   ( RWTH Aachen University )   

Wei Li
   ( Beihang University )   


*: Due to the schedule conflict with the Turing Awards Ceremony,
we regret to announce that Prof. Clarke is unable to serve as our keynote speaker.