[TYPES/announce] [Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy

2008-11-26 Thread Marina Lenisa
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *--* * Call for Papers * *

[TYPES/announce] First CFP: WWV 2009

2008-11-26 Thread demis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] *** * CALL FOR PAPERS * *

[TYPES/announce] Call for Papers: TOOLS Europe 2009

2008-11-26 Thread Philippe . LAHIRE
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TOOLS EUROPE 2009 47th International Conference Objects, Models, Components, Patterns

[TYPES/announce] CS faculty opening at UC Davis in PL/SE

2008-11-26 Thread Zhendong Su
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UNIVERSITY OF CALIFORNIA, DAVIS DEPARTMENT OF COMPUTER SCIENCE FACULTY POSITION The Department of Computer Science at the Un