[TYPES/announce] PLDI 2023 Call for Papers

2023-10-05 Thread Anders Miltner
* - General Chair: Milind Kulkarni, Purdue U. - Program Chair: John Regehr, U. of Utah - Web Co-Chairs: - Jedidiah McClurg, Colorado State U. - Xinyu Wang, U. of Michigan - Publicity Co-Chairs: - Anders Miltner, Simon Fraser U. - Yao Li, Portland State U. - Sponsorship Co-Chairs

[TYPES/announce] PLDI 2023 Artifact Evaluation Committee Nominations

2022-10-25 Thread Anders Miltner
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for motivated students and researchers to be members of the PLDI 2023 Artifact Evaluation Committee (AEC). This year, we are accepting (self-)nominations for the AEC. The

[TYPES/announce] PLDI 2023 First Call for Papers

2022-09-20 Thread Anders Miltner
* - General Chair: Steve Blackburn, Google and Australia National U. - Program Chair: Nate Foster, Cornell U. - Web Co-Chairs: - Dan Barowy, Williams College - Jedidiah McClurg, Colorado State U. - Publicity Co-Chairs: - William J. Bowman, U. of British Columbia - Anders Miltner, Simon Fraser U

[TYPES/announce] PLDI 2023 Second Call for Papers

2022-10-31 Thread Anders Miltner
* - General Chair: Steve Blackburn, Google and Australia National U. - Program Chair: Nate Foster, Cornell U. - Web Co-Chairs: - Dan Barowy, Williams College - Jedidiah McClurg, Colorado State U. - Publicity Co-Chairs: - William J. Bowman, U. of British Columbia - Anders Miltner, Simon Fraser U

[TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers

2023-03-01 Thread Anders Miltner
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM 2023) is soliciting full-length submissions covering new work on all memory management related topics, as well as

[TYPES/announce] Call for Participation PLDI 2023

2023-04-15 Thread Anders Miltner
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation for PLDI 2023, the ACM SIGPLAN Conference on Programming Language Design and Implementation!

[TYPES/announce] [Call for Participation] LCTES 2023

2023-06-02 Thread Anders Miltner
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SUBJECT: Call for Participation: LCTES 2023, June 18 (Orlando, Florida), co-located with PLDI and FCRC CONTENT: Call for Participation: ACM SIGPLAN/SIGBED International Conference on