Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
ATVA China 2006
| October 23-26, 2006 Beijing, China | organised and funded by ARTIST |
Programme & Slides
- Tutorial 1: Mihalis Yannakakis Columbia University
Testing, Optimization, and Games
- Tutorial 2: Jin Yang, Intel Corporation
Introduction to Generalized Symbolic Trajectory Evaluation
- Tutorial 3: Thomas Ball, Microsoft Research
Secrets of SLAM
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009