Please apologize if you receive multiple copies of this message.
--- C A L L F O R P A P E R S ---
*************************************************************
*** TACAS 2005 ***
*** 11th Int. Conference on Tools and Algorithms for ***
*** the Construction and Analysis of Systems ***
*** part of ***
*** ETAPS 2005 ***
*** April 4-8, 2005, Edinburgh (Scottland) ***
*************************************************************
**********************************************
* http://www-verimag.imag.fr/TACAS2005.html *
**********************************************
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
October 8, 2004: Firm deadline for submission of abstracts
(research papers and tool demonstration papers)
October 15, 2004: Firm deadline for submission of papers
(research papers and tool demonstration papers)
December 10, 2004: Notification of authors
January 7, 2005: Camera-ready version due
April 4-8, 2005: TACAS 2005 Conference in Edinburgh
-----------------------------------------------------------------------
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 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.
CALL FOR PAPERS
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.
SUBMISSION GUIDELINES
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.
Papers should be submitted using the TACAS 2005 Conference Service
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.
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 (including figures and
bibliography),
* 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 not allowed,
* 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.
PROGRAM COMMITTEE CHAIRS
* Lenore Zuck, University of Illinois, Chicago (USA)
* Nicolas Halbwachs, VERIMAG/CNRS, Grenoble (France)
TOOL CHAIR
* Andreas Kuehlmann, Cadence Berkeley Labs, Berkeley (USA)
INVITED SPEAKER
* Ken McMillan, Cadence Berkeley Labs, Berkeley (USA)
PROGRAM COMMITTEE
* 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)
VERIMAG/CNRS, Grenoble (France)
* John Hatcliff
Kansas State University (USA)
* Holger Hermanns
Saarlandes University, Saarbruecken (Germany)
* 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
I INRIA, Montbonnot (France)
* Jens Palsberg
UCLA, Los Angeles (USA)
* 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)
University of Illinois, Chicago (USA)
TACAS STEERING COMMITTEE
* Ed Brinksma, Univ. of Twente (The Netherlands)
* Rance Cleaveland, SUNY at Stony Brook (USA)
* Kim Larsen, Aalborg Univ. (Denmark)
* Bernhard Steffen, Univ. Dortmund (Germany)
-----------
you received this e-mail via the individual or collective address
[log in to unmask]
|
