Invited Keynote Speakers
Andrei Voronkov
(University of Manchester, UK)
John Harrison
(Intel Corporation, USA)
Wei Li
(BeiJing University, China)
