[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Relevance to TYPES: Recent work on provenance in databases has focused on
typed languages extended with collection types; provenance is related to
program dependence analysis and information flow.  See



                       Call for Abstracts/Position Papers

                  Workshop on Principles of Provenance (PROPR)
                              Edinburgh, Scotland
                             19-20 November, 2007.


Recent research in a variety of settings (databases and data warehouses,
systems, geographic information systems, scientific workflow, "grid"
computation, and the Semantic Web) has addressed the problem of keeping
track of
metadata about creation and modification history, influences, ownership, and
other provenance or lineage information. Such metadata is essential for
informed judgments about data quality, integrity, and authenticity.
In addition, ideas about provenance are now being used in several areas of
computer science such as probabilistic databases, file synchronization, and
annotation propagation. Other topics, such as version control and archiving,
also benefit from better understanding of provenance.  We believe the time
ripe to develop the foundations of the topic and address questions such as:

* What is and what isn't provenance?
* What problems do real-world uses of provenance address, and how can we
  formalize correctness for proposed solutions to such problems in computer
* How can we compare models of or approaches to provenance?
* Why does provenance tracking/management seem hard to get right, despite
  seeming obviousness ("just record everything about the history of the
* Where should research efforts be focused in order to best make progress?

Following an informal meeting in June at the University of Pennsylvania, we
organizing this workshop with the goal of bringing together researchers from
different backgrounds (including databases, scientific data & workflow
management, programming languages) interested in principles of provenance.

The workshop is open to all interested parties.  If you are interested in
a presentation, please send a short (no more than 2 pages) abstract
describing a
talk or discussion (to [EMAIL PROTECTED]).  We think a typical talk would
first introduce existing ideas or techniques in a given area of the
expertise and then move on to foundational questions (and, if possible,
answers); we hope to have a program with a mix of talks or discussions with
speculative or agenda-setting component and talks which review recent work

There will be no formal proceedings, but we will post talk abstracts and
slides on the web.

We hope to be able to offer a slot to anyone who wishes to speak, but
may not be able to accommodate all requests.

Abstract deadline:  October 8, 2007.
Notification:       October 15, 2007.
Workshop:           November 19-20, 2007.

--Workshop organizers
Peter Buneman
James Cheney
Bertram Ludaescher

Reply via email to