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

James Cheney james.cheney at gmail.com
Fri Aug 29 05:30:11 EDT 2008


[Contributions concerning types and foundations of provenance in
bidirectional, adaptive, database, or other programming paradigms are
encouraged.]

                         First 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 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)


More information about the Types-announce mailing list