http://f1tenth.org/
CALL FOR PAPERS
colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)
July 17-18, 2016 | Toronto, Ontario, Canada | http://nsv2016.pages.ist.ac.at/ Important Dates