[TYPES/announce] CFP: Workshop on Theory and Practice of Provenance (TAPP 2011)

[James Cheney]

[Note: Provenance is a broad topic that touches on many areas of
interest to readers of the TYPES list, including language-based
security, dependency analysis and incremental or bidirectional
computation.  --James]

----------------------------------------------------------------------------------------------------
               TaPP '11 Call for Papers
----------------------------------------------------------------------------------------------------

       3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP '11)
                  http://www.usenix.org/events/tapp11/

                                   June 20-22, 2011
               Heraklion, Crete, Greece

                  Sponsored by USENIX

** Overview

With the deluge of digital data we are currently experiencing, it has
become increasingly important to capture and understand the provenance
of data. Provenance provides important documentation that is an
essential part of the quality of data, and it is essential to the
trust we put in, for example, the data we find on the Web and the data
that is derived from scientific experiments.

The meeting is in Crete, the week after the Athens meeting of ACM
SIGMOD (http://www.sigmod2011.org/index.shtml). Crete is a spectacular
island with great beaches, scenery, and food.

** Topics and What to Submit

Submissions are solicited on any topic related to theoretical or
practical aspects of provenance, including but not limited to:
provenance in databases, workflows, programming languages, security,
software engineering, or systems; provenance on the Web; or real-world
applications of or requirements for provenance. The program committee
very much wants to make this a workshop rather than a mini-conference.
Therefore, in addition to papers describing original research, the
committee welcomes any proposal that will make the workshop
interactive and promote discussions, especially discussions across
disciplines.

** The following are possible submissions:

* Short papers and vision papers describing challenges for provenance
research and novel applications (4 pages maximum)
* Proposals for mini-tutorials on some aspect of provenance (4 pages maximum)
* Regular submissions describing original research (8 pages maximum)
* Other proposals (e.g., for panels or small discussion groups)

Besides regular presentations, we plan to hold a poster session where
authors of accepted submissions will have the opportunity to discuss
their work with the other workshop participants.

* Important Dates

   * Submissions due: April 8, 2011, 11:59 p.m. PDT
   * Notification to authors: May 9, 2011
   * Final paper files due: May 23, 2011

** How to Submit

Submissions will be received electronically via a Web form, which will
be available here soon. The Web form will ask for contact information
for the paper and will allow for the submission of your full paper
file in PDF format. Please do not email submissions.

Papers should be formatted in two columns, using 10 point Times Roman
type on 12 point leading, in a text block of 6.5" by 9". If you wish,
you may use the LaTeX template found at
http://www.usenix.org/events/samples/template.la and style file found
at http://www.usenix.org/events/samples/usenix.sty or the RTF template
found at http://www.usenix.org/events/samples/sample.rtf

Simultaneous submission of the same work to multiple venues,
submission of previously published work, or plagiarism constitutes
dishonesty or fraud. USENIX, like other scientific and technical
conferences and journals, prohibits these practices and may take
action against authors who have committed them. See the USENIX
Conference Submissions Policy at
http://www.usenix.org/events/submissionspolicy.html for details.

* Workshop Organizers

** Program Co-Chairs
  Peter Buneman, University of Edinburgh
  Juliana Freire, University of Utah

** Program Committee
  Umut Acar, Max Planck Institute for Software Systems
  Susan Davidson, University of Pennsylvania
  Irini Fundulaki, FORTH
  Dieter Gawlick, Oracle
  HV Jagadish, University of Michigan
  Grigoris Karvounarakis, LogicBlox and FORTH
  Anastasios Kementsietsidis, IBM
  Marta Mattoso, Universidade Federal do Rio de Janeiro, Brazil
  Paolo Missier, University of Newcastle
  Helen Parkinson, European Bioinformatics Institute
  Margo Seltzer, Harvard University
  Matthias Troyer, ETH Zurich
  Dan Suciu, University of Washington
  Jan Van den Bussche, Hasselt University
  Marianne Winslett, University of Illinois

** Local Workshop Chair
  Irini Fundulaki, FORTH

** Workshop Organization and Proceedings Coordinator
  Grigoris Karvounarakis, LogicBlox and FORTH

** Steering Committee
  James Cheney, University of Edinburgh
  Bertram Ludaescher, University of California, Davis
  Margo Seltzer, Harvard University
  Craig Soules, HP Labs
  Wang-Chiew Tan, University of California, Santa Cruz
  Val Tannen, University of Pennsylvania

** Questions?

Contact your program co-chairs, at tapp11chairs at usenix.org, or the
USENIX office, at submissionspolicy at usenix.org.

Papers accompanied by nondisclosure agreement forms will not be
considered. Accepted submissions will be treated as confidential prior
to publication on the USENIX TaPP '11 Web site; rejected submissions
will be permanently treated as confidential.

All accepted papers will be available online to registered attendees
before the workshop. If your paper should not be published prior to
the event, please notify production at usenix.org. The papers will be
available online to everyone beginning on the day of the first day of
the workshop, June 20, 2011.