[TYPES/announce] 10 PhD, PostDoc, and Engineering Positions in EU Formal Methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 10 PhD, PostDoc, and Engineering Positions offered! --- | HATS: Highly Adaptable and Trustworthy Software using Formal M

[TYPES/announce] 2nd CFP: WWV 2009

[ 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] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] == JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Symbolic Computation i