[TYPES/announce] Postdoc Position in Formal Verification

2021-10-06 Thread Ralf Kuesters
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on

[TYPES/announce] CFP: Workshop on Programming Languages and Analysis for Security (PLAS 2021)

2021-10-06 Thread Zhang, Danfeng
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- PLAS 2021 Call for Papers 16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)

[TYPES/announce] OOPSLA 2022 Round 1 - final call for papers

2021-10-06 Thread Andreea Costea
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Round 1 paper submission deadline due on ** October 12th, 2021 AoE ** PACMPL Issue OOPSLA

[TYPES/announce] Final CFP: Workshop on Gradual Typing 2022

2021-10-06 Thread Siek, Jeremy
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second ACM SIGPLAN Workshop on Gradual Typing (WGT) to be held on January 16th, 2022 in Philadelphia co-hosted with POPL. Important dates --- * Submission deadline: Monday,

[TYPES/announce] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa)

2021-10-06 Thread Jonathan Protzenko
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ---    ProLaLa 2022 -- 1st Workshop on Programming Languages and the Law    Sunday Jan 16th, 2022    

[TYPES/announce] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022

2021-10-06 Thread Jonathan Protzenko
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] All details are on the PriSC site

[TYPES/announce] PLMW@POPL 2022: Call for Application

2021-10-06 Thread Stephanie Balzer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR APPLICATIONS (**DEADLINE: November 1 AoE**) ACM SIGPLAN Programming Languages Mentoring Workshop, Philadelphia, Pennsylvania Tuesday, January 18, 2022 PLMW is co-located with