[TYPES/announce] Deadline extension: DBPL 19

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to multiple requests, we are extending the deadline for *both* paper tracks to *Monday Feb 25* (anytime on Earth). Please feel free to submit via our hotcrp website. Questions can be di

types-announce@lists.seas.upenn.edu

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW: two more invited speakers ** Second Call for papers — ENTROPY 2019 ENabling TRust through Os

[TYPES/announce] Associate professor position in formal methods at ENSIIE, EVry, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ENSIIE (www.ensiie.fr) is a French engineering school in computer science has 2 tenure-track faculty positions. The recruited persons will join the laboratory Samovar (CRNS) located in Ev

[TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE EXTENDED

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DEADLINE EXTENDED: *Feb 29, 2019*: Paper title and abstract deadline *Mar 7, 2019*: Full paper deadline [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2019 26t

[TYPES/announce] Quantum Physics and Logic 2019: CALL FOR PAPERS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 16th International Conference on Quantum Physics and Logic (QPL 2019) June 10-14, 2019 Chapman University, Orange, California, USA https://qpl2019.org

[TYPES/announce] LCC'19: Call for Contributions

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