ICFP 2000

Philip Wadler wadler@REDACTED
Tue Feb 22 16:35:41 CET 2000

Below is the call for ICFP 2000.  You may prefer to view it on the web:

The submission deadline is fast approaching: 1 March 2000!
Two invited speakers have accepted:
	Carl Seger, Intel
	Benjamin Pierce, University of Pennsylvania
A third is in the works.

This year we are experimenting with two special classes of submissions,
Application letters (Applets) and Functional Pearls, to emphasize both the
utility and the beauty of functional programming.  If you have a nifty
application or an elegant program that never quite seemed to fit the conference
mold, then this is your year.  And of course, we also want submissions that
fulfill the traditional model of a crisp new research result.  See you in
Montreal!  -- P

				Call for Papers
	ICFP 2000:  International Conference on Functional Programming
		    Montreal, Canada; 18--20 September 2000
			   (associated with PLI 2000)



ICFP 2000 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 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

   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.

The conference also solicits two special classes of submissions, application
letters and functional pearls, described below.

Application Letters (Applets)

Especially in industry, users of functional languages may be fully occupied
writing functional programs, and may lack the time to write a full paper
describing their work. Thus attendees often hear only from those developing
functional languages --- the users are too busy using them. In order to attract
greater participation from users, the conference solicits application letters
describing experience using functional languages to solve real-world
problems. Such papers might typically be about six pages (any length up to
twelve pages is fine), and may be judged by interest of the application and
novel use of functional languages as opposed to a crisp new research result.

Functional Pearls

Program committees traditionally expect a paper to make a contribution of a
certain size. Ideas that are small, rounded, and glow with their own light may
have a number of venues, but conferences are not typically among them. (Among
the outlets have been columns such as Bentley's Programming Pearls in
Communications of the ACM, Rem's Small Programming Exercises in Science of
Computer Programming, and Barendregt's Theoretical Pearls and Bird's Functional
Pearls in the Journal of Functional Programming.) As an experiment, this year
the conference invites papers that develop a short functional program. Such
papers might typically be about six pages (any length up to twelve pages is
fine), and may be judged by elegance of development and clarity of expression as
opposed to a crisp new research result.

Submission guidelines

Authors should submit a 100-200 word abstract and a full paper. Submissions
should be no more than 12 pages in standard ACM conference format: two columns,
nine point font on ten point baseline, page 20pc (3.33in) wide and 54pc (9in)
tall with a column gutter of 2pc (0.33in). Submissions that do not meet these
guidelines will not be considered. Suitable style files for Latex, Word, and
Word Perfect are provided by the ACM at

Papers must be submitted in PDF format, or as PostScript documents that are
interpretable by Ghostscript, and they must be printable on both USLetter and A4
paper. Individuals for which this requirement is a hardship should contact the
program chair.

Submitted papers must have content that has not previously been published in
other conferences or refereed venues, and simultaneous submission to other
conferences or refereed venues is unacceptable. Each paper should explain its
contributions in both general and technical terms, clearly identifying what has
been accomplished, saying why it is significant, and comparing it with previous
work. Authors should strive to make the technical content of their papers
understandable to a broad audience.

Important dates and submission details

        Submission Deadline               13.00 EST (18.00 UTC), 1 March 2000
        Submission Length                 12 pages in ACM conference format
        Notification of Acceptance or Rejection8 May 2000
        Final Paper Due                   12 June 2000
        ICFP '00 in Montreal              18--20 September 2000

The submission deadline and length above are firm. Submit electronically via the
Web at:

You will be asked to create and bookmark a personal page. (All information you
give will be kept private.) You may submit at any time, and once you have
submitted, you may update your submission at any time before the deadline. ICFP
thanks OOPSLA and Bjorn Freeman-Benson for providing the submission software and

Application letters and functional pearls should be labeled as such on the first
page. They may be any length up to the full twelve pages, though shorter
submissions are welcome.

Authors of accepted papers will be required to sign ACM copyright release forms.

Program Committee

Program Chair                               Program Committee
~~~~~~~~~~~~~~~                              ~~~~~~~~~~~~~~~~~~
Philip Wadler                               Richard Bird, Oxford
Bell Labs, Lucent Technologies              Craig Chambers, Washington
600 Mountain Ave, room 2T-402               Charles Consel, IRISA               
Murray Hill, NJ 07974-0636, USA             Susan Eisenbach, Imperial           
phone:  +1 908 582 4004                     Fergus Henderson, Melbourne         
http://www.cs.bell-labs.com/~wadler         Ralf Hinze, Bonn                    
wadler@REDACTED               Shriram Krishnamurthi, Rice         
                                            Xavier Leroy, INRIA/Trusted Logic   
General Chair                               Eugenio Moggi, Genova               
~~~~~~~~~~~~~~                               Greg Morisset, Cornell              
Martin Odersky                              Atsushi Ohori, Kyoto                
Ecole Polytechnique Federale de Lausanne    Catuscia Palamidessi, Penn State    
					    Andrew Wright, Intertrust           

More information about the erlang-questions mailing list