Forwarded message from [daemon@sics.se (Color Daemon 2)] sent originally on Mon, 25 Oct 1999 09:09:58 +0200 (MET DST): : 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: [SICStus] PLI 2000: Call for Workshops : Date: Fri, 22 Oct 1999 17:30:03 -0400 : From: Amy Felty felty@research.bell-labs.com : Resent-From: Mats Carlsson matsc@sics.se : : 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

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html