Competition Starts Now

posted Nov 8, 2011, 7:01 AM by Jean-Christophe Filliâtre
The competition starts now.

A PDF document describing the problems can be downloaded from
https://sites.google.com/site/vstte2012/compet/problems/

Have fun!
--
Jean-Christophe Filliâtre
Andrei Paskevich
Aaron Stump

Comments