[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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 tapp10cha...@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 ------------------------------------------------------------------