[TYPES/announce] Second DeepSpec Summer School, July 16-27, 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are now invited for participation in the Second DeepSpec Summer School (DSSS'18) Princeton, NJ, July 16-27, 2018 https://deepspec.org/event/dsss18

[TYPES/announce] ThEdu'18: Call for Extended Abstracts & Demonstrations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) Call for Extended Abstracts & Demonstrations **

[TYPES/announce] Fully funded PhD scholarship at the IT University of Copenhagen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, As part of the research project Type Theories for Reactive Programming funded by Villum Fonden, I have an opening for a fully funded PhD scholarship at the IT University of