GitHub - nsv2020/nsv2020.github.io: Numerical Software Verification Workshop 2020

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
Contract_Book_Contributor_Consent_to_Publish_LNCS_SIP.pdf		Contract_Book_Contributor_Consent_to_Publish_LNCS_SIP.pdf
Shanbhag-NSV-2020-Keynote.pdf		Shanbhag-NSV-2020-Keynote.pdf
index.html		index.html
nsv.css		nsv.css
nsv20-cfp.txt		nsv20-cfp.txt
nsv2020_arechiga.pdf		nsv2020_arechiga.pdf
nsv2020_garcia.pdf		nsv2020_garcia.pdf
nsv2020_slides_bitblasting.pdf		nsv2020_slides_bitblasting.pdf
nsv2020_slides_herbie_fpbench.pdf		nsv2020_slides_herbie_fpbench.pdf
nsv2020_slides_hpc.pdf		nsv2020_slides_hpc.pdf
nsv2020_slides_zonotopes.pdf		nsv2020_slides_zonotopes.pdf
skyline.jpg		skyline.jpg