[TYPES/announce] PLACES 2019 workshop

[Dominic Orchard]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]