[mercury-users] Call for Papers, ICFP 2000 (correction)

Philip Wadler wadler at research.bell-labs.com
Thu Oct 28 00:21:16 AEST 1999


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 at 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 at 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
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the users mailing list