[TYPES/announce] Postdoc Position Reminder

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, This is a reminder that we have an open postdoc position in Quantum Programming Languages here at Tulane. The project goal is to devise models of high-level functional quantum

[TYPES/announce] PEPM 2019 Call for Posters, Demos, and Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Call for Poster/Demo Abstracts and Participation -- ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2019

[TYPES/announce] CoqPL 2019: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CoqPL'19 program is now online: on 19 January 2019, we will have 12 exciting talks on using Coq for building certified systems. # Program See