[DL] Call for papers: TACAS'07, submission deadlines Oct.6/Oct.13

[Byron Cook]

                      CALL FOR PAPERS: TACAS 2007
 
                Thirteenth International Conference on

   Tools and Algorithms for the Construction and Analysis of Systems
 
                      www.doc.ic.ac.uk/tacas07/
 
      Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal
 

IMPORTANT DATES
---------------
 
* 6 Oct 2006: Submission deadline (strict) for abstracts of research and
tool demonstration papers

* 13 Oct 2006: Submission deadline (strict) for full versions of
research and tool demonstration papers

* 8 Dec 2006: Notification of acceptance

* 5 Jan 2007: Camera-ready versions due
 
CONFERENCE DESCRIPTION
----------------------
 
  TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and analysis
of systems. The conference serves to bridge the gaps between different
communities that share common interests in, and techniques for, tool
development and its algorithmic foundations. The research areas covered
by such communities include but are not limited to formal methods,
software and hardware verification, static analysis, programming
languages, software engineering, real-time systems, communications
protocols, and biological systems. The TACAS forum provides a venue for
such communities at which common problems, heuristics, algorithms, data
structures and methodologies can be discussed and explored. In doing so,
TACAS aims to support researchers in their quest to improve the utility,
reliability, flexibility and efficiency of tools and algorithms for
building systems.
 
  Tool descriptions and case studies with a conceptual message, as well
as theoretical papers with clear relevance for 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

* Abstraction techniques for modeling and validation

* Compositional and refinement-based methodologies

* Testing and test-case generation

* Analytical techniques for secure, real-time, hybrid, critical,
biological or dependable systems

* Integration of formal methods and static analysis in high-level
hardware design or software environments

* Tool environments and tool architectures

* SAT solvers

* Applications and case studies
 
  As TACAS addresses a heterogeneous audience, potential authors are
strongly encouraged to write about their ideas and findings in general
and jargon-independent, rather than in 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.
 
PROGRAMME COMMITTEE
-------------------
 
Christel Baier (U. Bonn, Germany)

Armin Biere (Johannes Kepler U., Austria)

Jonathan Billington (University of South Australia, Australia)

Ed Brinksma (ESI and U. of Twente, The Netherlands)

Rance Cleaveland (U. of Maryland & Fraunhofer USA Inc, USA)

Byron Cook (tool chair) (Microsoft Research, Cambridge, UK)

Dennis Dams (Bell Labs, Lucent Technologies, Murray Hill, USA)

Marsha Chechik (U. Toronto, Canada)

Francois Fages (INRIA Rocquencourt, France)

Kathi Fisler (Worcester Polytechnic, USA)

Limor Fix (Intel Research Laboratory, Pittsburgh, USA)

Hubert Garavel (INRIA Rhones-Alpes, France)

Susanne Graf (VERIMAG, Grenoble, France)

Orna Grumberg (co-chair) (TECHNION, Israel Institute of Technology,
Israel)

John Hatcliff (Kansas State U., USA)

Holger Hermanns (U. des Saarlandes, Germany)

Michael Huth (co-chair) (Imperial College London, UK)

Daniel Jackson (Massachusetts Institute of Technology, USA)

Somesh Jha (U. of Wisconsin at Madison, USA)

Orna Kupferman (Hebrew U., Jerusalem, Israel)

Marta Kwiatkowska (U. of Birmingham, UK)

Kim Larsen (Aalborg U., Denmark)

Michael Leuschel (Heinrich-Heine U., Duesseldorf, Germany)

Andreas Podelski (Max-Planck-Institut fuer Informatik, Saarbruecken, 
Germany)

Tiziana Margaria-Steffen (U. Goettingen, Germany)

Tom Melham (Oxford U., UK)

CR Ramakrishnan (SUNY Stony Brook, USA)

Jakob Rehof (Fraunhofer ISST, Germany)

Natarajan Shankar (SRI, Menlo Park, USA)

Bernhard Steffen (U. Dortmund, Germany)

Lenore Zuck (U. of Illinois, USA).
 
INVITED SPEAKER
---------------
 
K. Rustan M. Leino (Microsoft Research, USA)
 

SUBMISSION GUIDELINES
---------------------
 
Papers should be submitted using the TACAS 2007 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
forbidden

* use the Springer-LNCS style

* be submitted electronically in Postscript or PDF form via the TACAS
2007
  Conference Service (abstract no later than 6 October, 2006, and full
paper no later than 13 October, 2006)
 
Submissions deviating from these instructions may be rejected without
review. Any questions regarding this policy should be directed to the
Program Committee Co-Chairs Orna Grumberg
(www.cs.technion.ac.il/users/orna/) or Michael Huth
(www.doc.ic.ac.uk/~mrh/)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,
hybrid or biological systems, etc.). Tool demonstration papers are
evaluated by the TACAS Tool Chair, Byron Cook
(http://research.microsoft.com/users/bycook/default.htm) with the help
of the Programme 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

  - if applicable, a link to a web-page for the tool (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
submitted for publication in the proceedings.)

* use the Springer-Verlag LNCS style

* clearly describe the enhancements and novel features of the tool in
case that one of its previous versions has already been presented at
meetings or published in some form

* be submitted electronically in Postscript or PDF form via the TACAS
2007 Conference Service (abstract no later than 6 October, 2006, and
full paper no later than 13 October, 2006)
 
Submissions deviating from these instructions may be rejected without
review. Any questions regarding this policy should be directed to the
Tool Chair Byron Cook.