ICFP 2001: Call for Papers ICFP 2001: International Conference on Functional Programming Firenze (Florence), Italy; 3-5 September 2001 associated with PLI 2001: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages Important dates: Submission deadline 15 March 2001, 18:00 UTC Notification of acceptance or rejection 11 May 2001 Final paper due 29 June 2001 Conference 3-5 September 2001 Scope: ICFP 2001 seeks original papers on the full spectrum of the art, science, and practice of functional programming. The conference invites submissions on all topics ranging from principles to practice, from foundations to features, and from abstraction to application. The scope covers all languages that encourage programming with functions, including both purely applicative and imperative languages, as well as languages that support objects and concurrency. Papers setting new directions in functional programming, or describing novel or exemplary applications of functional programming, are particularly encouraged. Topics of interest include, but are not limited to, the following: * Foundations: formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects. * Design: modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming, multiparadigm programming. * Implementation: abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management, foreign-function and component interfaces. * Transformation and Analysis: abstract interpretation, partial evaluation, program transformation, theorem proving, specification and verification. * Applications: scientific and numerical computing, symbolic computing and artificial intelligence, systems programming, databases, graphic user interfaces, multimedia programming, web programming. * Experience: FP in education and industry, ramifications on other paradigms and computing disciplines. * Functional pearls: elegant, instructive examples of functional programming. Submission guidelines: Please refer to the submission Web site http://cristal.inria.fr/ICFP2001/ Program committee: General chair Program committee Benjamin Pierce Karl Crary, Carnegie Mellon University University of Pennsylvania Marc Feeley, University of Montréal Giorgio Ghelli, University of Pisa Program chair Simon Peyton Jones, Microsoft Research John Hughes, Chalmers University Xavier Leroy Naoki Kobayashi, University of Tokyo INRIA Rocquencourt Julia Lawall, DIKU, U. Copenhagen Domaine de Voluceau, B.P. 105 Sheng Liang, Stratum8 78153 Le Chesnay, France John Reppy, Bell Labs, Lucent Technologies E-mail: Xavier.Leroy@inria.fr Scott Smith, John Hopkins University Fax: + 33 - 1 - 39 63 56 84 Carolyn Talcott, Stanford University Phone: + 33 - 1 - 39 63 55 61 Kwangkeun Yi, KAIST