TACAS 2003: Paper Submission Deadline approaches

            CALL FOR PAPERS (Deadline October, 18, 2002)

                  Ninth International Conference on
                        TOOLS AND ALGORITHMS
                             (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)


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,

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.


As with other ETAPS conferences, TACAS accepts two types of

 - 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 
- 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.


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

October 18, 2002	Submission deadline
December 13, 2002	Notification of authors
January 17, 2003	Final versions due
April 7-11, 2003        Conference dates


    Peter Lee
    School of Computer Science
    Carnegie Mellon University, USA


	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

	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)


    Hubert Garavel                      John Hatcliff
    INRIA Rhone-Alpes, France		Kansas State University
    http://www.inrialpes.fr/vasy 	http://www.cis.ksu.edu/~hatcliff


    Kurt Jensen (tool chair)
    University of Aarhus (Denmark)

you received this e-mail via the individual or collective address
to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr