[TYPES/announce] ATVA 2008: Call for Participation
Farn Wang
farn at cc.ee.ntu.edu.tw
Thu Sep 11 21:47:31 EDT 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080911/a5d3785e/attachment-0001.html
More information about the Types-announce
mailing list