[TYPES/announce] CALL FOR PAPERS - ATVA 2006 (Deadline Extended)
Susanne Graf
Susanne.Graf at imag.fr
Mon May 15 04:53:35 EDT 2006
CALL FOR PAPERS - ATVA 2006 (*Deadline Extended*)
===================================================
ATVA 2006
Fourth International Symposium on
Automated Technology for Verification and Analysis
Beijing, China, 23-26 October 2006
http://lcs.ios.ac.cn/~atva06/
http://www-verimag.imag.fr/EVENTS/2006/ATVA/
===================================================
KEYNOTE SPEAKERS:
Thomas Ball (Microsoft Research)
Jin Yang (Intel Corporation)
Mihalis Yannakakis (Columbia University)
INVITED TUTORIALS:
Three tutorials on software verification,
hardware verification and the theory of verification
will be given by the three keynote speakers
T. Ball, J. Yang and M. Yannakakis, respectively.
IMPORTANT DATES:
27 May 2006, submission deadline for abstracts (NEW DATE)
3 June 2006, submission deadline for papers (NEW DATE)
10 July 2006, acceptance notification
1 August 2006, camera-ready copy
23 October - 26 October 2006, ATVA 2006
PAPER SUBMISSION:
Submission are limited to 15 pages with maximally 5000 words. Submissions
must be written in English. Adherence to Springer Format in submission is
preferred. Web-based submission is now available now at
http://sttt.cs.uni-dortmund.de/atva06/servlet/Conference
REGISTRATION:
Preliminary information on registration fees is available on the
symposium web-page.
PUBLICATION:
Following ATVA 2004 (LNCS 3299) and ATVA 2005 (LNCS 3707), the
formal proceedings is to be published as a volume of LNCS, Springer-Verlag.
Extended versions of selected papers on theoretical foundation and
technology-transfer from the conference series will be solicited for
publication in special issues of the International Journal of Foundations
of Computer Science (IJFCS) (http://www.cs.ucsb.edu/~ijfcs) and of
the International Journal on Software Tools for Technology Transfer (STTT)
(http://sttt.cs.uni-dortmund.de).
FOCUS:
ATVA 2006 is the fourth 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. Submissions reporting original contributions are solicited in all
areas of automated verification and analysis.
SCOPE:
The scope of interest is intentionally kept broad; it includes:
(1) theory useful for providing designers with automated support
for obtaining correct software or hardware systems, including
both functional and non functional aspects, such as: theory
on (timed) automata, Petri-nets, concurrency theory, compositionality,
model-checking, automated theorem proving, synthesis,
performance analysis, correctness-by-construction results,
infinite state systems, abstract interpretation, decidability results,
parametric analysis or synthesis.
(2) applications of theory in engineering methods and particular
domains and handling of practical problems occurring in tools,
such as: analysis and verification tools, synthesis tools,
reducing complexity of verification by abstraction, improved
representations, handling user level notations (such as UML), practice
in industry applications to hardware, software or real-time and embedded
systems. Case studies, illustrating the usefulness of tools or
a particular approach are also welcome.
Theory papers should be motivated by practical problems and applications
should be rooted in sound theory. Of particular interest are algorithms
on one hand and methods and tools for integrating formal approaches into
industrial practice. Special care should be taken as well to present papers
in such a way that they are accessible not only to specialists, that is,
jargon need to be defined and intuitive interpretation provided for theories.
STEERING COMMITTEE:
E.A. Emerson (University of Texas at Austin)
Oscar H. Ibarra (University of California at Santa Barbara)
Insup Lee (University of Pennsylvania)
Doron A. Peled (University of Warwick)
Farn Wang (National Taiwan University)
Hsu-Chun Yen (National Taiwan University)
GENERAL CHAIR:
Huimin Lin (Chinese Academy of Sciences)
PROGRAM CO-CHAIRS:
Susanne Graf (VERIMAG)
Wenhui Zhang (Chinese Academy of Sciences)
LOCAL ARRANGEMENT CHAIR:
Naijun Zhan (Chinese Academy of Sciences)
PROGRAM COMMITTEE:
Rajeev Alur (University of Pennsylvania)
Christel Baier (University of Bonn)
Jonathan Billington (University of South Australia)
Sung-Deok Cha (Korea Advanced Inst. of Sci. and Techn.)
Shing-Chi Cheung (Hong Kong Univ. of Sci. and Techn.)
Ching-Tsun Chou (Intel)
Jin Song Dong (National University of Singapore)
E. Allen Emerson (University of Texas at Austin)
Masahiro Fujita (University of Tokyo)
Susanne Graf (VERIMAG)
Wolfgang Grieskamp (Microsoft research)
Teruo Higashino (Osaka University)
Pei-Hsin Ho (Synopsys)
Oscar H. Ibarra (University of California at Santa Barbara)
Orna Kupferman (Hebrew University)
Robert P. Kurshan (Cadence)
Insup Lee (University of Pennsylvania)
Xuandong Li (Nanjing University)
Shaoying Liu (Hosei University)
Zhiming Liu (IIST/United Nations University)
Mila E. Majster-Cederbaum (University of Mannheim)
Olaf Owe (University of Oslo)
Doron A. Peled (University of Warwick)
Zhong Shao (Yale University)
Xiaoyu Song (Portland State University)
Yih-Kuen Tsay (National Taiwan University)
Irek Ulidowski (Leicester University)
Bow-Yaw Wang (Academia Sinica)
Farn Wang (National Taiwan University)
Ji Wang (National U. of Techn. of China)
Yi Wang (Uppsala University)
Baowen Xu (Southeast University of China)
Hsu-Chun Yen (National Taiwan University)
Tomohiro Yoneda (Tokyo Institute of Technology)
Wenhui Zhang (Chinese Academy of Sciences)
Lenore Zuck (University of Illinois at Chicago)
--
------------------------------------------------------------------------
Susanne Graf | tel : (+33) (0)4 56 52 03 52
VERIMAG | fax : (+33) (0)4 56 52 03 44
2, avenue de Vignate | http://www-verimag.imag.fr/~graf/
F - 38610 Gieres | e-mail: Susanne.Graf at imag.fr
------------------------------------------------------------------------
More information about the Types-announce
mailing list