From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA20240 for caml-redistribution; Mon, 14 Jun 1999 17:52:48 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20023; Mon, 14 Jun 1999 16:29:43 +0200 (MET DST) Resent-From: remy@morgon.inria.fr Received: from morgon.inria.fr (morgon.inria.fr [128.93.8.33]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id QAA07161; Mon, 14 Jun 1999 16:29:37 +0200 (MET DST) Received: (from remy@localhost) by morgon.inria.fr (8.8.7/8.8.7) id QAA27010; Mon, 14 Jun 1999 16:35:57 +0200 Resent-Message-Id: <199906141435.QAA27010@morgon.inria.fr> Message-ID: <19990606123236.54715@morgon.inria.fr> Date: Sun, 6 Jun 1999 12:32:36 +0200 From: Didier.Remy@inria.fr To: types@cis.upenn.edu Subject: Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ... Reply-To: Didier.Remy@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.85e Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex Phone: (33) 1 3963 5317 -- Sec: (33) 1 3963 5570 -- Fax: (33) 1 3963 5684 Web: http://cristal.inria.fr/~remy Resent-Date: Mon, 14 Jun 1999 16:35:57 +0200 Resent-To: compunode@compulog.org, concurrency@cwi.nl, eacsl@dimi.uniud.it, THEORYNT@LISTSERV.NODAK.EDU, clp@comp.nus.edu.sg, lprolog@cis.upenn.edu, rewriting@ens-lyon.fr, caml-list@pauillac.inria.fr, remy@pauillac.inria.fr Sender: weis CALL FOR PARTICIPATION PLI 99 Principles, Logics, and Implementations of high-level programming languages Paris, France, September 27 - October 1, 1999 http://pauillac.inria.fr/pli/ ---------------- The colloquium on Principles, Logics, and Implementations of high-level programming languages is a collection of conferences and workshops aimed at the advancement of high-level programming languages. The first edition of PLI will be held in September 1999 in Paris and will bring together two popular conferences ICFP and PPDP (previously known as PLILP/ALP) focused on functional and declarative programming languages, and a collection of related satellite events. PLI 99 comprises the following conferences and workshops: ICFP International Conference on Functional Programming PPDP Principles and Practice of Declarative Programming Two-day workshops: HOOTS Higher-Order Operational Techniques in Semantics IDL Implementation of Declarative Languages One-day workshops: COCL Component-based Software Development in Computational Logic DPS Declarative Programming with Sets FDPE Functional and Declarative Programming in Education HASKELL workshop LFM Logical Frameworks and Meta-languages OOSDS Object-oriented Specification Techniques for Distributed Systems and Behaviours WAAAPL Workshop on Algorithmic Aspects of Advanced Programming Languages ---------------- A detailed presentation of the conference including a preliminary program, registration and accomodation information and forms are all avalaible on the WEB. The rest of this message is a summary of the PLI home page. SCHEDULE OF EVENTS -------------------------------------------------------------------------- | Sep 27 Sep 28 | Sep 29 | Sep 30 Oct 1 | | Monday Tuesday | Wednesday | Thursday Friday | |==========================================================================| | | | | I C F P | P P D P | | | | |==========================================================================| | I D L | FDPE | H O O T S | |----------------------------+---------------+-----------------------------| | COCL | LFM | | WAAAPL | HASKELL | |--------------+-------------+---------------------------------------------| | OOSDS | DPS | | |----------------------------+---------------------------------------------| | | Banquet | | -------------------------------------------------------------------------- REGISTRATION The registration fees and the registration procedure are described on the WEB. To benefit from the early bird rate, your registration and payment must be received by August 20. If you are applying for a TMR grant, your TMR application form must be received by July 1. For registrations that cannot be made using the WEB form, please contact the conference secretariat. GRANTS FOR YOUNG RESEARCHERS Young European Participants (aged of 35 or younger) may apply for financial support from the Training and Mobility of Researchers (TMR) program until July 1. Information about TMR grants and the application form are available on the WEB at the address given above and can also be obtained by fax from the conference secretariat. Students who will be presented a paper at either ICFP 99 or PPDP 99 may apply for travel fellowships from the PAC fund (see http://www.acm.org/sigplan/PAC) VENUE PLI 99 will be held in Paris, at the Maison de la Chimie. MAISON DE LA CHIMIE 28, rue Saint Dominique 75007 PARIS tél: 33 (1) 40 62 27 00 fax: 33 (1) 45 55 98 62 ACCOMMODATION The ATI agency offers a large panel of hotels with different categories of comfort and prices. Rooms have been pre-booked in several hotels that are usually at a couple of metro stations from the Maison de la Chimie. Walking from your hotel to Maison de la Chimie will be possible only if you have time or good legs, since unfortunately, there are not very many convenient lodging right next to the Maison de la Chimie. To book a room through the ATI, please print and fill the booking form available in (gzipped) Postscript or PDF format and send it directly to ATI. You will be charged a 50 FF fee per file. --------------------------------------------------------------- September is usually very busy in Paris, so you should arrange for your accommodation as soon as possible. --------------------------------------------------------------- CONFERENCE SECRETARIAT For any information, please contact the conference secretariat INRIA Rocquencourt Bureau des Colloques BP 105 78153 Le Chesnay Cedex - France Phone: +33 1 3963 5675 Fax: +33 1 3963 5638 Email: symposia@inria.fr URL: http://pauillac.inria.fr/pli/ SPONSORS PLI 99 is organized by INRIA in collaboration with the ACM SIGPLAN and with the sponsorship of the CNRS (France), Compaq (USA), Compulog (EU), European Association for Programming Languages and Systems (EU), France-Telecom (France), MENRT (France), Microsoft-Research (UK), Trusted Logic (France), and the EU program "Training and Mobility of Research" (EU).