[TYPES/announce] JFLA 2017: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [This message is intentionally written in French. JFLA 2017 is a French-speaking conference on functional programming languages.] *** Appel à participation, merci de diffuser largement

[TYPES/announce] Call for Participation: POPL 2017 and co-located events [early registration deadline approaching]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** POPL 2017 ** 44th ACM SIGPLAN Symposium on Principles of Programming Languages January 15-21, 2017, Paris, France The annual Symposium on Principles of Programming Languages is a forum

[TYPES/announce] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017) http://conf.researchr.org/home/PEPM-2017 Paris, France, January 16th - 17th, 2017 (co-located

[TYPES/announce] Three open faculty positions (tenure-track or tenured) at MPI-SWS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Note for Types folks: Although we already have several faculty in PL and verification, we are quite open at this point to hiring more.] At the Max Planck Institute for Software Systems

[TYPES/announce] Associate/Assistant Professor in Programming Languages at the Technical University of Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, There is an open position in the section for Formal Methods at the Department of Applied Mathematics and Computer Science of Technical University of Denmark. The position

[TYPES/announce] CoqPL 2017: Call for Participation [registration is open]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 3rd International Workshop on Coq for Programming Languages Associated to POPL 2017 The CoqPL workshop provides an opportunity for programming languages researchers to meet and interact

[TYPES/announce] Postdoc position in the area of formal verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apology for cross-posting.] Applications are invited for a Postdoctoral Research Fellow position working on formal verification. The work is being funded by EPSRC. The aim of the project