[TYPES/announce] [fm-announcements] NASA Formal Methods 1st CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] **    The Thirteenth NASA Formal Methods Symposium   https://shemesh.larc.nasa.gov/nfm2021/ 24-28 May 2021    

[TYPES/announce] 3rd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification (Theory and Applications)  will be held ONLINE November 3-4, 2020.   PSSV-2020 workshop' page: