(no subject)
John Hatcliff
tacas03@cis.ksu.edu
Sat, 7 Sep 2002 09:57:04 -0500 (CDT)
[%%%% Apologies for multiple copies received %%%%]
CALL FOR PAPERS
Ninth International Conference on
TOOLS AND ALGORITHMS
FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
(TACAS 2003)
7-11 April 2003 Warsaw, Poland
URL: http://www.mimuw.edu.pl/etaps03
A member conference of the
European Joint Conferences on Theory and Practice of Software
(ETAPS 2003)
CONFERENCE DESCRIPTION
TACAS is a forum for researchers, developers and users interested in
rigorously based tools for the construction and analysis of
systems. The conference serves to bridge the gaps between different
communities --- including but not limited to those devoted to formal
methods, software and hardware verification, static analysis,
programming languages, software engineering, real-time systems, and
communications protocols --- that have traditionally had little
interaction but share common interests in, and techniques for, tool
development. In particular, by providing a venue for the discussion of
common problems, heuristics, algorithms, data structures and
methodologies, TACAS aims to support researchers in their quest to
improve the utility, reliability, flexibility and efficiency of tools
for building systems.
Tool descriptions and case studies with a conceptual message and
theoretical papers with a clear link to tool construction are all
encouraged. The specific topics covered by the conference include, but
are not limited to, the following.
Specification and verification techniques
Theorem-proving and model-checking
System construction and transformation techniques
Static and run-time analysis
Compositional and refinement-based methodologies
Testing and test-case generation
Analytical techniques for real-time, hybrid and safety-critical systems
Tool environments and tool architectures
Applications and case studies
As TACAS addresses a heterogeneous audience, potential authors are
strongly encouraged to write about their ideas in general and
jargon-independent, rather than application- and domain-specific,
terms.
Authors reporting on tools or case studies are strongly encouraged
to indicate how their experimental results can be reproduced and
confirmed independently.
TACAS is a member of the European Joint Conference on Theory and
Practice of Software (ETAPS), which is the primary European forum
for academic and industrial researchers working on topics related to
Software Science. After ETAPS 98 in Lisbon, ETAPS 99 in Amsterdam,
ETAPS 2000 in Berlin, ETAPS 2001 in Genova, and ETAPS 2002 in Grenoble,
ETAPS 2003 is the sixth joint conference in this series.
SUBMISSION GUIDELINES
As with other ETAPS conferences, TACAS accepts two types of
contributions:
- Research papers (up to 16 pages) cover one or more of the topics
above, including tool development and case studies from a perspective
of scientific research. Research papers are evaluated by the TACAS Program
Committee under the direction of the Conference Co-chairs.
See http:///www.cis.ksu.edu/tacas03 for details.
- Tool demonstration papers (up to 4 pages) present tools based on
aforementioned technologies (e.g., theorem-proving, model-checking, static
analysis, or other formal methods) or fall into the above application areas
(e.g., system construction and transformation, testing, analysis of real-time
and hybrid systems, etc.). Tool demonstration papers are evaluated by the
TACAS Tool Chair with the help of the Program Committee.
See http://www.inrialpes.fr/vasy/tacas03/tool.html for details.
Both types of contributions will appear in the proceedings and be allocated
thirty-minute slots during the conference.
In brief, submitted papers must
- be in English
- present original research which is unpublished and not submitted elsewhere
- use the Springer-Verlag LNCS style (see
http://www.springer.de/comp/lncs/Authors.html)
- be submitted electronically in Postscript/PDF format
Submissions deviating from these instructions may be rejected without review.
Any question regarding this policy should be directed to the Conference
Co-chairs prior to submission.
IMPORTANT DATES
TACAS is a member conference of ETAPS. ETAPS 2003 conferences and other
satellite events will be held April 5-13, 2003.
As a part of ETAPS, TACAS adheres to ETAPS submission and notification
deadlines.
October 18, 2002 Submission deadline
December 13, 2002 Notification of authors
January 17, 2003 Final versions due
April 7-11, 2003 Conference dates
INVITED SPEAKER
Peter Lee
School of Computer Science
Carnegie Mellon University, USA
PROGRAM COMMITTEE
Rajeev Alur
University of Pennsylvania (USA)
Albert Benveniste
IRISA Rennes (France)
Ahmed Bouajjani
Liafa, Paris 7 (France)
Rance Cleaveland (TACAS SC)
SUNY at Stony Brook (USA)
Werner Damm
Univ. Oldenburg (Germany)
Luca de Alfaro
University of California, Santa Cruz (USA)
Alessandro Fantechi
Univ. of Florence and IEI- CNR Pisa (Italy)
Alain Finkel
LSV Cachan (France)
Hubert Garavel (co-chair)
Inria Rhône-Alpes (France)
Patrice Godefroid
Bell Laboratories, Lucent Technologies (USA)
Susanne Graf
Verimag Grenoble (France)
Jan-Friso Groote
Techn. Univ Eindhoven (The Netherlands)
Orna Grumberg
Technion Haifa (Israel)
John Hatcliff (co-chair)
Kansas State University (USA)
Kurt Jensen (tool chair)
University of Aarhus (Denmark)
Bengt Jonsson
Uppsala University (Sweden)
Joost-Pieter Katoen
Universiteit Twente (The Netherlands)
Kim Larsen
Aalborg U. (Denmark)
Doron Peled
University of Texas (USA)
Sriram K. Rajamani
Microsoft Research (USA)
John Rushby
SRI (USA)
Steve Schneider
Royal Holloway, University of London (UK)
Gregor Snelting
Univ. Passau (Germany)
Bernhard Steffen
Universität Dortmund (Germany)
Willem Visser
RIACS, NASA Ames Research Center (USA)
PROGRAM COMMITTEE CHAIRS:
Hubert Garavel John Hatcliff
INRIA Rhone-Alpes, France Kansas State University
http://www.inrialpes.fr/vasy http://www.cis.ksu.edu/~hatcliff
TOOL CHAIR:
Kurt Jensen (tool chair)
University of Aarhus (Denmark)