ELSNET-list archive

Category:   E-Conf
Subject:   ATVA 2008: Call for Participation
Email:   farn_(on)_cc.ee.ntu.edu.tw
Date received:   12 Sep 2008
Deadline:   15 Sep 2008
Start date:   20 Oct 2008

We apologize if you have received multiple copies of the announcement. ********************************************************************** CALL FOR PARTICIPATION ********************************************************************* ATVA 2008 Sixth International Symposium on Automated Technology for Verification and Analysis http://pswlab.kaist.ac.kr/atva2008 Hana Square, Korea University Seoul, South Korea, October 20-23, 2008 ********************************************************************* EARLY REGISTRATION DEADLINE: September 15th, 2008 Sponsored by The Korean Institute of Information Scientists and Engineers (SIGPL and Software Engineering Society) BK21 program at Korea University Department of Computer Science, KAIST INTRODUCTION ============ ATVA 2008 is the sixth in the series of symposia on Automated Technology for Verification and Analysis. The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. ATVA 2008 offers a good opportunity to stay current on the state-of-the-art research results on the automated technologies for verification and analysis, and enjoy unique cultural experience in Korea. LOCAL INFORMATION ================= Conference will be held at Hana Square at Korea University in Seoul. Conference site is easily accessible via subway. We have negotiated special rate with three hotels in Seoul for special rates. Please book early to secure reduced rate. For details, please check the conference homepage. A half-day excursion to an old palace and national folklore museum is also planned. TECHNICAL PROGRAM ================= The technical program is available at the conference web page, which includes 7 sessions (21 regular papers, 7 tool papers, and 5 short papers) and a parallel tool demonstration session. In addition, a couple of local keynote talks by technical leaders at companies such as Samsung Electronics and LG Electronics are being arranged. KEYNOTE SPEAKERS ================ Application track: David L. Dill (Stanford) "Formal Verification and Biology" Software track: Sriram K. Rajamani (Microsoft India) "Tests, Proofs and Refinements" Theory track: Natarajan Shankar (SRI) "Trust and Automation in Verification Tools" TUTORIALS ON OCTOBER 20 ======================= Three 2-hour tutorials are given by each of the keynote speakers: - "Boolean Modeling of Cell Biology" by David L. Dill (Stanford) - "Checking Object Invariants by Combining Static and Dynamic Analysis" by Sriram K. Rajamani (Microsoft India) - "Logic in Specification and Verification" by Natarajan Shankar (SRI) _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 13-09-2008 by Steven Krauwer Disclaimer / Contact ELSNET