[TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Due to the many requests the deadline has been extended to 28 June, 2020 *** *** CALL FOR PAPERS

[TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR PAPERS *** (Apologies if you