[Chicken-users] ICFP 2015 Call for Participation

2015-07-18 Thread David Van Horn
Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn

[Chicken-users] ICFP 2015 Call for Participation

2015-07-18 Thread David Van Horn
Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn

[Chicken-users] ICFP 2015: Final Call for Papers

2015-02-13 Thread David Van Horn
INRIA Rocquencourt (France) Andreas Rossberg Google (Germany) Manuel Serrano INRIA Sophia Antipolis (France) Simon Thompson University of Kent (UK) David Van Horn University of Maryland (USA) Stephanie Weirich University

[Chicken-users] ICFP 2015 Call for Workshop and Co-located Event Proposals

2014-10-09 Thread David Van Horn
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming August 30 - September 5, 2015 Vancouver, Canada

[Chicken-users] ICFP 2014 Final Call for Participation

2014-08-01 Thread David Van Horn
, Ghent University Sam Tobin-Hochstadt, Indiana University Programming Contest Co-Chairs: Duncan Coutts, Well Typed LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland

[Chicken-users] ICFP 2014 Call for Participation

2014-06-26 Thread David Van Horn
University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum partners Jane Street Capital Gold partners Google Microsoft Research Mozilla Oracle Labs

[Chicken-users] ICFP 2014 Student Research Competition: Call for Submissions

2014-05-16 Thread David Van Horn
== CALL FOR SUBMISSION SRC@ICFP 2014 Gothenburg, Sweden 1-3 September 2014

[Chicken-users] ICFP 2014: Call for papers

2014-01-07 Thread David Van Horn
= 19th ACM SIGPLAN International Conference on Functional Programming ICFP 2014 Gothenburg, Sweden, 1-3 September 2014 http://www.icfpconference.org/icfp2014

[Chicken-users] ICFP 2014: Call for Workshop Co-located Even Proposals

2013-10-30 Thread David Van Horn
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming August 31 – September 6, 2014 Gothenburg, Sweden

[Chicken-users] ICFP 2013 Call for Participation

2013-08-22 Thread David Van Horn
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism Joshua Dunfield and Neelakantan R. Krishnaswami 1630-17 Break 17-1740 Session 15: Analysis and Optimization Optimizing Abstract Abstract Machines J. Ian Johnson, Nicholas Labich, Matthew Might and David Van Horn Testing

[Chicken-users] ICFP 2013: Call for papers

2013-02-08 Thread David Van Horn
= 18th ACM SIGPLAN International Conference on Functional Programming ICFP 2013 Boston, MA, USA, 25-27 September 2013 http://www.icfpconference.org/icfp2013

[Chicken-users] ICFP 2013: Call for workshops and co-located events

2012-10-29 Thread David Van Horn
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2013 18th ACM SIGPLAN International Conference on Functional Programming September 22 - 28, 2013 Boston, Massachusetts, USA