[TYPES/announce] Haskell tutors required!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Edinburgh is one of a few places in the world that teaches functional programming to first-year students, specifically Haskell. This year, our Haskell course for first-year's will be

[TYPES/announce] Participation FROM 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FROM 2020 Working Formal Methods Symposium is kindly inviting you to participate. The conference is online and free of charge, so we hope that you will take advantage of this opportunity

[TYPES/announce] LFMTP 2020 Post-Proceedings: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you received multiple copies of this CFP] CALL FOR PAPERS Logical Frameworks and Meta-Languages: Theory and Practice (Post-Proceedings) LFMTP 2020

[TYPES/announce] Lecturer / Senior Lecturer / Reader, University of Glasgow, School of Computing Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Lecturer / Senior Lecturer / Reader (equivalent to assistant / associate professor ) Full-time and open-ended Research and Teaching Grade 7/8/9 Salary £35,845 - £40,322/£44,045 -