[Prev][Next][Index][Thread]
CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ...
-
To: types@cis.upenn.edu, ealps@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, prog-logique@irisa.fr
-
Subject: CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ...
-
From: Didier.Remy@inria.fr
-
Date: Tue, 13 Jul 1999 14:32:45 +0200
-
Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex
-
Phone: (33) 1 3963 5317 -- Sec: (33) 1 3963 5570 -- Fax: (33) 1 3963 5684
-
Reply-To: Didier.Remy@inria.fr
-
Web: http://cristal.inria.fr/~remy
SECOND 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 dates
August 15 Extended deadline for TMR grant applications.
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
Researchers with needs for travel funds may wish to explore one of the
following two possibilities:
* 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 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).