[TYPES/announce] POPL 2019 Student Research Competition

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** *===* * Principles of Programming Languages Student Research Competition -- January 13-19 2019 Lisbon, Portugal

[TYPES/announce] CCC 2018 postproceedings

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Continuity, Computability, Constructivity: From Logic to Algorithms 2018 Postproceedings Call for Submissions After a year of successful work in the EU-MSCA-RISE project "Computing with

[TYPES/announce] UVM hiring t-t prof in systems security, assistant or associate

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, We are hiring at in systems security at University of Vermont this year, at either Assistant or Associate rank. We interpret systems security broadly to include

[TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science (http://cs.au.dk/) at Aarhus University is looking for excellent and visionary tenure track Assistant Professors or Associate Professors to push the

[TYPES/announce] ECOOP'19 London - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, Please see below the second call for ECOOP 2019. The conference date has now been confirmed. Thanks === The 33rd