[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Second 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)
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 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
- provenance and types, static analysis, functional/logic
programming or related topics
* 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. 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 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)
