[TYPES/announce] Scala'18 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Scala'18 Call for Papers 9th ACM SIGPLAN Symposium on Scala, 2018 27th-28th of September, 2018 St. Louis

[TYPES/announce] VSTTE 2018 - Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VSTTE 2018: 10th Working Conference on Verified Software: Theories, Tools, and Experiments Oxford, part of FLoC 2018 Oxford, UK, July 18-19, 2018 Conference website

[TYPES/announce] 8th Halmstad Summer School on Testing (June 11-14)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 8th Halmstad Summer School on Testing Halmstad University, Sweden (Organised in cooperation with the TOCSYC Network) June 11 - June 14,

[TYPES/announce] PPDP 2018: Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == PPDP 2018: Second Call for Papers

[TYPES/announce] CfP: VORTEX 2018, Verification of Objects at RunTime EXecution

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers)

[TYPES/announce] Postdoctoral position in machine learning + program synthesis at, Rice University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoctoral position in machine learning + program synthesis at Rice University - Rice University's Intelligent Software Systems

[TYPES/announce] [fm-announcements] RV 2018 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RV 2018 Call for Papers The 18th International Conference on Runtime Verification November 10-13, 2018, Limassol,