Many application require understanding how data is crated, what it depends on, and how it may be affected by changes to other data.  The term "provenance" broadly refers to such information. Our goal is to establish a theoretical foundation for  provenance and develop techniques for understanding the provenance of data in computation.