[TYPES/announce] papers on model-checking higher-order programs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, We would like to announce a series of papers on model-checking of higher-order functional programs. The papers are available from http://www.kb.ecei.tohoku.ac.jp/~koba/publicati

[TYPES/announce] FSTTCS 2009: Final CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleague, This is to remind you that the submission deadline for FSTTCS 2009 is just a week away (July 7, 2009). FSTTCS has a long tradition of excellent invited talks and high qual

[TYPES/announce] Proof-Search in Type Theories 2009: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation PSTT 2009: International Workshop on Proof Search in Type Theories McGill University, Montreal, Canada

[TYPES/announce] TPHOLs 2009: Early Registration Deadline Approaching (5th of July)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * NOTE: THE EARLY (DISCOUNT) REGISTRATION DEADLINE IS 5 JULY 2009 (next Sunday!) * ***