[TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2022 Since 1998, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth

[TYPES/announce] PhD Student / Post-Doc Position at University of Konstanz

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz has the immediately opening of a full-time PhD Student / Post-Doc position. Reference

[TYPES/announce] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FMBC 2022 First Call for Papers [ Please distribute, apologies for multiple postings. ] 4th International Workshop

[TYPES/announce] PhD positions at Aarhus University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science at Aarhus University, Denmark, offers two PhD positions in the area of Algorithmic Verification. The research topics are focused on the automated

[TYPES/announce] Structure meets Power workshop 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * STRUCTURE MEETS POWER 2022 * * (an ICALP workshop) * *