[TYPES/announce] Junior and Senior Faculty Openings in Programming Languages at Uppsala University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Information Technology at Uppsala University is opening two faculty positions in programming languages, one tenure-track position at the assistant professor level, and one

[TYPES/announce] Fully funded PhD positions at Tallinn University of Technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Compositional Systems and Methods group at the Tallinn University of Technology, Estonia (https://compose.ioc.ee) is seeking highly qualified PhD candidates. The ideal student should

[TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Due to the many requests the deadline has been extended to 28 June, 2020 *** *** CALL FOR PAPERS

[TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Call for Contributions # Special issue of JLAMP for the 12th Workshop on Programming Language Approaches to Concurrency and Communication cEntric Software (PLACES) 2020

[TYPES/announce] 2nd Joint Call for Participation: IJCAR 2020 + FSCD 2020 + 17 workshops and events, June 29 -- July 6, 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2ND CALL FOR PARTICIPATION -- June 29 to July 6, 2020 https://fscd-ijcar-2020.org 10th International Joint