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) Artist2 Consortium, All Rights Reserved - 2006