[TYPES/announce] Final CFP: 1st Workshop on the Theory and Practice of Provenance (TaPP '09)

[James Cheney]

                         Final Call for Papers

         1st Workshop on Theory and Practice of Provenance (TaPP)
                            February 23, 2009
                        San Francisco, California

                 http://www.usenix.org/events/tapp09/cfp/

                              Sponsored by
                 the United Kingdom e-Science Institute
                Theme Program on Principles of Provenance
                                  and
            USENIX, the Advanced Computing Systems Association

                            co-located with
    the 7th USENIX Conference on File and Storage Technology (FAST 2009)

        DEADLINE EXTENDED:  to Tuesday, December 9, 2008
     SUBMISSION SITE OPEN:  https://papers.usenix.org/hotcrp/tapp09/

Invited Speakers:
  Margo Seltzer, Harvard University
  Joseph Halpern, Cornell University

Recording, managing, and using provenance or other meta-information
about computer systems, database queries, scientific workflows, and
other computations, is emerging as a central issue in a number of
disciplines.  This workshop continues an informal series of workshops
on Principles of Provenance organized in 2007-8, which helped raise
the profile of this area within diverse research communities, such as
databases, security and programming languages.  We hope to both
attract serious cross-disciplinary, foundational and highly
speculative research and facilitate needed interaction with the
broader systems community and industry.  We are particularly
interested in work identifying connections between provenance and
existing topics in concurrency, programming languages, and software
engineering, areas in which provenance has historically not had a high
profile.

We invite submissions addressing research problems involving
provenance in any area of computer science, including but not limited
to:

* databases
  - data provenance and lineage
  - uncertainty/probabilistic databases
  - curated databases
  - data quality/integration/cleaning
  - privacy/anonymity
  - data forensics

* programming languages, software engineering and concurrency
  - bidirectional, adaptive, and self-adjusting computation
  - traceability
  - source code management/version control/configuration management
  - model-driven design and analysis
  - provenance and programming language semantics, types, static
analysis, functional/logic programming or related topics
  - provenance and concurrency models or calculi

* systems and security
  - provenance aware/versioned file systems
  - provenance and audit/integrity/information flow security
  - trusted computing
  - traces and reflective/adaptive/self-adjusting systems
  - digital libraries

* scientific workflows and distributed computation
  - semantics of workflows and workflow provenance
  - efficient/incremental recomputation
  - scientific data exploration and visualization
  - workflow provenance querying
  - user interfaces

We invite submissions of either full papers (max. 10 pages) describing
relatively mature work for publication in the proceedings, or short
papers (max. 4 pages) on ongoing work.  If accepted, short papers may
be either published in the online proceedings or accepted as
"presentation only" according to the preference of the authors.  Short
papers are meant to allow authors to talk about interesting ongoing
work that is not yet suitable for publication.

Submissions are now accepted online at:
  https://papers.usenix.org/hotcrp/tapp09/

Papers should be formatted in two columns to fit in either four [4] or
ten [10] pages, using 10 point Times Roman type on 12 point leading,
in a text block of 6.5" by 9".


Important Dates:

Submission deadline:  December 9 2008 (EXTENDED)
Notification:         January 22 2009
Final versions:       February 11 2009
Workshop:             February 23 2009


Program Committee:

James Cheney (University of Edinburgh, chair)
Juliana Freire (University of Utah)
Jim Frew (University of California, Santa Barbara)
Michael Lesk (Rutgers University)
Gerome Miklau (University of Massachusetts, Amherst)
Vladimiro Sassone (University of Southampton)
Perdita Stevens (University of Edinburgh)
Erez Zadok (Stony Brook University)
Steve Zdancewic (University of Pennsylvania)


Steering Committee:

Michael Hicks (University of Maryland)
Bertram Ludaescher (University of California, Davis)
Craig Soules (HP Labs)
Val Tannen (University of Pennsylvania)