[TYPES/announce] LOLA 2018: First Call-for-Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LOLA 2018: Syntax and Semantics of Low-Level Languages = Saturday, 7 July 2018, Oxford, United Kingdom A satellite workshop of LICS 2018

[TYPES/announce] Faculty Position in Programming Languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Electrical Engineering and Computer Science at Oregon State University invites applications for one or more tenure-track faculty positions in Programming Languages to

[TYPES/announce] Call for Papers: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [[ apologies if you receive multiple copies ]] SCAV 2018 2nd International Workshop on Safe Control of Autonomous Vehicles hosted by CPS Week 2018, April 10-13, 2018, Porto, PT #

[TYPES/announce] 15 Faculty Positions at University of Melbourne

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Melbourne School of Computing and Information Systems is seeking applicants for 15 continuing (tenure-track) Lecturer and Senior Lecturer positions. We seek dynamic