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)




-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.