[TYPES/announce] ICFP 2016 Call for Workshop and Co-located Event Proposals

2015-10-25 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2016 21st ACM SIGPLAN International Conference on Functional Programming

[TYPES/announce] Off the Beaten Track 2016: Deadline extension and speaker funding opportunity

2015-11-10 Thread Lindsey Kuper
chair: * Swarat Chaudhuri, Rice University Program chair: * Lindsey Kuper, Intel Labs Program committee: * Nada Amin, EPFL * Ken Eguro, Microsoft Research * Suresh Jagannathan, Purdue University * Limin Jia, Carnegie Mellon University * Yu David Liu, State University of New York

[TYPES/announce] ICFP 2016 Call for Papers

2015-12-07 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016

[TYPES/announce] Call for Participation: Off the Beaten Track 2016

2015-12-21 Thread Lindsey Kuper
* OBT 2014, San Diego, USA * OBT 2013, Rome, Italy * OBT 2012, Philadelphia, USA ## Organizers General chair: * Swarat Chaudhuri, Rice University Program chair: * Lindsey Kuper, Intel Labs Program committee: * Nada Amin, EPFL * Ken Eguro, Microsoft Research * Suresh Jagannathan

[TYPES/announce] SIGPLAN Programming Languages Mentoring Workshop @ ICFP

2016-06-01 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SIGPLAN Programming Languages Mentoring Workshop @ ICFP Nara, Japan (co-located with ICFP 2016) Sunday, September 18th, 2016 http://conf.researchr.org/track/icfp-2016/PLMW-ICFP-2016/ We

[TYPES/announce] ICFP 2016 Second Call for Papers

2016-02-09 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016

[TYPES/announce] ICFP 2016 Final Call for Papers

2016-03-03 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016

[TYPES/announce] Call for Participation: ICFP 2016

2016-07-19 Thread Lindsey Kuper
Chair: David Van Horn, University of Maryland, College Park Mentoring Workshop Co-Chairs: Amal Ahmed, Northeastern University Robby Findler, Northwestern University Atsushi Igarashi, Kyoto Universty Publicity Chair: Lindsey Kuper, Intel Labs Video Chair: Iavor Diatchki, Galois

[TYPES/announce] ICFP 2016 Student Research Competition: Call for Submissions

2016-07-01 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR SUBMISSIONS SRC at ICFP 2016

[TYPES/announce] Second Call for Papers: ICFP 2017

2017-01-31 Thread Lindsey Kuper
ty of Oxford, UK) Program Chair: Mark Jones (Portland State University, USA) Artifact Evaluation Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and

[TYPES/announce] Final Call for Papers: ICFP 2017

2017-02-17 Thread Lindsey Kuper
tland State University, USA) Artifact Evaluation Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Stud

[TYPES/announce] MAPL Call for Papers

2017-02-14 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The First Workshop on Machine Learning and Programming Languages (MAPL) (https://sites.google.com/view/mapl2017/home, co-located with PLDI) Call for Papers Due to recent algorithmic and

[TYPES/announce] Call for Workshop Proposals: ICFP 2017

2016-11-01 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming

[TYPES/announce] Call for Papers: ICFP 2017

2016-12-26 Thread Lindsey Kuper
ersity, USA) Artifact Evaluation Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Res

[TYPES/announce] DSLDI 2017: Second Call for Talk Proposals

2017-08-01 Thread Lindsey Kuper
11th, 2017 * Workshop: October 22nd, 2017 * Submission website: https://dsldi17.hotcrp.com/ ## Workshop Organization Co-chairs: * Lindsey Kuper (lind...@composition.al), Intel Labs * Eric Walkingshaw (eric.walkings...@oregonstate.edu), Oregon State University Follow us on Twitter at https

[TYPES/announce] DSLDI 2017: Final Call for Talk Proposals (deadline extended)

2017-08-09 Thread Lindsey Kuper
* Notification: September 11th, 2017 * Workshop: October 22nd, 2017 * Submission website: https://dsldi17.hotcrp.com/ ## Workshop Organization Co-chairs: * Lindsey Kuper (lind...@composition.al), Intel Labs * Eric Walkingshaw (eric.walkings...@oregonstate.edu), Oregon State University Follow us on Twitter

[TYPES/announce] DSLDI 2017: Call for Talk Proposals

2017-06-21 Thread Lindsey Kuper
, 2017 * Workshop: October 22nd, 2017 * Submission website: https://dsldi17.hotcrp.com/ ## Workshop Organization Co-chairs: * Lindsey Kuper (lind...@composition.al), Intel Labs * Eric Walkingshaw (eric.walkings...@oregonstate.edu), Oregon State University Follow us on Twitter at https

[TYPES/announce] Call for Papers: PACMPL issue ICFP 2018

2017-12-20 Thread Lindsey Kuper
rn University, USA) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Matthew Fluet (Rochester Institute of Technolog

[TYPES/announce] Call for Workshop Proposals: ICFP 2018

2017-10-27 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please disregard previous version sent with the wrong subject line. ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2018 23rd ACM SIGPLAN

[TYPES/announce] Second Call for Papers: PACMPL issue ICFP 2018

2018-02-05 Thread Lindsey Kuper
ategory to submit to. ### ICFP Organizers General Chair: Robby Findler (Northwestern University, USA) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Alan Jeffrey (Mozilla Research,

[TYPES/announce] Call for Participation: ICFP 2018

2018-08-07 Thread Lindsey Kuper
) Programming Contest Organizer: Matthew Fluet (Rochester Institute of Technology, USA) Publications Co-Chair: Alex Potanin (Victoria University of Wellington, New Zealand) Publicity Chair: Lindsey Kuper (UC Santa Cruz, USA) Student Research Competition Chair: Ravi Chugh (University of Chicago, USA

[TYPES/announce] Final Call for Papers: PACMPL issue ICFP 2018

2018-03-08 Thread Lindsey Kuper
ategory to submit to. ### ICFP Organizers General Chair: Robby Findler (Northwestern University, USA) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Alan Jeffrey (Mozilla Research,

[TYPES/announce] Call for Tutorial Proposals: ICFP 2018

2018-03-18 Thread Lindsey Kuper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIAL PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September

[TYPES/announce] Call for Applications: PLMW @ ICFP 2021

2021-07-24 Thread Lindsey Kuper
in computing are especially welcome. Please note that if you apply and are accepted to attend PLMW, your registration fee for PLMW and ICFP is covered by a scholarship; we will automatically register you for ICFP free of cost. Best, PLMW @ ICFP 2021 Organizing Committee Lindsey Kuper, UC Santa Cruz Jose