[TYPES/announce] PhD positions at Stevens in PL and Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Cypress group at Stevens is recruiting PhD students. With eight research faculty, we do a broad range of theoretical and practical work. Eric Koskinen, Dave Naumann, and I will be

[TYPES/announce] POPL 2021 - Talks are live! - Second Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2021 Call for Participation (https://popl21.sigplan.org/) Important Dates: Sun 10 Jan 2021 Early registration ends Sun 17 - Tue 19 Jan 2021 Co-located events Wed

[TYPES/announce] POPL 2021 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2021 Call for Participation (https://popl21.sigplan.org/) Important Dates: Sun 10 Jan 2021 Early registration ends Sun 17 - Tue 19 Jan 2021 Co-located events Wed

[TYPES/announce] POPL 2021 -- Call for Student Volunteers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2021 Call for Student Volunteers (https://popl21.sigplan.org/) Important Dates: Mon 20 Nov 2020: 1st round deadline Fri 04 Dec 2020: 1st round notification Wed 16 Dec

[TYPES/announce] POPL 2021 - Call for Tutorials (deadline 2020-10-28)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIALS POPL 2021 48th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

[TYPES/announce] POPL 2021 - Student Research Competition - Call for Submissions (deadline: 2020-11-21)

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

[TYPES/announce] POPL 2021 - Call for Workshop and Co-located Events - due 2020-05-29

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOPS AND CO-LOCATED EVENTS POPL 2021 48th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

[TYPES/announce] POPL 2021 Call for Papers -- deadline Thursday, July 9th, AoE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2021 Call for Papers (https://popl21.sigplan.org/) Important Dates: Thu 09 Jul 2020: Submission deadline Sun 17 - Fri 22 Jan 2021: Conference General chair: Andreas

[TYPES/announce] POPL2020 - Call for Tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIALS POPL 2020 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

[TYPES/announce] POPL 2020: Student Research Competition -- Call for Submissions

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

[TYPES/announce] POPL 2020 Call for Workshops and Co-located events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOPS AND CO-LOCATED EVENTS POPL 2020 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

[TYPES/announce] POPL 2020 -- Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2020 Call for Papers (https://popl20.sigplan.org/) Important Dates: Wed 10 Jul 2019: Submission deadline Mon 16 Sep 2019: Start of rebuttal period Thu 19 Sep 2019: End of

[TYPES/announce] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # POPL 2019 Call for Participation POPL 2019 will take place at the Hotel Cascais Miragem in Cascais/Lisbon, January 16-18, 2019. The annual Symposium on Principles of Programming

[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] PLMW@POPL19: Call for Scholarship Applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 30!) ACM SIGPLAN Programming Languages Mentoring Workshop, Lisbon Portugal Tuesday, January 15, 2019 Co-located with POPL 2019

[TYPES/announce] POPL 2019 - Call for Workshops and Co-located Events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]    CALL FOR WORKSHOPS AND CO-LOCATED EVENTS    POPL 2019 46th ACM SIGPLAN-SIGACT  Symposium on   Principles of Programming

[TYPES/announce] POPL 2019 Call for Papers

International, USA Michael Greenberg - Pomona College, USA Nate Foster - Cornell University, USA Nicolas Tabareau - INRIA and University de Nantes, France Nikhil Swamy - Microsoft Research, USA Niki Vazou - University of Maryland, USA Nils Anders Danielsson - University of Gothenburg, Chalmers

[TYPES/announce] Tenure-track opening in computer science at Pomona College

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The position is for any area in computer science; applications from the PL community are welcome. Pomona College is a liberal arts institution, a uniquely American kind of college with a