[TYPES/announce] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes I hereby invite applicants for a PhD scholarship within Formal Semantics and Types for Mobile Adaptive B

[TYPES/announce] CFP: EXPRESS'07- deadline for abstracts May 28 (extended)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==deadline extension for abstracts May 28=== CALL FOR PAPERS EXPRESS'07 http://express07.pps.jussieu.fr/ 14th International

[TYPES/announce] EXPRESS'07 - PROGRAMME & CALL FOR PARTICIPATION

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PARTICIPATION - PROGRAMME AVAILABLE EXPRESS'07 http://express07.pp