English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
CFP (last call): PLI99 = ICFP + PPDP + HOOTS + IDL + ...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-08-22 (19:16)
From: Didier.Remy@i...
Subject: CFP (last call): PLI99 = ICFP + PPDP + HOOTS + IDL + ...

                        LAST CALL FOR PARTICIPATION

                                   PLI 99

                  Principles, Logics, and Implementations
                    of high-level programming languages

                               Paris, France,
                       September 27 - October 1, 1999


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


|    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    |                             |


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. 


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


PLI 99 will be held in Paris, at the 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


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.


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/


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).