[TYPES/announce] Open Research Professor positions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, School of Computer Science and Engineering, Seoul National University invites applications for 2 post-doctoral research professor positions.

[TYPES/announce] WoLLIC 2009 - DEADLINE APPROACHING: Feb 28

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [** sincere apologies for duplicates **] Call for Papers /*16th Workshop on Logic, Language, Information and Computation*/

[TYPES/announce] CFP: 8th Tbilisi Symposium

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. Apologies for cross-posting. *** 1-st Call for Papers

[TYPES/announce] ETAPS 2009 Final Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] FINAL CALL FOR PARTICIPATION: ETAPS 2009 *** 5 Conferences, 21 Workshops, 4 Tutorials