WOOD'04: Workshop on Object-Oriented Developments

co-located with CONCUR 2004

August 30, 2004, London, UK

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 WOOD2004 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.


Uwe Nestmann   (EPFL-I&C, Lausanne, Switzerland)
Julian Rathke  (Dept. of Informatics, Univ. of Sussex)


  9:00 - 10:00  Java Jr: Full abstraction for large scale object systems
Invited Presentation: Julian Rathke (Univ. of Sussex)
  10:00 - 10:30  A Design for Type-Directed Programming in Java
S. Weirich and L. Huang (University of Pennsylvania)
  10:30 - 11:00  Coffee
  11:00 - 11:30  Effective and Efficient Compilation of Run-Time Generics in Java
M. Viroli (DEIS, Univ. of Bologna)
  11:30 - 12:00  A Module Calculus with Execution-Driven Linking
D. Ancona, S. Fagorzi and E. Zucca (Univ. of Genova)
  12:00 - 14:30  Lunch
  14:30 - 15:30  Proofs on Mobile Objects
Invited Presentation: Uwe Nestmann (EPFL-I&C, Lausanne)
  15:30 - 16:00  Translating Double Dispatch into Single Dispatch
L. Bettini, S. Capecchi and B. Venneri (Univ. of Firenze)
  16:00 - 16:30  Coffee
  16:30 - 17:00  Type Checking for JavaScript
C. Anderson (Imperial College) and P. Giannini (Univ. Piemonte-Orientale)
  17:00 - 17:30  Difunctorial Semantics of Object Calculus
J. Glimming (Stockholm University) and N. Ghani (Univ. of Leicester)


WOOD is a satellite event of CONCUR 2004. For hotels and registration, please refer to the indications specified in the CONCUR 2004 home page.


Davide Ancona (Univ. of Genova, Italy)
Nick Benton (Microsoft Research, UK)
Viviana Bono (Univ. of Torino, Italy)
Michele Bugliesi (Univ. of Venice, Italy)
Silvano Dal Zilio (Univ. of Marseille, France)
Sophia Drossopoulou (Imperial College, UK)
Andrew Kennedy (Microsoft Research, UK)
Cosimo Laneve (Univ. of Bologna, Italy)
Alan Mycroft (Univ. of Cambridge, UK)


Viviana Bono
Dipartimento di Informatica
University of Torino, Torino, Italy.
Michele Bugliesi
Dipartimento di Informatica
University of Ca' Foscari, Venice, Italy
Sophia Drossopoulou
Department of Computing
Imperial College of Science, Technology and Medicine


Paper submission: Deadline expired
Author notification: July 15
Workshop: August 30


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 wood2004@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.