[TYPES/announce] CONCUR and PODC 2008: call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION CONCUR & PODC 2008 Toronto, Canada August 17-23, 2008 27th Annual AC

[TYPES/announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, Tarmo and I are editing a special issue on dependently typed programming and would be peased to see submissions from people on TYPES. It would help with our planning if you could let

[TYPES/announce] Two PhD Positions (Secure Software) at K.U Leuven

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Two PhD Positions in Secure Software and Languages Department of Computer Science Katholieke Universiteit Leuven, Belgium Applications are invi