[TYPES/announce] ICFP 2013: Call for workshops and co-located events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2013 18th ACM SIGPLAN International Conference on Functional Programming

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 18th ACM SIGPLAN International Conference on Functional Programming ICFP 2013 Boston, MA, USA, 25-27 September

[TYPES/announce] ICFP 2014: Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 19th ACM SIGPLAN International Conference on Functional Programming ICFP 2014 Gothenburg, Sweden, 1-3 September

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR SUBMISSION SRC@ICFP 2014

[TYPES/announce] ICFP 2014 Student Volunteer Programme

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [With apologies for cross-posting] Please forward this to anyone who may be interested! ICFP Student Volunteer Programme http://icfpconference.org/icfp2014/sv.html We are looking for

[TYPES/announce] ICFP 2014 Call for Participation

LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum

[TYPES/announce] ICFP 2014 Final Call for Participation

Competition Chair: Meng Wang, Chalmers 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

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming August

[TYPES/announce] ICFP 2015: Call for Papers

Sophia Antipolis (France) Simon ThompsonUniversity of Kent (UK) David Van HornUniversity of Maryland (USA) Stephanie Weirich University of Pennsylvania (USA)

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

) David Van Horn University of Maryland (USA) Stephanie Weirich University of Pennsylvania (USA)

[TYPES/announce] ICFP 2015 Call for Participation

of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Bañados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App

[TYPES/announce] Basili Postdoctoral Fellowship Program

and encourage applicants form the TYPES list. Successful applicants would be able to work with the PLUM lab, lead by Mike Hicks, Jeff Foster, and David Van Horn, as well as the current Basili scholars: Niki Vazou and Thomas Gilray. https://www.cs.umd.edu/basili-postdoc ;; The University

[TYPES/announce] PLMW at ICFP: Call for Scholarship Applications (due 17 May)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN Programming Languages Mentoring Workshop Co-located with ICFP'19 PLMW web page: https://icfp19.sigplan.org/home/PLMW-ICFP-2019 The purpose of the programming languages

[TYPES/announce] Basili Postdoctoral Fellowship Call for Applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UMD is seeking applicants for the Basili Postdoctoral Fellowship program. This is a postdoc opportunity that offers a fair amount of freedom to pursue your own research agenda, while also