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: http://www.cs.williams.edu/~kim/FOOL. 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 (radhia@lix.polytechnique.fr) 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 pierce@cs.indiana.edu. [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 pierce@cs.indiana.edu.