[ 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
[ 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