[Prev][Next][Index][Thread]
Call for Papers, ICFP 2000 (correction)
-
To: concurrency@cwi.nl, eapls-request@mailbase.ac.uk, lprolog@cis.upenn.edu, rewriting@ens-lyon.fr, theorynt@listserv.nodak.edu, types@cis.upenn.edu, haskell@haskell.org, erlang-questions@erlang.org, forum@jsoftware.com, mercury-users@cs.mu.oz.au, sisal-info@sisal.llnl.gov, lics-request@sun5.mathematik.uni-freiburg.de, softverf@xsun.sdct.itl.nist.gov, seworld@cs.colorado.edu
-
Subject: Call for Papers, ICFP 2000 (correction)
-
From: Philip Wadler <wadler@research.bell-labs.com>
-
Date: Wed, 27 Oct 1999 10:21:16 -0400
Last week I posted the call for papers for ICFP 2000, but it contained
some errors. Corrected information is below. Please see the web site
for the full call. -- 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
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 Rejection 8 May 2000
Final Paper Due 12 June 2000
ICFP '00 in Montreal 18--20 September 2000
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
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
fcc: travel/icfp00
Subject: Call for Papers, ICFP 2000 (correction)
--------
Last week I posted the call for papers for ICFP 2000, but it contained
some errors. Corrected information is below. Please see the web site
for the full call. -- 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
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 Rejection 8 May 2000
Final Paper Due 12 June 2000
ICFP '00 in Montreal 18--20 September 2000
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
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