Preface: Volume 82, Issue 8

Abstract

First Workshop on Object Oriented DevelopmentsThis volume contains the Proceedings of the First Workshop on Object Oriented Developments (WOOD'2003). The Workshop was held in Warsaw, Poland on April 13, 2003, as a satellite event to ETAPS'2003.Object-oriented programming languages have long been the subject of extensive foundational and applied research in a wide range of fields, including semantics, type theory, program verification and program development. More recently, object-oriented programming has emerged as an effective paradigm for structuring, composing and coordinating concurrent, distributed, and mobile code. The workshop provided a forum for discussion about theoretical work on object-oriented models and type systems, as well as presentation of experience reports on, and novel techniques for, program analysis and verification.The volume includes two invited presentations, and five papers selected for publication by the following Program Committee Members: •Viviana Bono (University of Torino, Italy)•Michele Bugliesi (University of Venezia, Italy)•Giuseppe Castagna(Ecole Normale Superieure, Paris, France)•Adriana Compagnoni(Stevens Institute of Technology, USA)•Kathleen Fisher(AT&T Labs, USA)•Matthew Flatt(University of Utah, USA)•Julian Rathke(University of Sussex, UK)•Christopher Stone(Harvey Mudd College, USA))This volume will be published as Volume 82 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URLhttp://www.elsevier.nl/locate/entcsWe would like to thank all who contributed to the success of WOOD2003:the participants, the invited speakers Kim B. Bruce and Vladimiro Sassone, the authors, the PC members, the ETAPS organisers and the ENTCS editors. Special thanks to Damian Niwinski for his help with the organization of the Workshop, to Michael Mislove and Elsevier Publishers for making it possible to include our proceedings in Electronic Notes in Theoretical Computer Science and to Warsaw University for printing the hard copy of our proceedings. June 15, 2003Viviana Bono and Michele Bugliesi