Tests and Proofs

8. TAP 2014: York, UK

7. TAP 2013: Budapest, Hungary

6. TAP 2012: Prague, Czech Republic

5. TAP 2011: Zurich, Switzerland

4. TAP 2010: Málaga, Spain

3. TAP 2009: Zurich, Switzerland

2. TAP 2008: Prato, Italy

1. TAP 2007: Zurich, Switzerland