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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Contributions concerning types and foundations of provenance in bidirectional, adaptive, database, or other programming paradigms are encouraged.] First Call for

[TYPES/announce] ESSLLI 2009 Deadline Extension and Final Call for Course/Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-posting] [note the new submission web site and extended deadline]