[TYPES/announce] CFP SEFM - International Conference on Software Engineering and Formal Methods
[ 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
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers SEFM 2020 18th International