[TYPES/announce] [ESSoS] Final Call for Papers

2014-09-02 Thread Raoul Strackx
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Papers === Conference: International Symposium on Engineering Secure Software and Systems (ESSoS) Date: March 4 - 6, 2015 Venue:

[TYPES/announce] ETAPS 2015 2nd call for papers

2014-09-02 Thread Tarmo Uustalu
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software