[TYPES/announce] DICE 18: Final Call -- Extended Deadline
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- DICE 2018 9th Workshop on Developments in Implicit Computational complExity
[TYPES/announce] 2nd CfP: SEFM 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods will be part of STAF 2018 in Toulouse, France, 27-29 June 2018.