[TYPES/announce] WS-FM 2008 - First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute to your colleagues, apologies for multiple copies] += WS-FM 2008 ==+ | 5th International Workshop on Web Services and Fo

[TYPES/announce] PhD or PostDoc opening for types research in Dresden, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please forward to potentially interested students: -- There is a research position on offer in the project described at: http://wwwtcs.in

[TYPES/announce] LFMTP'08: 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Update: - invited speaker: Dale Miller - submission server now open (abstract deadline: 14 April) International Workshop on Logical Frameworks and Meta-Languages: Theory and Prac