[TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S) due on Jan 15th, 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers 8th Workshop on Language-Theoretic Security (LangSec) Affiliated with 43rd IEEE Symposium on Security and Privacy (Oakland) May 26th, 2022 The Language-Theoretic Security

[TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is an announcement of a part-time postdoc position at TU Wien (Vienna, Austria). The Research Unit Formal Methods in Systems Engineering at TU Wien is looking for a postdoctoral