The ACM SIGPLAN
International Conference on Functional Programming
Upcoming and Past ICFP Conferences
-
2025 International Conference on Functional Programming
(ICFP 2025)
- Singapore; October 12 – 18, 2025
- General Chair: Ilya Sergey; Program Chair: Dominique Devriese
-
2024 International Conference on Functional Programming
(ICFP 2024)
- Milan, Italy; September 2 – 7, 2024
- General Chair: Marco Gaboardi; Program Chair: Brigitte Pientka
-
2023 International Conference on Functional Programming
(ICFP 2023)
- Seattle, WA, USA; September 4 – 9, 2023
- General Chair: Nikhil Swamy; Program Chair: Sam Lindley
-
2022 International Conference on Functional Programming
(ICFP 2022)
- Ljubljana, Slovenia; September 11 – 16, 2022
- General Chair: Andrej Bauer; Program Chair: Zena Ariola
-
2021
International Conference on Functional Programming
(ICFP 2021)
- Daejon, Korea; August 22 – 27, 2021
- General Chair: Sukyoung Ryu; Program Chair: Ron Garcia
-
2020
International Conference on Functional Programming
(ICFP 2020)
- Jersey City, New Jersey, USA; August 23 – 28, 2020
- General Chair: Stephanie Weirich; Program Chair: Adam Chlipala
-
2019
International Conference on Functional Programming
(ICFP 2019)
- Berlin, Germany; August 18 – 23, 2019
- General Chair: Derek Dreyer; Program Chair: François Pottier
-
2018
International Conference on Functional Programming
(ICFP 2018)
- St. Louis, Missouri, United States; September 23 – 29, 2018
- General Chair: Robby Findler; Program Chair: Matthew Flatt
-
2017
International Conference on Functional Programming
(ICFP 2017)
- Oxford, United Kingdom; September 3 – 9, 2017
- General Chair: Jeremy Gibbons; Program Chair: Mark Jones
-
2016
International Conference on Functional Programming
(ICFP 2016)
- Nara, Japan; September 18 – 24, 2016
- General co-Chairs: Jacques Garrigue and Gabriele Keller; Program Chair: Eijiro Sumii
-
2015
International Conference on Functional Programming
(ICFP 2015)
- Vancouver, British Columbia; August 31 – September 2, 2015
- General Chair: Kathleen Fisher; Program Chair: John Reppy
-
2014
International Conference on Functional Programming
(ICFP 2014)
- Gothenburg, Sweden; September 1 – 3, 2014
- General Chair: Johan Jeuring; Program Chair: Manuel Chakravarty
- Most Influential Paper (announced at ICFP 2024): Refinement Types for Haskell, Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones
-
2013
International Conference on Functional Programming
(ICFP 2013)
- Boston, Massachusetts; September 25 – 27, 2013
- General Chair: Greg Morrisett; Program Chair: Tarmo Uustalu
- Most Influential Paper (announced at ICFP 2023): Handlers in Action, Ohad Kammar, Sam Lindley, and Nicolas Oury
-
2012
International Conference on Functional Programming
(ICFP 2012)
- Copenhagen, Denmark; September 9 – 15, 2012
- General Chair: Peter Thiemann; Program Chair: Robby Findler
- Most Influential Paper (announced at ICFP 2022): Addressing covert termination and timing channels in concurrent information flow systems, Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières
-
2011
International Conference on Functional Programming
(ICFP 2011)
- Tokyo, Japan; September 19 – 21, 2011
- General co-Chairs: Manuel Chakravarty and Zhenjiang Hu; Program Chair: Olivier Danvy
- Most Influential Paper (announced at ICFP 2021): Frenetic: a network programming language, Nate Foster, Rob Harrison, Michael Freedman, Christopher Monsanto, Jennifer Rexford, Alex Story, and David Walker
-
2010
International Conference on Functional Programming
(ICFP 2010)
- Baltimore, Maryland; September 27 – 29, 2010
- General Chair: Paul Hudak; Program Chair: Stephanie Weirich
- Most Influential Paper (announced at ICFP 2020): Abstracting abstract machines, David Van Horn and Matthew Might
-
2009
International Conference on Functional Programming
(ICFP 2009)
- Edinburgh, United Kingdom; August 31 – September 2, 2009
- General Chair: Graham Hutton; Program Chair: Andrew Tolmach
- Most Influential Paper (announced at ICFP 2019): Runtime Support for Multicore Haskell, Simon Marlow, Simon Peyton Jones, and Satnam Singh
-
2008
International Conference on Functional Programming
(ICFP 2008)
- Victoria, British Columbia, Canada; September 22 – 24, 2008
- General Chair: James Hook; Program Chair: Peter Thiemann
- Most Influential Paper (announced at ICFP 2018): Parametric higher-order abstract syntax for mechanized semantics, Adam Chlipala
-
2007 International Conference on Functional
Programming (ICFP 2007)
- Freiburg, Germany; October 1 – 3, 2007
- General Chair: Ralf Hinze; Program Chair: Norman Ramsey
- Most Influential Paper (announced at ICFP 2017): Ott: Effective Tool Support for the Working Semanticist, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, and Rok Strniša
-
2006
International Conference on Functional Programming
(ICFP 2006) (local
archive)
- Portland, Oregon; September 18 – 20, 2006
- General Chair: John Reppy; Program Chair: Julia Lawall
- Most Influential Paper (announced at ICFP 2016): Simple unification-based type inference for GADTs, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn
-
2005
International Conference on Functional Programming
(ICFP 2005) (local
archive)
- Tallinn, Estonia; September 26 – 28, 2005
- General Chair: Oliver Danvy; Program Chair: Benjamin Pierce
- Most Influential Paper (announced at ICFP 2015): Associated Type Synonyms, Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones
-
2004
International Conference on Functional Programming
(ICFP 2004) (local
archive)
- Snowbird, Utah; September 19 – 22, 2004
- General Chair: Chris Okasaki; Program Chair: Kathleen Fisher
- Most Influential Paper (announced at ICFP 2014): Scrap More Boilerplate: Reflection, Zips, and Generalised Casts, Ralf Lämmel and Simon Peyton Jones
-
2003 International Conference on Functional
Programming (ICFP 2003)
- Uppsala, Sweden; August 25 – 29, 2003
- General Chair: Colin Runciman; Program Chair: Olin Shivers
- Most Influential Paper (announced at ICFP 2013): MLF: Raising ML to the Power of System F, Didier Le Botlan and Didier Rémy
-
2002
International Conference on Functional Programming
(ICFP 2002) (local
archive)
- Pittsburgh, Pennsylvania; October 4 – 6, 2002
- General Chair: Mitchell Wand; Program Chair: Simon Peyton Jones
- Most Influential Paper (announced at ICFP 2012): Contracts for higher-order functions, Robert Findler and Matthias Felleisen
-
2001
International Conference on Functional Programming
(ICFP 2001) (local
archive)
- Florence, Italy; September 3 – 5, 2001
- General Chair: Benjamin Pierce; Program Chair: Xavier Leroy
- Most Influential Paper (announced at ICFP 2011): Recursive Structures for Standard ML, Claudio Russo
-
2000
International Conference on Functional Programming
(ICFP 2000)
- Montreal, Canada; September 18 – 20, 2000
- General Chair: Martin Odersky; Program Chair: Phil Wadler
- Most Influential Paper (announced at ICFP 2010): QuickCheck: a lightweight tool for random testing of Haskell programs, Koen Claessen and John Hughes
-
1999
International Conference on Functional Programming
(ICFP 1999) (local
archive)
- Paris, France; September 27 – 29, 1999
- General Chair: Didier Remy; Program Chair: Peter Lee
- Most Influential Paper (announced at ICFP 2009): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman
-
1998
International Conference on Functional Programming
(ICFP 1998) (external archive)
- Baltimore, Maryland; September 26 – 29, 1998
- General Chair: Matthias Felleisen; Program Chair: Paul Hudak/Christian Queinnec
- Most Influential Paper (announced at ICFP 2008): Cayenne — a language with dependent types, Lennart Augustsson
-
1997 International Conference on Functional
Programming (ICFP 1997) (local
archive)
- Amsterdam, Netherlands; June 9 – 11, 1997
- General Chair: Simon Peyton Jones; Program Chair: Mads Tofte
- Most Influential Paper (announced at ICFP 2007): Functional reactive animation, Conal Elliott and Paul Hudak
-
1996
International Conference on Functional Programming
(ICFP 1996) (local
archive)
- Philadelphia, Pennsylvania; May 24 – 26, 1996
- General Chair: Robert Harper; Program Chair: R. Kent Dybvig
- Most Influential Paper (announced at ICFP 2007): Optimality and inefficiency: What isn't a cost model of the lambda calculus?, Julia Lawall and Harry Mairson
