FOOL workshop: Call for Participation

[------- The Types Forum ------ http://www.cs.indiana.edu/types -------]

                        CALL FOR PARTICIPATION

                 The Fourth International Workshop on
               Foundations of Object-Oriented Languages
                               (FOOL 4)

                           18 January, 1997
                      La Sorbonne, Paris, France
                          Following POPL '97

While object-oriented programming languages have swept the programming
community over the last decade, it has taken longer for the language
theory community to develop sound theoretical foundations for these
languages.  However, work over the last several years has provided a
better understanding of the key concepts of object-oriented languages
and has led to important developments in the type theory, semantics,
and verification of object-oriented languages.  The FOOL workshops
bring together researchers to share new ideas and results.

FOOL 4 will take place on 18 January, 1997, the day following POPL
'97.  Eight contributed papers will be presented; in addition, there
will be two invited talks:

        Luca Cardelli
           Objects, Classes, Abstractions
        Guy Steele
           Should Java Have Parameterized Types?

To register for the workshop, use the standard POPL registration form,
available through


or at the end of this message.



9:00 - 10:00   Invited talk

   Should Java Have Parameterized Types?
     Guy Steele

10:30-12:10    Contributed talks

   Typed pi-calculus at work: a proof of Jones's parallization
   transformation on concurrent objects 
     Davide Sangiorgi
     INRIA-Sophia Antipolis

   Subtyping is not a good "match" for object-oriented languages
     Kim Bruce and Leaf Petersen
     Williams College

   Is the Java type system sound?
     Sophia Drossopolou and Susan Eisenbach
     Department of Computing, Imperial College, London

   Object Types and Modal Formulae
     Dan Andersen, Lars Pedersen, Hans Huttel, and Josva Kleist
     Department of Computer Science, Aalborg University

2:00 - 3:00    Invited talk

   Objects, Classes, Abstractions
     Luca Cardelli

3:30 - 4:20    Contributed talks

   Breaking through the n^3 barrier: Faster object type inference
     Fritz Henglein
     DIKU, Denmark

   Type inference with constrained types
     Martin Sulzmann, Martin Odersky, and Martin Wehr
     University of Karlsruhe

4:50 - 5:40    Contributed talks

   Ecstatic:  An object-oriented programming language with an
   axiomatic semantics 
     Rustan Leino
     Digital Systems Research Center

   Type Soundness for an OO Language with Multimethods, Block Structure,
   and Modules 
     Craig Chambers and Gary Leavens
     University of Washington

  Luca Cardelli, Digital, SRC
  Giuseppe Castagna, CNRS & Ecole Normale Superieure 
  John Mitchell, Stanford University
  Atsushi Ohori, Kyoto University
  Benjamin Pierce, Indiana University  (chair)
  Scott Smith, Johns Hopkins University
  David Walker, Warwick University


  Radhia Cousot, CNRS and Ecole Polytechnique 

Correspondence and questions should be sent to pierce@cs.indiana.edu.



To register for POPL'97 and co-located workshops, fill out the registration
form, attached below, and send with payment by either electronic or surface
mail to:

  POPL '97
  c/o Carole Mann
  2060 Goldwater Court
  Maitland, FL  32751  USA

  Phone:  +1 (407) 628-3602
  Fax:      +1 (407) 628-3186
  email:    mann@cs.ucf.edu

Web registration is also available at URLs:



------------------- POPL'97 Registration Form -------------------

Name:        ___________________________________________________

Affiliation: ___________________________________________________

Address:     ___________________________________________________



Phone:       ___________________________________________________

Fax:         ___________________________________________________

E-mail:      ___________________________________________________

Dietary requirements: ____ Vegetarian    ____ Vegan    ____ Kosher

____ I do NOT want to be on the list of attendees which will be sent
     electronically to attendees.

____ I do NOT want to be included on the list of attendees for additional
     ACM mailings.

Special needs: _________________________________________________


Registration Fees:

  - Conference registration includes the proceedings, reception,
    lunches and coffee breaks.
  - Workshop registration includes coffee breaks.

Fee Schedule (in US$)
    ( check ALL applicable fees)	Conference	Workshops
			                early	late

     ACM and (SIGACT or SIGPLAN)	__325	__375	    __60
     ACM or SIGACT or SIGPLAN		__350	__400	    __60
     Non-member				__375	__450	    __70
     Full-time Student			__125	__150	    __40

Payment Computation
        Conference fee	$
        CW97 workshop	$
        AAS97 workshop	$
        FOOL4 workshop	$
        DSL97 workshop	$

	Total payment:	$____________

Make Checks or Money Orders payable to POPL '97.  If paying by VISA,
MasterCard, or American Express, please complete the following:

Card (check one):    ____VISA    ____MC    ____AMEX

Card #:  ______________________    Expires:  _______________

Signature:  __________________________

Note that there is a $50 fee for cancellation.


Hotel and travel information, including detailed information on 
room reservations at any of a number of hotels near the Sorbonne,
is available at the URL