[TYPES/announce] EXPRESS/SOS 2018: Deadline Extension (until June 21st)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === FINAL CALL FOR PAPERS

[TYPES/announce] PhD studentship in Logic & Verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings, but please share widely with potential candidates. Thank you.] A PhD studentship in the area of logic and verification is available at UCL's PPLV group