[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] ATVA 2008: Call for Participation



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)