[TYPES/announce] Job offer: close-to-industry research position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, the job offer below might be interesting for those who would like to get more in touch with problems coming from the industry but without leaving research completely. The scope of

[TYPES/announce] Categories Logic and Physics Scotland 20 November 2017: call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CATEGORIES LOGIC AND PHYSICS SCOTLAND CALL FOR PARTICIPATION Monday 20 November 2017 School of Informatics, University of Edinburgh http://conferences.inf.ed.ac.uk/clapscotland/ Following

[TYPES/announce] APLAS 2017: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * 15th Asian Symposium on Programming Languages and Systems (APLAS 2017) November 27-29, 2017, Suzhou, China

[TYPES/announce] CFP: UNIVERSAL LOGIC Vichy, 2018 DEADLINE EXTENSION: OCT 5, 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 6th WORLD CONGRESS ON UNIVERSAL LOGIC will take place in Vichy, France, June 21-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: