[TYPES/announce] Joint Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Papers: Federated Conferences on Distributed Computing Techniques http://discotec09.di.fc.ul.pt/

[TYPES/announce] CADE-22 second call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS CADE-22 22nd International Conference on Automated Deduction McGill University, Montreal,

[TYPES/announce] CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Papers CiE 2009: COMPUTABILITY IN EUROPE 2009 -