[ 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
[ 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)
[ 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
[ 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,
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
All details are on the PriSC site
[ 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