[TYPES/announce] TFP 2010 - Final Call: Submission deadline one week away, April 9

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING May 17-19, 2010 University of Oklahoma http://www.cs.ou.edu/tfp2010/(web search: "tfp 2010") TFP 2010 is an interna

[TYPES/announce] LOPSTR'10: New deadline for extended abstract submission

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 20th International Symposium on Logic-Based Program Synthesis and Transformation