GaRID Home Page
http://garid.org/Verification-of-Workshop