Welcome to the ICFP 2001 home page! Here you will find links to the latest information on the conference, including workshops and registration.

ICFP 2001 is over, and was quite successful. You might be interested in the next edition: ICFP 2002, part of the PLI 2002 extravaganza!

ICFP 2001 is part of PLI 2001: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages.

The ICFP conference 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 functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages.

Conference activities

• Programming contest.

• Advance program.

• Conference registration

• Call for papers (expired). Also available in PDF, Postscript (A4), and Postscript (letter).

Colocated conferences and workshops

• PPDP: Principles and Practice of Declarative Programming

• BABEL: Multi­language Infrastructure and Interoperability

• ERLANG Workshop

• FICS: Fixed Points in Computer Science

• HASKELL Workshop

• QAPL: Quantitative Aspects of Programming Languages

• RULE: Rule-Based Programming

• SAIG: Semantics, Applications, and Implementation of Program Generation

• SCHEME: Scheme and Functional Programming 

• VCL: Verification and Computational Logic

Organizing team

• General chair: Benjamin Pierce, University of Pennsylvania
  
• Program chair: Xavier Leroy, INRIA Rocquencourt
  
• Program committee: Karl Crary, Carnegie Mellon University, Marc Feeley, University of Montréal, Giorgio Ghelli, University of Pisa, Simon Peyton Jones, Microsoft Research, Cambridge, John Hughes, Chalmers University, Naoki Kobayashi, Tokyo Institute of Technology, Julia Lawall, DIKU, University of Copenhagen, Sheng Liang, Stratum8, John Reppy, Bell Labs, Lucent Technologies, Scott Smith, John Hopkins University, Carolyn Talcott, Stanford University, Kwangkeun Yi, KAIST.
• Local organization: Rocco de Nicola (Univ. Firenze), Betti Venneri (Univ. Firenze), Rosario Pugliese (Univ. Firenze), Gianni Aguzzi (Univ. Firenze, co-chair), Giorgio Ghelli (Univ. Pisa, co-chair), Lorenzo Bettini (Univ. Firenze), Michele Loreti (Univ. Firenze), Dario Colazzo (Univ. Pisa).

Contact Web Administrator - Last modified: