[Prev][Next][Index][Thread]
PLI 2001-Call for workshop proposals
-
To: types@cis.upenn.edu, concurrency@cwi.nl, eacsl@dimi.uniud.it, 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, ccp@sics.se, users@mozart-oz.org, compunode@dfki.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
-
Subject: PLI 2001-Call for workshop proposals
-
From: "b.venneri" <venneri@dsi.unifi.it>
-
Date: Mon, 9 Oct 2000 14:19:30 -0400
CALL FOR WORKSHOP PROPOSALS
Principles, Logics and Implementations
of high-level programming languages (PLI 2001)
Firenze, Italy
September 3 - 7, 2001
http://music.dsi.unifi.it/pli01
PLI 2001, a federation of colloquia which includes ICFP 2001 (ACM-SIGPLAN
International Conference on Functional Programming) and PPDP 2001 (ACM-SIGPLAN
International Conference on Principles and Practice of Declarative
Programming), will be held in Firenze, Italy, September 3 -7 2001.
Affiliated workshops will be scheduled from September 2 through September 8.
Researchers and practitioners are invited to submit workshop proposals,
that may be sent to the PLI 2001 Workshop Chair
Betti Venneri, venneri@dsi.unifi.it,
by e-mail (Postscript, Pdf, ASCII) with "PLI01 Workshop Submission"
in the subject header.
Proposals should include
* a short scientific justification of the proposed topic
(somehow related to the colloquia),
* names and contact information of the organizers,
* expected number of participants and duration
(the preference is for one day-long workshops),
and any other relevant information (e.g., invited speakers, publication
policy, etc.).
THE DEADLINE FOR RECEIPT OF PROPOSALS IS JANUARY 8, 2001.
Proposals will be evaluated by the PLI 2001 Workshop Chair, the ICFP and
PPDP Program Chairs and Conference Chairs.
Notification of acceptance will be made by February 2, 2001.
Workshop selection committee:
Xavier Leroy (INRIA, France), ICFP 2001 Program Chair
Benjamin C. Pierce (Univ. of Pennsylvania), ICFP 2001 Conference Chair
Harald Sondergaard (Univ. of Melbourne), PPDP 2001 Program Chair
Rocco De Nicola (Univ. of Firenze), PPDP 2001 Conference Chair
Betti Venneri (Univ. of Firenze), PLI 2001 Workshop Chair.
web page: http://music.dsi.unifi.it/pli01/wkshops