posted by user: ratschan || 4606 views || tracked by 5 users: [display]

ATVA 2010 : 8th International Symposium on Automated Technology for Verification and Analysis

FacebookTwitterLinkedInGoogle


Conference Series : Automated Technology for Verification and Analysis
 
Link: http://atva10.comp.nus.edu.sg/
 
When Sep 21, 2010 - Sep 24, 2010
Where Singapore
Submission Deadline Apr 12, 2010
Notification Due May 31, 2010
 

Call For Papers

CALL FOR PAPERS
===============

8th International Symposium on Automated Technology
for Verification and Analysis (ATVA 2010)
21 - 24 September 2010, SINGAPORE

http://atva10.comp.nus.edu.sg/

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.
The previous six events were held in Taiwan (2003-5), Beijing (2006),
Tokyo (2007), Seoul (2008) and Macao (2009). The proceedings of ATVA
2010 will be published by Springer as a volume in the LNCS series.

SCOPE
-----
The scope of interest is intentionally kept broad; it includes:

Theories useful for providing designers with automated support for
obtaining correct software or hardware systems, including both
functional and non functional aspects, such as: theory of (timed and
hybrid) automata, process calculi, Petri-nets, concurrency theory,
compositionality, model-checking, automated theorem proving,
synthesis, performance analysis, correctness-by-construction, infinite
state systems, abstract interpretation, decidability results,
parametric analysis or synthesis.

Applications of theory in engineering methods and other particular
domains and handling of practical problems occurring in tools, such as
analysis and verification tools, synthesis tools, model transformation
tools. Techniques of reducing complexity of verification by
abstraction, improved representations. Methods and tools in handling
user level notations, such as UML. Practice in industrial 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. We are interested both
in algorithms and in methods and tools for integrating formal
approaches into industrial practice.

SUBMISSION
----------
Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere. All submissions
will be judged on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the conference.
ATVA 2010 calls for two types of contributions: RESEARCH PAPERS and
TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in
the proceedings and have oral presentations at the conference. Papers
should be written in English in LNCS format.

Research papers: Research papers should contain original research, and
sufficient detail to assess the merits and relevance of the
contribution. Submissions reporting on industrial case studies are
welcome, and should describe both strengths and weaknesses in
sufficient depth. Research papers should be no more than 15 pages.

Tool demonstration papers: Tool demonstration papers present tools
based on aforementioned theories or fall into the above application
areas. Tool demonstration papers allow researchers to stress the
technical and practical side, illustrating how one can apply the
theoretic contributions in practice. Tool demonstration papers should
be no more than 6 pages.

Further information and instruction about submission can be found at
the conference website http://atva10.comp.nus.edu.sg.

IMPORTANT DATES
---------------
Abstraction submission: April 5, 2010
Paper submission: April 12, 2010
Notification of acceptance: May 31, 2010
Final copy for proceedings: June 18, 2010

-------------------------------------------------------
Conference Organizers
-------------------------------------------------------
General Chair
Jin Song Dong, National University of Singapore

Program Chairs
Ahmed Bouajjani, University of Paris
Wei-Ngan Chin, National University of Singapore

Steering Committee
Allen Emerson, Univ of Texas, US
Teruo Higashino, Osaka Univ, JP
Oscar H. Ibarra, Univ of California-S.Barbara, US
Insup Lee, Univ of Pennsylvania, US
Doron A. Peled, Bar Ilan Univ, IL
Farn Wang, National Taiwan Univ, TW
Hsu-Chun Yen, National Taiwan Univ, TW

Program Committee
Jonathan Billington, Univ of South Australia, AU
Florin Craciun, Soter Sys, RO
E Allen Emerson, Univ of Texas, US
Jaco Geldenhuys, Univ of Stellenbosch, ZA
Patrice Godefroid, Microsoft, US
Franjo Ivancic, NEC Labs, US
Laurent Fribourg, ENS de Cachan, FR
Masahiro Fujita, Univ of Tokyo, JP
Susanne Graf, Verimag Laboratary, FR
Teruo Higashino, Osaka Univ, JP
Naoki Kobayashi, Tohoku Univ, JP
Orna Kupferman, Hebrew Univ, IL
Marta Kwiatkowska, Univ of Oxford, UK
Insup Lee, Univ of Pennsylvania, US
Xuandong Li, Nanjing Univ, CN
Brendan Mahony, DSTO, AU
Andrew Martin, Univ of Oxford, UK
Ken McMillan, Cadence, US
Kedar Namjoshi, Bell Labs, US
Hua Phung Nguyen, HCM City Univ of Tech, VN
Richard Paige, Univ of York, UK
Madhu Parthasarathy, Univ of Illinois, US
Doron Peled, Bar Ilan Univ, IL
Zongyan Qiu, Peking Univ, CN
Hiroyuki Seki, Nara Inst of Science and Tech, JP
Prasad Sistla, Univ of Illinois, US
Natarajan Shankar, SRI, US
Jun Sun, National Univ of Singapore, SG
Mandana Vaziri, IBM, US
Helmut Veith, Tech Univ of Darmstadt, DE
Farn Wang, National Taiwan Univ, TW
Hai Wang, Aston Univ, UK
Ji Wang, National Univ of Defense Technology, CN
Hsu-Chun Yen, National Taiwan Univ, TW
Wang Yi, Uppsala Univ, SE
Sergio Yovine, CNRS, FR
Wenhui Zhang, Chinese Academy of Science, CN


Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
CAV 2024   36th International Conference on Computer Aided Verification
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
IDEAL 2024   Intelligent Data Engineering and Automated Learning