PAS 2015
- Fourth International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
Beijing, China, October 21-23, 2015
Invited Speakers
Dianfu Ma
(Beihang University, China)
Gordon Plotkin
(University of Edinburgh, UK)
About
Call for Papers
Important Dates
Invited Speakers
Program
Organization
Participation
Submission
Registration
Accommodation
Link
PAS 2014
PAS 2013
PAS 2012