[TYPES/announce] DICE 18: Final Call -- Extended Deadline

2018-01-30 Thread Martin Avanzini
[ 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

2018-01-30 Thread Einar Broch Johnsen
[ 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.