| ATVA 2003 |
|
|
|
1st Int'l Workshop on
Automated
Technology for
Verification and
Analysis
Dept. of Electrical Engineering, National Taiwan University
Wednesday-Saturday 10-13 December 2003
| Call for Papers |
| Venue |
| Organizers |
| Theme |
| Program |
| Accepted Papers |
| Registration |
| Accommodation |
| Maps |
| Transportations |
| Miscellaneous |
| Home |
AIM
To promote research
in East Asia area in the field of automated verification and analysis technologies.
The emphasis of ATVA will on various mechanical and informative techniques,
which can give engineers valuable feedbacks to fast converge their designs
according to the specifications. With more and more IC design houses moving
from Silicon Valley to Taiwan, we believe this is a good time to start
cultivating related research activities in this region of the world.
NEWS
TRANSPORTATION & MAPS AVAILABLE
PROGRAM IS NOW READY!
ACCOMODATION! PLEASE MAKE RESERVATION!
REGISTRATION MATERIALS IS READY!
KEYNOTE SPEAKER LINKS