[mercury-users] Call for participation PLI 2000

Franck van Breugel franck at cs.yorku.ca
Sat Jul 15 11:36:16 AEST 2000

			       PLI 2000

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

			 Montréal, Canada
			September 17-22, 2000

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.

PLI 2000 comprises the following conferences and workshops: 
    ICFP    International Conference on Functional Programming 
    PPDP    Principles and Practice of Declarative Programming
    Haskell Workshop on Haskell
    HLCL    High-Level Concurrent Languages 
    HOOTS   Higher Order Operational Techniques in Semantics 
    RULE    Rule-Based Programming 
    Scheme  Workshop on Scheme and Functional Programming
    SAIG    Semantics, Applications and Implementation of Program Generation 
    TIC     Types in Compilation 


A detailed presentation of the colloquium including a preliminary program, 
registration and accommodation information and forms are all available on 
the WEB.  The rest of this message is a summary of the PLI 2000 home page. 
 | Sep 17  | Sep 18  | Sep 19  | Sep 20    | Sep 21   | Sep 22  |
 | Sunday  | Monday  | Tuesday | Wednesday | Thursday | Friday  |
 |         |                         |                          |
 |         |         I C F P         |         P P D P          |
 |         |                         |                          |
 | Haskell |         |  RULE   |   HLCL    |   TIC    |  HOOTS  |
 | Scheme  |                   |   SAIG    |                    |

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 25. 
PLI 2000 will be held in Montréal, at

       Holiday Inn Select
       Jardin Sinomonde
       99 avenue Viger Ouest
       Montréal (Québec)
       Canada H2Z 1E9

       Reservation:    +1 888 878 9888 

       URL:            http://www.hiselect-yul.com
       Email:          hiselect-yul at sympatico.ca
       Telephone:      +1 514 878 9888
       Fax:            +1 514 878 6341
The Holiday Inn offers rooms at the reduced conference rate of 
CAD $ 130 + 15% tax for both single and double rooms.  (1 CAN $ equals 
approximately 0.68 US $.)  Indicate that you are attending the PLI 2000 
colloquium of the ACM when you make the reservation.  Hotel reservations 
need to be done before August 25 to secure the reduced rate.   
Reservations received after this date will be accepted on a space 
available basis at the reduced conference rate.  Additional information 
is provided on the WEB.

    September is usually very busy in Montréal, so you should arrange
	         for your accommodation as soon as possible.

Students who will present a paper at one of the conferences or workshops 
associated with PLI 2000 may apply for travel fellowships from the PAC fund 
(see http://www.acm.org/sigplan/PAC).  
For any information, please contact the conference secretariat
     PLI 2000
     c/o Yvette Dubuis
     DI - LAMP
     EPFL - Ecole Polytechnique Federale de Lausanne
     IN (Ecublens)
     CH 1015 Lausanne

     Email:           pli00 at cs.yorku.ca
     Telephone:       +41 21 693 5202
     Fax:             +41 21 693 6660

PLI 2000 is organized by ACM SIGPLAN with the support of Microsoft Research.  
ICFP 2000 is also supported by Cambridge University Press, Compaq, EAPLS, 
Université de Montréal, and Sun Microsystems.  PPDP 2000 is also 
supported by the Canadian Space Agency, York University, EAPLS, the 
Association for Logic Programming, and COMPULOG Americas.


mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list