[TYPES/announce] ICTAC 2018 call for papers, extended deadlines

2018-05-07 Thread Tarmo Uustalu
[ 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

[TYPES/announce] ICTAC 2018: Call for Papers

2018-01-25 Thread Jaco Geldenhuys
[ 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,