WOOD: Workshop on Object-Oriented Developments

co-located with ETAPS 2003

April 12, 2003, Warsaw, Poland

speakers| programme | registration | committee | dates | submissions


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 aims at providing 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.

Submissions for WOOD2003 are invited in the above areas: topics of interest include language semantics, type systems, program analysis and verification, design of new calculi and languages. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects.


Kim Bruce  (Williams College, USA)
Vladimiro Sassone  (COGS, Univ. of Sussex)


  9:30 - 10:30  Challenging typing issues in object-oriented languages
Invited Presentation: Kim Bruce (Williams College, USA)
  10:30 - 11:00  Coffee
  11:00 - 11:45  Extending Java to dynamic object behaviors
L. Bettini, S. Capecchi and B. Venneri (Univ. of Firenze)
  11:45 - 12:30  BabyJ: From Object Based to Class Based Programming via Types
C. Anderson and S. Drossopoulou (Imperial College)
  12:30 - 14:15  Lunch
  14:15 - 15:15  Temporal Constraints for Concurrent Object Synchronisation
Invited Presentation: Vladimiro Sassone (Univ. of Sussex)
  15:15 - 16:00  Effects and effect inference for a core Java calculus
G. Bierman and M. Parkinson (Univ. of Cambridge)
  16:00 - 16:30  Coffee
  16:30 - 17:15  Can Addresses be Types? (a case study: objects with delegation)
C. Anderson (Imperial College), F. Barbanera (Univ. of Catania),
M. Dezani-Ciancaglini (Univ. of Torino) and S. Drossopoulou (Imperial College)
  17:15 - 18:00  Alias types for environment-aware computations
F. Damiani (Univ. of Torino) and P. Giannini (Univ. Piemonte Orientale)


WOOD is a satellite event of ETAPS 2003. For hotels and registration, please refer to the indications specified in the ETAPS 2003 home page, and follow the registration link.


Viviana Bono  (Univ. of Torino, Italy) (co-chair)
Michele Bugliesi  (Univ. of Venice, Italy) (co-chair)
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)

Viviana Bono
Dipartimento di Informatica
University of Torino, Torino, Italy.

Michele Bugliesi
Dipartimento di Informatica
University of Ca' Foscari, Venice, Italy


Paper submission: Extended Deadline January 3, 2003
Author notification: February 8, 2003
PreFinal version due: February 22, 2003
Workshop: April 12, 2003


Submissions should be in English and not exceed 15 pages excluding references and well-marked appendices (using 11-point font, single column format). They should be sent as PS or PDF files to wood2003@dsi.unive.it and be accompanied by a text-only message containing: title, abstract and keywords, the authors' full names, and address and e-mail for correspondence.
The workshop proceedings will be published in the Electronic Notes in Theoretical Computer Science (ENTCS) series. Simultaneous submission to other meetings with published proceedings is not allowed. A selection of the best papers will be invited for submission to a journal (e.g., TOPLAS) special issue.