[Prev][Next][Index][Thread]
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
http://www.cs.umd.edu/~pugh/popl97
http://www.diku.dk/popl97
or at the end of this message.
--------------------------------------------------------------------------
PRELIMINARY SCHEDULE:
SATURDAY, JANUARY 18TH
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
--------------------------------------------------------------------------
PROGRAM COMMITTEE:
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
LOCAL ARRANGEMENTS CHAIR:
Radhia Cousot, CNRS and Ecole Polytechnique
(radhia@lix.polytechnique.fr)
Correspondence and questions should be sent to pierce@cs.indiana.edu.
---------------------------------------------------------------------------
CONFERENCE REGISTRATION
=======================
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:
http://www.cs.umd.edu/~pugh/popl97
http://www.diku.dk/popl97
THE DEADLINE FOR EARLY REGISTRATION IS DECEMBER 18, 1996.
------------------- 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
============================
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
http://lix.polytechnique.fr/~radhia/popl97/