[TYPES/announce] ICTAC 2018 call for papers, extended deadlines
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] New deadlines: abstracts 18 May, papers 25 May. CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTA
[TYPES/announce] ICTAC 2018: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-1