This page has moved to
http://homepages.inf.ed.ac.uk/jkfilipe/atse-club.html