[TYPES/announce] Position Announcement - Research Scientist Interactive Theorem Proving

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RESEARCH SCIENTIST POSITION Interactive Theorem Proving National Institute of Aerospace (Hampton, VA, USA) The National Institute of Aerospace (NIA), located in Hampton, Virginia, has an op

[TYPES/announce] First call for papers SOAP 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ===         The 11th ACM SIGPLAN International Workshop     on the State of the Art in Program Analysis (SOAP)        

[TYPES/announce] SOAP 2022 - submission deadline extended

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP)