|Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia|
The 27th ACM SIGPLAN International Conference on Functional Programming will be in Ljubljana, Slovenia, on 11-16 September 2022.
|Sun 22 - Sat 28 August 2021 |
with Haskell 2021, Erlang 2021, FARM 2021, FHPNC 2021, HIW 2021, HOPE 2021, ML 2021, OCaml 2021, PLMW @ ICFP 2021, Scheme 2021, TyDe 2021, miniKanren 2021
SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out the inclusion survey. ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to email@example.com. Please check the guides for atte ...
|Thu 20 - Fri 28 August 2020 |
with Haskell 2020, Erlang 2020, FARM 2020, FHPNC 2020, HIW 2020, HOPE 2020, ML 2020, OCaml 2020, PLMW @ ICFP 2020, Scheme 2020, TyDe 2020, miniKanren 2020
ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020 and all activities took place online. The main program featured two keynotes, technical presentations for papers appearing in PACMPL Vol 4: Issue ICFP, as well as an awards session, and a special session of papers recently appearing in the Journal of Func ...
|Sun 18 - Fri 23 August 2019 Berlin, Germany|
with Haskell 2019, Erlang 2019, FARM 2019, FHPNC 2019, HIW 2019, ML 2019, OCaml 2019, PLMW @ ICFP 2019, Scheme 2019, TyDe 2019, miniKanren 2019
ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the Hotel Scandic Berlin Potsdamer Platz. Co-located workshops and tutorials will take place on August 18 and 22-23. This year, ICFP is also co-located with BOBKonf, which will take place on August 21 at the same venue. In addition, Racketfest will take place on Au ...
|Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States|
with Haskell 2018, Scala 2018, Erlang 2018, FARM 2018, FHPC 2018, HIW 2018, HOPE 2018, ML 2018, NPFL 2018, OCaml 2018, PLMW @ ICFP 2018, Scheme 2018, TyDe 2018
Videos from ICFP 2018 are now available. ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated with Strange Loop! Considering attending ICFP for the first time? See our brief explainer. The conference booklet includes the schedule, sponsors, committees, and more. Recipients of the ICFP Distinguished Paper Award are now shown in the program.
|Sun 3 - Sat 9 September 2017 Oxford, United Kingdom|
with CUFP 2017, FSCD 2017, Haskell 2017, Erlang 2017, FARM 2017, FHPC 2017, HIW 2017, HOPE 2017, ML 2017, OCaml 2017, PLMW 2017, Scheme 2017, TyDe 2017
ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launc ...
|Sun 18 - Sat 24 September 2016 Nara, Japan|
with CUFP 2016, Haskell 2016, Erlang 2016, FARM 2016, FHPC 2016, HIW 2016, HOPE 2016, ML 2016, OCaml 2016, PLMW 2016, Scheme 2016, TyDe 2016
ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. During the conference there will be a Student Research Competi ...
Zena M. AriolaProgram Chair
University of Oregon
Andrej BauerGeneral Chair
University of Ljubljana
Massachusetts Institute of Technology
Jeffrey S. Foster
University of British Columbia
Department of Computer Science, University of Oxford
Academia Sinica, Taiwan
National University of Singapore
University of Pennsylvania