caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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 + ...
Date: Wed, 18 Aug 1999 16:16:55 +0200	[thread overview]
Message-ID: <19990818161655.02774@morgon.inria.fr> (raw)


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





                 reply	other threads:[~1999-08-22 19:16 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=19990818161655.02774@morgon.inria.fr \
    --to=didier.remy@inria.fr \
    --cc=THEORYNT@LISTSERV.NODAK.EDU \
    --cc=caml-list@pauillac.inria.fr \
    --cc=clp@comp.nus.edu.sg \
    --cc=compunode@compulog.org \
    --cc=concurrency@cwi.nl \
    --cc=eacsl@dimi.uniud.it \
    --cc=eapls@mailbase.ac.uk \
    --cc=fr-sem@frmug.org \
    --cc=gulp@di.unipi.it \
    --cc=lprolog@cis.upenn.edu \
    --cc=rewriting@ens-lyon.fr \
    --cc=types@cis.upenn.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).