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