[TYPES/announce] Research Fellow at UCL - Programming Principles, Logic, and Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow - Programming Principles, Logic and Verification University College London The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym (UCL),

[TYPES/announce] Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A reminder of today's seminar by Benjamin Pierce. 16.00. Backtracking Generators for Random Testing. Last week we had 720 people who tuned in to Simon Peyton Jones! Unfortunately, we had

[TYPES/announce] FTfJP 2020 (virtual): Second CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # SECOND CALL FOR PAPERS Submission deadline: Friday 5 June (AoE) 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers

[TYPES/announce] postdoc position in Aarhus, Denmark, at Center for Basic Research in Program Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for Postdocs to work in the Center for Basic Research in Program Verification in Aarhus, Denmark. Research topics include: extensions of higher-order concurrent separation