[mercury-users] ICFP 2000: Call for Papers

[Philip Wadler]

Below is the official call-for-papers for ICFP 2000.  You may prefer
to view it on the web:
		 http://www.cs.bell-labs.com/~wadler/icfp2000

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, 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:  Colloquium on Principles, Logics,
	   and Implementations of High-Level Programming Languages)

		 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 real-life 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.

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.

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.

Submissions will be carried out electronically via the Web.  (The exact method
will be determined at a later date.)  Papers must be submitted as PostScript
documents that are interpretable by Ghostscript, or in PDF format, and they
must be printable on both USLetter and A4 paper.  Individuals for which this
requirement is a hardship should contact the program chair.  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              Charles Consel, IRISA
600 Mountain Ave, room 2T-402               Susan Eisenbach, Imperial
Murray Hill, NJ 07974-0636, USA             Fergus Henderson, Melbourne
phone:  +1 908 582 4004                     Ralf Hinze, Bonn
http://www.cs.bell-labs.com/~wadler         Shriram Krishnamurthi, Rice
wadler at research.bell-labs.com               Xavier Leroy, INRIA/Trusted Logic
                                            Eugenio Moggi, Genova
General Chair                               Greg Morisset, Cornell
~~~~~~~~~~~~~~                               Atsushi Ohori, Kyoto
Martin Odersky                              Catuscia Palamedissi, Penn State
Ecole Polytechnique Federale de Lausanne    Andrew Wright, Intertrust
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------