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

James Cheney james.cheney at gmail.com
Wed Sep 30 07:19:23 EDT 2009


[I organized the first TaPP last year and submissions from PL and
types researchers were/are definitely welcome. --James]


The Program Committee for the 2nd Workshop on the Theory and Practice of
Provenance (TaPP '10) invites you to submit either full papers
describing relatively mature work or short papers on ongoing work.

TaPP '10 will bring together researchers and practitioners doing
innovative work in the area of provenance. Provenance, or
meta-information about computations, computer systems, database queries,
scientific workflows, and so on, is emerging as a central issue in a
number of disciplines. The TaPP workshop series builds upon a set of
Workshops on Principles of Provenance organized in 2007-2009, which
helped raise the profile of this area within diverse research
communities, such as databases, security, and programming languages. We
hope to attract serious cross-disciplinary, foundational, and highly
speculative research and to facilitate needed interaction with the
broader systems community and with industry.

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

- Databases
- Programming languages and software engineering
- Systems and security
- Workflows/scientific computation

Submissions are due December 14, 2009.

More information and submission guidelines are available at
http://www.usenix.org/tapp10/cfpa

We look forward to receiving your submissions!

Sincerely,

Margo Seltzer, Harvard University
Wang-Chiew Tan, University of California, Santa Cruz
TaPP '10 Program Chairs
tapp10chairs at usenix.org

------------------------------------------------------------------
TaPP '10 Call for Papers
2nd Workshop on the Theory and Practice of Provenance (TaPP '10)
February 22, 2010, San Jose, CA
http://www.usenix.org/tapp10/cfpa
Submissions deadline: December 14, 2009
------------------------------------------------------------------


More information about the Types-announce mailing list