[TYPES/announce] CFP - ACM Conference on Fairness, Accountability, and Transparency

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *We are pleased to announce the Call for Papers for the 2019 ACM Conference on Fairness, Accountability, and Transparency (FAT*), to be held in Atlanta, Georgia in January/February 2019FAT*

[TYPES/announce] CBS, a component-based specification framework - beta release

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SUMMARY The beta-release of the CBS framework is now available: https://plancomps.github.io/CBS-beta It provides a library of reusable components of language specifications, called