[Elsnet-list] ATVA 2008: Call for Participation

Farn Wang farn at cc.ee.ntu.edu.tw
Fri Sep 12 03:47:31 CEST 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




                      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




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


ATVA 2008 offers a good opportunity to stay current on the state-of-the-art

research results on the automated technologies for verification and

and enjoy unique cultural experience in Korea. 




Conference will be held at Hana Square at Korea University in Seoul.

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

to an old palace and national folklore museum is also planned. 




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

tool demonstration session. In addition, a couple of local keynote talks by

technical leaders at companies such as Samsung Electronics and LG

are being arranged.




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"




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)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://stratus.let.uu.nl/pipermail/elsnet-list/attachments/20080912/a5d3785e/attachment-0001.htm

More information about the Elsnet-list mailing list