Friday, September 19, 2008

Automated Verification Technology Conferences

Announcements for these two events arrived almost simultaneously the other day, and maybe that's significant? Two events focused on automated technology for verification of software systems.

The ATVA 2008 Conference is set for Seoul, Korea, 20-23 October 2008, and aims to promote research and dvelopment on theoretical and practical applications of automated analysis methods...with an emphasis on applications in East Asia.

The AVOCS'08 Workshop is set for 30 September to 01 October 2008, Glasgow, Scotland, and also focuses on trying to find out how to get automated analysis and verification systems into practical use, with an emphasis on applications in the European theatre.

Both worth checking out.

No comments: