[TYPES/announce] TABLEAUX 2017 - First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] With apologies for multiple postings. Please distribute. -- FIRST CALL FOR PAPERS

[TYPES/announce] Summer opportunities at the IAS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Mathematics at the Institute for Advanced Study invites applications from collaborators who would like to meet during the summer months to further their research project. We c