The Ninth International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI 2008
January 7-9, 2008 San Francisco, USA
About VMCAI
Invited Speakers
Invited Tutorials
Program
Call For Papers
Important Dates
Registration
Committee
Evening Events
Venue
Venue
The conference will be held at the
Stanford Court Hotel, 905 California Street, in San Francisco's Nob Hill district, San Francisco, USA.
Link to the POPL 2008 website for detailed information
View Larger Map