[TYPES/announce] MOVEP 2020 Summer School

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP) Université Grenoble Alpes, Grenoble, France June 22 - 26, 20

[TYPES/announce] TYPES and ITRS - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple recipiens == - Call For Participation to TYPES 2020 --

[TYPES/announce] WADT 2020 - Call for Abstracts

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