[Prev][Next][Index][Thread]
WOOD2003: 2nd Call For Papers
Second Call For Papers
*********************************************************
* Paper Submission: Extended Deadline January 3, 2003 *
*********************************************************
WOOD 2003: Workshop on Object-Oriented Developments
co-located with ETAPS 2003
April 12, 2003, Warsaw, Poland
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.
WOOD2003 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 the workshop 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.
For up-to-date information about the event please see the workshop
webpage at http://www.dsi.unive.it/wood2003.
INVITED SPEAKER
Kim Bruce (Williams College, USA)
PROGRAM COMMITTEE
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)
ORGANIZERS
Viviana Bono (Univ. of Torino, Italy) (co-chair)
Michele Bugliesi (Univ. of Venice, Italy) (co-chair)
IMPORTANT DATES
Paper submission: EXTENDED: 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
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.