[TYPES/announce] IEEE CSF 2022: Call for Participation - Early Bird Registration Ends Today!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 35th IEEE Computer Security Foundations Symposium will be hosted at the Technion in Haifa, Israel as part of the Federated Logic Conference (FLOC 2022) during 7 – 10 August 2022, with

[TYPES/announce] Professor positions at Ruhr University Bochum

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The Faculty of Computer Science at Ruhr University Bochum

[TYPES/announce] PLanQC 2022: Submission Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLanQC 2022: Programming Languages for Quantum Computing Submission deadline extension (new deadline: June 24 2022 aoe) We invite members of the programming languages and quantum computing