[From nobody Mon Mar 25 16:13:32 2013 Return-Path: <owner-erlang-questions@erlang.org> Received: from styx.du.uab.ericsson.se (styx [172.30.36.16]) by super.du.uab.ericsson.se (8.10.1/8.10.1/erix-1.8) with ESMTP id f95D4mX11379; Fri, 5 Oct 2001 15:04:48 +0200 (MET DST) Received: from hades.cslab.ericsson.net (hades.cslab.ericsson.net [193.180.168.23]) by styx.du.uab.ericsson.se (8.9.3/8.9.3/styx-1.0) with ESMTP id PAA10632; Fri, 5 Oct 2001 15:04:48 +0200 (CEST) (envelope-from owner-erlang-questions@erlang.org) Received: (from majordom@localhost) by hades.cslab.ericsson.net (8.10.0/8.10.0/hades-1.2) id f95D37A17412 for erlang-questions-outgoing; Fri, 5 Oct 2001 15:03:07 +0200 (CEST) Received: from netra.cs.yale.edu (netra.cs.yale.edu [128.36.229.21]) by hades.cslab.ericsson.net (8.10.0/8.10.0/hades-1.2) with ESMTP id f95D2k417405 for <erlang-questions@erlang.org>; Fri, 5 Oct 2001 15:02:53 +0200 (CEST) Received: from cs.yale.edu (net249-194.cluster.yale.edu [130.132.249.194]) by netra.cs.yale.edu (Pro-8.9.3/Pro-8.9.3) with ESMTP id JAA26776; Fri, 5 Oct 2001 09:02:03 -0400 Message-ID: <3BBDB000.6A1DBBF@cs.yale.edu> Date: Fri, 05 Oct 2001 09:05:04 -0400 From: Carsten Schuermann <carsten@cs.yale.edu> Organization: Yale University X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.2.16-3 i686) X-Accept-Language: en MIME-Version: 1.0 To: amast@cs.utwente.nl, caml-list@pauillac.inria.fr, ccp@sics.se, clp@comp.nus.edu.sg, clean-list@cs.kun.nl, compunode@dfki.de, concurrency@cwi.nl, eacsl@dimi.uniud.it, erlang-questions@erlang.org, gulp@di.unipi.it, haskell@haskell.org, logic@theory.lcs.mit.edu, lprolog@cs.umn.edu, mercury-users@cs.mu.oz.au, prolog-vendors@sics.se, rewriting@ens-lyon.fr, sicstus-users@sics.se, types@cis.upenn.edu, users@mozart-oz.org, grin@di.unipi.it, eatcs-it@cs.unibo.it, formal-methods@cs.uidaho.edu, theorem-provers@ai.mit.edu, logic@CS.Cornell.EDU, lprolog@cis.upenn.edu, theorynt@listserv.nodak.edu, mlnet@swi.psy.uva.nl, forum@jsoftware.com, pl-seminar@ccs.neu.edu, church-announce@types.bu.edu, plt-scheme@fast.cs.utah.edu Subject: PLI 2002-Call for workshop proposals Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-erlang-questions@erlang.org Precedence: bulk X-Mozilla-Status2: 00000000 CALL FOR WORKSHOP PROPOSALS Principles, Logics, and Implementations of high-level programming languages (PLI 2002) Pittsburgh, USA October 3 - 8, 2002 Carsten Schuermann http://pli2002.cs.brown.edu/workshops PLI 2002, a federation of colloquia which includes ICFP 2002 (ACM-SIGPLAN International Conference on Functional Programming) and PPDP 2002 (ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming), will be held in Pittsburgh, USA, October 3-8 2002. Affiliated workshops will be scheduled from October 3 through October 8. Researchers and practitioners are invited to submit workshop proposals, that may be sent to the PLI 2002 Workshop Chair Carsten Schuermann, carsten@cs.yale.edu by e-mail (Postscript, Pdf, ASCII) with "PLI02 Workshop Submission" in the subject header. Following SIGPLAN's sponsorship procedures, proposals should include: 1. Name of the workshop, name of the sponsoring conference (ICFP/PPDP) Workshops associated with ICFP may be scheduled during PPDP, workshops associated with PPDP may be scheduled during ICFP. 2. The goals of the workshop 3. Names and addresses of organizers 4. Names of potential participants, such as program committee members 5. Plans for call for participation (e.g., call for papers) 6. Expected number of attendees 7. Plans for publicity 8. Plans for a proceedings 9. Description of past versions of the workshop including date, organizers, paper submission/acceptance counts, attendance, site, registration fees and summary budget information 10. Url address of the workshop description Proposals will be evaluated by the PLI 2002 Workshop Chair, the ICFP, and PPDP Program and Conference Chairs, and by the SIGPLAN Executive Committee. Be advised that workshops must be sponsored by SIGPLAN and require therefore SIGPLAN approval (see http://www.acm.org/sigplan/sigplan_workshop_proposal.htm for more information.) THE DEADLINE FOR RECEIPT OF PROPOSALS IS DECEMBER 7, 2001. Notification of acceptance will be made by February 1, 2002. Workshop selection committee: Claude Kirchner : Program Chair of PPDP 2002 Simon Peyton Jones : Program Chair of ICFP 2002 Frank Pfenning : Chair of PPDP 2002 Carsten Schuermann : Workshop Chair of PLI 2002 Mitch Wand : General Chair of ICFP 2002 ]