[Prev][Next][Index][Thread]
PLI 2000: Call for Workshops
-
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: PLI 2000: Call for Workshops
-
From: Amy Felty <felty@research.bell-labs.com>
-
Date: Fri, 22 Oct 1999 17:30:03 -0400
CALL FOR WORKSHOP PROPOSALS
PRINCIPLES, LOGICS, AND IMPLEMENTATIONS
OF HIGH-LEVEL PROGRAMMING LANGUAGES (PLI'00)
Montreal, Canada, September 18-23, 2000
http://www.cs.yorku.ca/pli-00
Submission deadline: January 7, 2000
Proposals are invited for workshops at PLI'00, a federation of
colloquia which includes ICFP 2000 (ACM-SIGPLAN International
Conference on Functional Programming) and PPDP 2000 (ACM-SIGPLAN 2nd
International Conference on Principles and Practice of Declarative
Programming), to be held in Montreal, September 18-23, 2000. (Details
of these and other affiliated events are available from the Web pages
listed below.) Such proposals should be sent to the Workshop Chair of
PLI'00, should be no longer than two pages and should describe the
topic of the workshop (that should relate broadly to declarative
and/or functional programming), the names and contact information of
the organizers, the expected number of participants and duration, and
any other factors relevant to its selection. The preference is for
day-long workshops, but longer or shorter ones will be considered. THE
DEADLINE FOR RECEIPT OF PROPOSALS IS JANUARY 7, 2000. Proposals will
be evaluated by the PLI'00 Workshop Chair, the ICFP and PPDP Program
Chairs, and the ICFP General Chair. Acceptance decisions will be made
by February 1, 2000.
A more detailed call for workshop proposals is available at
http://www.cs.yorku.ca/pli-00/workshops.html
Evaluation Committee:
Amy Felty (Bell Labs), PLI'00 Workshop Chair, felty@research.bell-labs.com
Maurizio Gabbrielli (University of Udine), PPDP 2000 Program Co-Chair
Martin Odersky (EPFL Lausanne), ICFP 2000 General Chair
Frank Pfenning (Carnegie Mellon University), PPDP 2000 Program Co-Chair
Philip Wadler (Bell Labs), ICFP 2000 Program Chair
PLI'00 Web Page: http://www.cs.yorku.ca/pli-00
ICFP 2000 Web Page: http://diwww.epfl.ch/~odersky/icfp2000
PPDP 2000 Web Page: http://www.cs.yorku.ca/ppdp-00