Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] TACAS 2008: Call for Papers

Discussion topic

Back to topic list

[verimag-news] TACAS 2008: Call for Papers

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-09-27 00:23:20 PDT

                     14th International Conference on

     Tools and Algorithms for the Construction and Analysis of Systems


      Part of ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary


* 5 Oct 2007: Submission deadline (strict) for abstracts of research and
          tool demonstration papers

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

* 7 Dec 2007: Notification of acceptance

* 4 Jan 2008: Camera-ready versions due


    TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and analysis
of systems. TACAS is a member conference of the European Joint
Conferences on Theory and Practice of Software (ETAPS). 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.


Patricia Bouyer (CNRS, France)
Ed Brinksma (ESI and U. of Twente, The Netherlands)
Tevfik Bultan (U. of California, Santa Barbara, USA)
Rance Cleaveland (U. of Maryland & Fraunhofer USA Inc, USA)
Byron Cook (Microsoft Research, Cambridge, UK)
Bruno Dutertre (SRI, Menlo Park, California, USA)
Patrice Godefroid (Microsoft Research, Redmond , USA)
Orna Grumberg (TECHNION, Israel Institute of Technology
Aarti Gupta (NEC Laboratories America Inc, USA)
Fritz Henglein (U. of Copenhagen, Denmark)
Michael Huth (Imperial College, London, UK)
Joxan Jaffar (National U. of Singapore)
Kurt Jensen (U. of Aarhus, Denmark)
Jens Knoop (Technical University, Vienna, Austria)
Barbara Koenig (U. of Duisburg-Essen, Germany)
Marta Kwiatkowska (U. of Birmingham, UK)
Kim Larsen (Aalborg University, Aalborg, Denmark)
Nancy Lynch (Massachusetts Institute of Technology, USA)
Kedar Namjoshi (Bell Labs, Murray Hill, USA)
Paul Pettersson (Malardalen University, Sweden)
Sriram Rajamani (Microsoft Research, Bangalore, India)
C.R. Ramakrishnan (Stony Brook University, New York, USA)
Jakob Rehof (U. of Dortmund, Germany)
Bill Roscoe (Oxford University, UK)
Mooly Sagiv (Tel Aviv University, Israel)
Stefan Schwoon (U. of Stuttgart, Germany)
Bernhard Steffen (U. of Dortmund, Germany)
Lenore Zuck (U. of Illinois, Chicago, USA)

Sharad Malik , Princeton, USA


Papers should be submitted using the TACAS 2008 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
* 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
* use the Springer LNCS style
* be submitted electronically in Postscript or PDF form via the TACAS
    2008 Conference Service (abstract no later than 5 October, 2007, and
    full paper no later than 12 October, 2007)

Submissions deviating from these instructions may be rejected without
review. Any questions regarding this policy should be directed to the
Program Committee Co-Chairs C. R. Ramakrishnan
(www.cs.stonybrook.edu/~cram/) or Jakob Rehof
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.micr​osoft.com/users/byco​ok/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
    - 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
    2008 Conference Service (abstract no later than 5 October, 2007, and
    full paper no later than 12 October, 2007)

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

C. R. Ramakrishnan
Assoc. Professor cram at cs dot sunysb dot edu
Computer Science Dept Tel: 631-632-8218
University at Stony Brook Fax: 631-632-8334
Stony Brook, NY 11794-4400

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news] TACAS 2008: Call for Papers Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-09-27 00:23:20 PDT
Messages per page: