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 or
http://www.diku.dk/popl97/.
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.
Return to the FOOL 4 home page.