[TYPES/announce] COORDINATION'08: deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR PAPERS NEW: Deadlines extended !!!

[TYPES/announce] Small Types Workshop in Swansea

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Russell'08 Proof Theory meets Type Theory A "Small Workshop" of the European TYPES Project Swansea, Wales, 15-16 March 2008

[TYPES/announce] LASER Summer School on Software Engineering

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LASER Summer School on Software Engineering Concurrency and Correctness September 7 - 13, 2008 Elba Island, Italy http://laser.inf.ethz.ch Registration Open Early Application deadline: Feb