[TYPES/announce] PhD position available : Building reliable programs in computational geometry and certifying them with Coq

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A three-year PhD-student position is open at LSIIT (http://lsiit.u-strasbg.fr ) in the field of formal proofs in geometry. This proposal fits in the GALAPAGOS research project which has

[TYPES/announce] Call for Participation - APLAS 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation The Fifth Asian Symposium on Programming Languages and Systems November 29 - December 1, 2007