[TYPES/announce] CfP: SAC 2011 Track on Coordination Models, Languages and Applications

2010-06-03 Thread Matteo Casadei
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Coordination Models, Languages, and Applications (CM) Special Track at the 26th Symposium on Applied Computing (SAC 2011) TaiChung, Taiwan March 21 - 25, 2011 (http://sac20

[TYPES/announce] MRes Studentship in Swansea

2010-06-03 Thread Markus Roggenbach
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] MRes Studentship on Algebraic modelling of test data Swansea University invites applications for an industrial funded studentship for studying a Mas