co-located with ETAPS 2003
April 12, 2003, Warsaw, Poland
speakers| programme | registration | committee | dates | submissions
AIMS AND SCOPE
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)
Paper submission: Extended Deadline January 3, 2003 Author notification: February 8, 2003 PreFinal version due: February 22, 2003 Workshop: April 12, 2003
SUBMISSION GUIDELINES AND PUBLICATION
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 email@example.com 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.