[TYPES/announce] iFM 18' PhD Symposium Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications

[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 (see

[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 Com

[TYPES/announce] BOOM! 2018 @ CONFESTA - Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Co-located with CONCUR 2018, QEST 2018, FORMATS 2018, SETTA 2018 *New submission deadline: June 28* The BOOM! workshop solicits presentations of ongoing or previously published work to ena