[Prev][Next][Index][Thread]
ICFP 2000
-
To: concurrency@cwi.nl, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, formal-methods@cs.uidaho.edu, theorem-provers@ai.mit.edu, gulp@di.unipi.it, logic@cs.cornell.edu, lprolog@cis.upenn.edu, rewriting@ens-lyon.fr, theorynt@listserv.nodak.edu, types@cis.upenn.edu, ccp@sics.se, users@mozart-oz.org, compunode@dfki.de, prolog@mch.sni.de, sicstus-users@sics.se, prolog-vendors@sics.se, mlnet@swi.psy.uva.nl, haskell@haskell.org, erlang-questions@erlang.org, forum@jsoftware.com, mercury-users@cs.mu.oz.au, sisal-info@sisal.llnl.gov
-
Subject: ICFP 2000
-
From: Philip Wadler <wadler@research.bell-labs.com>
-
Date: Tue, 22 Feb 2000 10:35:41 -0500
Below is the call for ICFP 2000. You may prefer to view it on the web:
http://www.cs.bell-labs.com/~wadler/icfp2000
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)
http://www.cs.bell-labs.com/~wadler/icfp2000
Scope
~~~~~
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
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.
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
http://www.acm.org/sigs/pubs/proceed/template.html.
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:
http://oopsla.acm.org/icfpservlets/login
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
server.
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@research.bell-labs.com 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