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

[ 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

[TYPES/announce] CFP: NASA Formal Methods Symposium 2010

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We apologize if you receive this message more than once. Please circulate the information among your colleagues and students. -- CALL FOR