[TYPES/announce] LCC 2019: 2nd Call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 2nd Call for Contributions LCC 2019 20th International Workshop on

[TYPES/announce] International Workshop on Programming Across the System Stack (PASS@ECOOP'19)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Workshop on Programming Across the System Stack (PASS@ECOOP '19) https://2019.ecoop.org/home/PASS-ECOOP-2019 London, UK, July 19, 2019 = Overview = The

[TYPES/announce] Postdoctoral and PhD positions at Imperial College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position and a PhD studentship in the Software Reliability Group at Imperial College London, under the direction of Cristian Cadar. The

[TYPES/announce] Postdoctoral position in quantum theory in Edinburgh

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Edinburgh is looking to recruit a full-time postdoctoral researcher to work on the project "Combining Viewpoints in Quantum Theory" with Dr. Chris Heunen. Duration:

[TYPES/announce] Postdoctoral position in Compositional Game Theory at Univ. of Strathclyde

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Strathclyde is looking to recruit a full-time postdoctoral researcher to work on the project "Compositional Game Theory" with Professor Neil Ghani, Dr Clemens Kupke and

[TYPES/announce] HOR 2019 - Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR SUBMISSIONS **HOR 2019 - 10th International Workshop on Higher-Order

[TYPES/announce] Last Cfp: History of Formal Methods 2019 (co-located with FM’19)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal (co-located with FM’19) We invite submissions to the HFM2019 workshop. See the website

[TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *Extended deadline: April 30th, 2019* We are pleased to announce the program of the 18th annual Oregon Programming Languages Summer School (OPLSS) to be held from June 17th to June 29th,

[TYPES/announce] 2nd CfP: 12th Interaction and Concurrency Experience (ICE 2019)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICE 2019 - 12th Interaction and Concurrency Experience ICE 2019 is a satellite workshop of DisCoTec 2019 , held on June 20-21, 2019 in Lyngby, Denmark.

[TYPES/announce] PLDI 2019 Second Call for Student Volunteers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for student volunteers for PLDI 2019, the 40th annual ACM SIGPLAN conference on Programming Language Design and Implementation. APPLICATION FORM: https://goo.gl/forms/DfbIbDxTVuLn69Z13