[TYPES/announce] CFP: 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers: The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC will take place in Vichy, France, June 16-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon

[TYPES/announce] Call for Participation: Facebook’s Testing and Verification Symposium (FaceTAV 2017)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Facebook is hosting a two day Facebook Testing and Verification Symposium (FaceTAV) 2017 at its London office on November 6th and 7th, 2017. FaceTAV is open to all testing and verification