ICFP
Sun 22 - Fri 27 August 2021 ICFP 2021with Haskell 2021, Erlang 2021, FARM 2021, FHPNC 2021, HIW 2021, HOPE 2021, ML 2021, OCaml 2021, PLMW @ ICFP 2021, Scheme 2021, TyDe 2021, miniKanren 2021ICFP 2021 is the 26th ACM SIGPLAN International Conference on Functional Programming. ICFP 2021 will be virtual. |
Thu 20 - Fri 28 August 2020 ICFP 2020with Haskell 2020, Erlang 2020, FARM 2020, FHPNC 2020, , HIW 2020, HOPE 2020, ML 2020, OCaml 2020, PLMW @ ICFP 2020, , Scheme 2020, TyDe 2020, miniKanren 2020ICFP 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, GermanyICFP 2019with Haskell 2019, Erlang 2019, FARM 2019, FHPNC 2019, HIW 2019, ML 2019, OCaml 2019, PLMW @ ICFP 2019, Scheme 2019, TyDe 2019, miniKanren 2019ICFP 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 StatesICFP 2018with 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 2018Videos 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 KingdomICFP 2017with 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 2017ICFP 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, JapanICFP 2016with CUFP 2016, Haskell 2016, Erlang 2016, FARM 2016, FHPC 2016, HIW 2016, HOPE 2016, ML 2016, OCaml 2016, PLMW 2016, Scheme 2016, TyDe 2016ICFP 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 ... |
Andrej Bauer
University of Ljubljana
Slovenia
Adam Chlipala
Massachusetts Institute of Technology
United States
Derek DreyerChair
MPI-SWS
Germany
Ronald Garcia
University of British Columbia
Jeremy Gibbons
Department of Computer Science, University of Oxford
United Kingdom
Alan Jeffrey
Roblox
United States
Ranjit Jhala
University of California at San Diego
Shin-Cheng Mu
Academia Sinica, Taiwan
Jens Palsberg
University of California, Los Angeles
François Pottier
Inria, France
France
Andreas Rossberg
Dfinity Stiftung
Germany
Sukyoung Ryu
KAIST
South Korea
Ilya Sergey
Yale-NUS College and National University of Singapore
Singapore
Mary Sheeran
Chalmers
Nikhil Swamy
Microsoft Research
United States
Sam Tobin-Hochstadt
Indiana University
Stephanie Weirich
University of Pennsylvania
United States