[TYPES/announce] Last CfP: JAL Special Issue on Automated Specification and Verification of Web Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification

[TYPES/announce] PSSV: final CFP deadline extension (St. Petersburg, Russia).

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011, http://logic.pdmi.ras.ru/csr2011/ppsv2011) affiliated with 6th International