TACAS 2005

• Full title: Eleventh International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
• Location: Edinburgh, Scotland
• Date: April 4-8, 2005
• Deadline: October 15, 2004
• Webpage: http://www-verimag.imag.fr/TACAS2005.html

TACAS 2005
Eleventh International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS

A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2005)

April 4-8, 2005 Edinburgh, U.K.

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

TACAS is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2005 is the eigth joint conference in this series. The conference is organized by the University of Edinburgh. The prior conferences have been ETAPS 98 in Lisbon, ETAPS 99 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble, ETAPS 2003 in Warsaw, and ETAPS 2004 in Barcelona.

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 for finite and infinite state systems
• Software and hardware verification
• Theorem-proving and model-checking
• System construction and transformation techniques
• Static and run-time analysis
• Abstract interpretation
• Compositional and refinement-based methodologies
• Testing and test-case generation
• Analytical techniques for security protocols, real-time, hybrid and safety-critical systems
• Integration of formal methods and static analysis in high-level hardware design
• 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.

ETAPS 2005 conferences and other satellite events will be held April 2-10, 2005.

As a part of ETAPS, TACAS adheres to ETAPS submission and notification deadlines:

The above deadlines are STRICT. Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn, but authors are stongly encouraged, in this case, to explicitly withdraw their submission by sending an e-mail to the chairpersons.

As with other ETAPS conferences, TACAS accepts two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.

Please notice that there are two different conference services for submission of papers:

• The TACAS 2005 Conference Service is used for submission of research papers.
• The TACAS 2005 TOOL Conference Service is used for submission of tool demonstration papers.

Research papers

Research papers 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. Submitted research papers must:

• be in English and have a maximum of 15 pages,
• present original research which is unpublished and not submitted elsewhere (conferences or journals) – in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,
• use the Springer-Verlag LNCS style
• be submitted electronically in Postscript or PDF form via the TACAS 2005 Conference Service (abstract no later than October 8 and full paper no later than October 15)

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Chairs Lenore Zuck or Nicolas Halbwachs prior to submitting.

Tool demonstration papers

Tool demonstration papers 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. Submitted tool demonstration papers must:

• be in English and have a maximum of 4 pages,
• have an appendix (not included in the 4 page count) that provides a detailed description of:
  • how the oral presentation will be conducted, e.g. illustrated by a number of snapshots,
  • the availability of the tool, the number and types of users, other information which may illustrate the maturity and robustness of the tool,
  • link to a web-page for the tool (if this exists).

The appendix will not be included in the proceedings, but during the evaluation of the tool demonstration papers it will be equally important as the pages for the proceedings

• use the Springer-Verlag LNCS style
• be submitted electronically in Postscript or PDF form via the TACAS 2005 TOOL Conference Service (abstract no later than October 8 and full paper no later than October 15)

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool Chair Andreas Kuehlmann.

• Lenore Zuck, New York University, New York (USA)
• Nicolas Halbwachs, Vérimag/CNRS, Grenoble (France)

• Andreas Kuehlmann, Cadence Berkeley Labs, Berkeley (USA)

• Ken McMillan, Cadence Berkeley Labs, Berkeley (USA)

• Rajeev Alur

University of Pennsylvania, Philadelphia (USA)

• Patricia Bouyer

LSV/CNRS, Cachan (France)

• Ed Brinksma

University of Twente (The Netherlands)

• Randy Bryant

Carnegie Mellon University, Pittsburgh (USA)

• Muffy Calder

University of Glasgow (UK)

• Rance Cleaveland

University of New York at Stony Brook (USA)

• Radhia Cousot

CNRS/Ecole Polytechnique, Palaiseau (France)

• Cindy Eisner, IBM, Haifa (Israel)
• Javier Esparza

University of Stuttgart (Germany)

• Alessandro Fantechi

University of Firenze (Italy)

• Patrice Godefroid

Bell Laboratories, Lisle (USA)

• Andrew Gordon

Microsoft Research, Cambridge (UK)

• Nicolas Halbwachs (co-chair)

Vérimag/CNRS, Grenoble (France)

• John Hatcliff

Kansas State University (USA)

• Michael Huth

Imperial College, London (UK)

• Kurt Jensen

University of Aarhus, Aarhus (Denmark)

• Thierry Jeron

IRISA/INRIA, Rennes (France)

• Jens Knoop

Technische Universität Wien, Vienna (Austria)

• Andreas Kuehlmann (tool chair)

Cadence Berkeley Labs, Berkeley (USA)

• Marta Kwiatkowska

University of Birmingham, Birmingham (UK)

• Kim Larsen

Aalborg University, Aalborg (Denmark)

• Radu Mateescu

INRIA, Montbonnot (France)

• Andreas Podelski

Max-Planck-Institut für Informatik, Saarbrücken (Germany)

• Sriram Rajamani

Microsoft Research, Redmond (USA)

• Eli Singerman

Intel, Haifa (Israel)

• Bernhard Steffen

Universität Dortmund, Dortmund (Gremany)

• Lenore Zuck (co-chair)

New York University, New York (USA)

• Ed Brinksma, Univ. of Twente (The Netherlands)
• Rance Cleaveland, SUNY at Stony Brook (USA)
• Kim Larsen, Aalborg Univ. (Denmark)
• Bernhard Steffen, Univ. Dortmund (Germany)