[hofa] Fwd: First CFP: TAPAS 2012 - 3th Tools for Automatic Program AnalysiS workshop

David Van Horn dvanhorn at ccs.neu.edu
Thu Apr 5 10:18:42 PDT 2012

-------- Original Message --------
Subject: First CFP: TAPAS 2012 - 3th Tools for Automatic Program 
AnalysiS workshop
Date: Wed, 04 Apr 2012 17:46:20 +0200
From: Bertrand Jeannet <Bertrand.Jeannet at inrialpes.fr>
To: destinataires inconnus:;


                  T A P A S        2    0    1    2

                       First   Call  for  Papers

             The 3th Tools for Automatic Program AnalysiS
                  (a SAS 2012 satellite workshop)

                 14 September 2012, Deauville, France


                 (my apologies for multiple postings)

Important dates

      Submission deadline     1 June 2012 (23h59 GMT)
      Notification            9 July 2012
      Camera-ready            7 August 2012
      Conference              14 September 2012


In the last ten years, a wide range of static analysis tools have
emerged, some of which are currently in industrial use or are well
beyond the advanced prototype level. Many impressive practical
results have been obtained, which allow complex properties to be
proved or checked in a fully or semi-automatic way, even in the
context of complex software developments. In parallel, the
techniques to design and implement static analysis tools have
improved significantly. This workshop is intended to promote
discussions between specialists in all areas of program analysis
and program analyzers implementation and static analysis tools


The technical programme for TAPAS 2012 will consist of invited
lectures, presentations of refereed regular paper and tool presentations.

We welcome regular papers on all aspects of static analysis tools
including, but not limited to:
- design and implementation of static analysis tools
- components of static analysis tools (front-ends, abstract
   domains, etc)
- integration of static analyzers (in proof assistants, test
   generation tools, etc)
- experience reports on the use of static analyzers
- challenges, such as new properties to address or bottlenecks to

We also welcome presentations or demos of tools that implement
original techniques and/or that contribute to disseminate static
analysis techniques to a wider audience.


All submitted papers will be peer-reviewed by the program

Submitted regular papers should not exceed 12 pages including
bibliography, and follow the ENTCS guidelines
(http://www.entcs.org/prelim.html). Regular papers must be
written and presented in English, and describe original work that
does not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings.

Submitted tool presentations must be written in english and should
not exceed 2 pages. Attention will be given to the usability of
the tool by external users (website, documentation, etc).

Submitted papers and tool presentations may include an appendix
containing technical details, which reviewers may read or not, at
their discretion.

The TAPAS 2012 proceedings will be published electronically in a
volume of the Electronic Notes in Theoretical Computer Science

Program Chair

    Bertrand Jeannet	INRIA, France

Program Committee

    Gogul Balakrishnan	NEC Laboratories America, USA
    Bor-Yuh Evan Chang 	University of Colorado Boulder, USA
    Laure Gonnord	University of Lille, France
    Laura Kovács		TU Wien, Austria
    Fausto Spoto		University of Verona, Italy
    Sarah Zennou		EADS-IW, Suresnes, France

Steering Committee

    Radhia Cousot	(CNRS & Ecole normale supérieure, France)
    Xavier Rival		(INRIA & Ecole normale supérieure, France)

Affiliated Events

      NSAD: The 4th Workshop on Numerical and Symbolic Abstract Domains
            10 September 2012

      SASB: The 3rd Workshop on Static Analysis and Systems Biology
            10 September 2012

      SAS : The 19th International Static Analysis Symposium
            11-13 September 2012


SAS  2012  and  affiliated  events will take place in  Deauville,
France, at la Villa Le Cercle, at  20mn  walking  time  from  the
train station and 100m from the beach. Deauville is at only 200km
from Paris and 2h by train (departing several times  a  day  from
Gare  Saint Lazare). Deauville is famous for its beach, its race-
courses, its casino, and the American Film  Festival  (held  just
before the conference).


More information about the HOFA mailing list