From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA18964 for caml-redistribution; Sun, 22 Aug 1999 21:16:54 +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 QAA27624 for ; Wed, 18 Aug 1999 16:07:25 +0200 (MET DST) 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 QAA10924; Wed, 18 Aug 1999 16:07:01 +0200 (MET DST) Received: (from remy@localhost) by morgon.inria.fr (8.8.7/8.8.7) id QAA04031; Wed, 18 Aug 1999 16:16:55 +0200 Message-ID: <19990818161655.02774@morgon.inria.fr> Date: Wed, 18 Aug 1999 16:16:55 +0200 From: Didier.Remy@inria.fr To: types@cis.upenn.edu, eapls@mailbase.ac.uk, fr-sem@frmug.org, caml-list@pauillac.inria.fr, 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, gulp@di.unipi.it Subject: CFP (last call): PLI99 = 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 Sender: weis LAST 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/ ---------------- Important date August 22 Deadline for early registrations. ---------------- 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 at the PLI home page given above. The rest of this message is only a summary of this 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. TRAVEL GRANTS Students and ACM members who will present 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 on the WEB 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).