[TYPES/announce] Positions at Iowa State University: faculty and PhD students

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Iowa State University is hiring tenure-track and tenured faculty in Formal Methods/Software Challenges in Aerospace. Note that this is in the Aerospace Engineering Department; having a PhD

[TYPES/announce] TAMC 2017 - Second call for papers (Submission Deadline 31 October)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *SECOND CALL FOR PAPERS TAMC 2017* *Theory and Applications of Models of Computation 2017* ( http://www.tamc2017.unibe.ch ) TAMC 2017 aims at bringing toge

[TYPES/announce] 2017: Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everyt

[TYPES/announce] 2 PhD student positions on Language-based security at Chalmers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Our apologies if you receive multiple copies of this message] The Software Technology Division of the Computer Science and Engineering Department, Chalmers University of Technology is hirin