CALL FOR PARTICIPATION
*********************************************************************
                          ATVA 2007 
                Fifth International Symposium on 
       Automated Technology for Verification and Analysis 
                  National Center of Sciences 
               Tokyo, Japan, October 22-25, 2007 
*********************************************************************
         http://www.yt.cs.titech.ac.jp/atva2007/

Sponsored by
	National Institute of Informatics, Japan
	Kayamori Foundation of Information Science Advancement
	Inoue Foundation for Science 
	Telecommunications Advancement Foundation
In coorperation with 
	Cyber Infrastructure for the Information-explosion Era (MEXT
	Grant-in-Aid for Scientific Research on Priority Areas)

ACCEPTED PAPERS
-------
A list of accepted papers can be found at the conference webpage.

REGISTRATION and HOTEL RESERVATION
-------
On-line registration and hotel reservation are available from the conference
webpage. 

Early registration deadline:    September 1, 2007

*** Note that the tutorial and the following OMEGA workshop are free
*** for the participants of ATVA2007.

LOCAL INFORMATION
-------
A map showing the conference venue, some hotels, and some subway and
train stations is available at the conference webpage.

TUTORIAL and KEYNOTE TALKS
-------
2 hour tutorial (Oct. 22) and keynote talks are given by each of the
following speakers.

  Martin Abadi (UCSC, Microsoft Research):
	Policies and Proofs for Code Auditing
  Ken McMillan (Cadence Berkeley Labs):
	Toward Property-Driven Abstraction for Heap Manipulating Programs
  Moshe Vardi (Rice Univ.):
	Branching vs. Linear Time: Semantical Perspective
===========================================================
WORKSHOP
-------
An ATVA-affiliated workshop OMEGA 2007 will be held on Oct. 26, 2007.
The workshop is for facilitating interactions and will be informal.
Its technical program will consist of invited talks as well as poster
presentations selected from submissions (Workshop abstract submission
is Aug. 10).  Each invited talk will be allotted about 30-60 minutes,
while each poster will be allotted about 10-15 minutes for oral
presentation plus some hours for hallway discussions.  Here is a
latest list of invited speakers.

  E. Allen Emerson  (University of Texas at Austin, USA)
  Bernd Finkbeiner  (Universitaet des Saarlandes, Germany)
  Oded Maler  (CNRS-VERIMAG, France)
  David Nowak  (AIST, Japan)
  Doron A. Peled  (Univ. of Warwick, UK and Bar Ilan Univ., Israel)
  Sophie Pinchinat  (IRISA, France)
  Amir Pnueli  (NYU, USA and Weizmann Institute of Science, Israel)
  Moshe Y. Vardi  (Rice University, USA)
  Bow-Yaw Wang  (Academia Sinica, Taiwan)
  Farn Wang  (National Taiwan University, Taiwan)

The details can be found at the ATVA webpage or
	http://www.im.ntu.edu.tw/~omega2007/