co-located with CONCUR 2004
August 30, 2004, London, UK
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 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)
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)
Dipartimento di Informatica
University of Torino, Torino, Italy.
Dipartimento di Informatica
University of Ca' Foscari, Venice, Italy
Department of Computing
Imperial College of Science, Technology and Medicine
Paper submission: Deadline expired Author notification: July 15 Workshop: August 30
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.