[TYPES/announce] next year memberships at the IAS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, there is now an explicit mention here https://www.math.ias.edu/administration/membership https://www.math.ias.edu/administration/membership and also in the Institute for Advanced

[TYPES/announce] FLOPS2016: Second CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers --- FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 3-6, 2016, Kochi, Japan

[TYPES/announce] GTTSE 2015: registration still open!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] GTTSE 2015 -- Call for Participation The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal

[TYPES/announce] ECSS 2015 - Program and Registration

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * *11th European Computer Science Summit - ECSS 2015 -* http://www.informatics-europe.org/ecss/ecss-2015.html