[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] POPL 2016 Call for tutorials. Deadline: September 15, 2015

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Tutorials (POPL 2016) Since 2012, POPL has been/is home to TutorialFest, which features a buffet of half-day talks oriented towards students in particular and other POPL