Second Call for Papers

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

                         18 January, 1997
                          Paris, France
                 Held in conjunction with 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 3 was held this summer, July 24-25, in conjunction with LICS '96
and the Federated Logic Conference.  Abstracts of the papers presented
there can be found through the FOOL 3 home page:

The next workshop, FOOL 4, will take place on 18 January, 1997, the
day following POPL '97, in Paris.  Submissions for this event are
invited in the general area of theoretical foundations of object-
oriented languages, including semantics, calculi, type theory, and
program verification of object-oriented languages.  We also welcome
contributions on foundational issues related to concurrent and
distributed object-oriented languages and database languages with
object-oriented features.

Program Committee:

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

Local arrangements chair:

  Radhia Cousot, CNRS and Ecole Polytechnique 

Important dates:
  Submission deadline           30 September, 1996
  Notification of acceptance    1 November, 1996
  Final papers due              1 December, 1996
  Workshop                      18 January, 1997

Submission procedure:

We solicit submissions on original research not published or submitted
for publication elsewhere.  Extended abstracts, in English and not to
exceed 2500 words (approximately 5 pages), should be submitted to the
program chair by Monday, 30 September, 1996.  Electronic submission is
preferred: documents in postscript format for US letter size paper
should be e-mailed to  [If electronic
submission is impossible, please contact the program chair to make
special arrangements.]  The cover page should include a return postal
address and an electronic mail address if possible.  All submissions
must be received by midnight (local time) on September 30th.  Late
submissions cannot be accepted.

Since the main focus in selecting workshop contributions will be the
intrinsic interest and timeliness of the work, authors are encouraged
to submit (polished) descriptions of work in progress as well as
papers describing completed projects.

A world-wide web page will be created and made available as an
informal electronic conference proceedings.  An eventual journal issue
devoted to selected papers, following the usual journal refereeing
process, is under discussion.  

Final copies of accepted papers for the electronic proceedings will be due
on December 1st.

Correspondence and questions should be sent to