[TYPES/announce] APLAS 2015 Call for Poster Presentations (Korea, Nov 30 - Dec 2)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ​ ​ ​ ​Call for Poster​ Presentations: APLAS 2015​​ 13​​th Asian Symposium on Programming Languages and Systems ​ ​ ​ ​November 3​0 -​ December ​2, 2015​​

[TYPES/announce] ETAPS 2016 call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] The 31st British Colloquium for Theoretical Computer Science, in London: registration is open

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This year, the colloquium is organized by the Middlesex University and enjoys some remarkable invited speakers. All the best, Andrei British Colloquium for Theoretical Computer

[TYPES/announce] Two postdoctoral positions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you have received multiple copies of this announcement] === Two Postdoctoral Positions

[TYPES/announce] LFCS: final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'16), Deerfield Beach, Florida, January 4 - 7, 2016 LFCS Steering Committee: Anil Nerode, (Ithaca, NY,