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

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

Sponsored by USENIX, the Advanced Computing Systems Association

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


Provenance, traces, or 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 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 and software engineering
- bidirectional, adaptive, and self-adjusting computation
- traceability
- source code management/version control/configuration management
- model-driven design and analysis

* 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

* workflows/scientific computation
- 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 may be published in the online proceedings according to the preference of the authors. Short papers are meant to allow authors to talk about ongoing work that is not yet suitable for publication.

Submissions will be made electronically via a Web form, which will be available at the URL listed above soon.

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 5 2008
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)