[TYPES/announce] CFP SEFM - International Conference on Software Engineering and Formal Methods

2020-04-07 Thread Jacopo Mauro
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers SEFM 2020 18th International

[TYPES/announce] CFP: SEFM - International Conference on Software Engineering and Formal Methods

2020-02-27 Thread Jacopo Mauro
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers SEFM 2020 18th International