Mailing List Created

posted Oct 25, 2011, 8:48 AM by Jean-Christophe Filliâtre   [ updated Oct 25, 2011, 9:01 AM ]
We created a mailing list for the Competition: vstte-2012-verification-competition@googlegroups.com

You can register either by visiting
or by sending an email to
(A Google account is not required.)

This mailing list is intended for announcements and discussions related to the competition.
Every announcement we make prior to or during the competition will be posted on this page as well.
Comments