[TYPES] WOOD 2004 - Call for Papers

Bono Viviana bono at di.unito.it
Fri Apr 2 18:05:30 EST 2004


                        Call For Papers

         WOOD 2004: Workshop on Object-Oriented Developments

                    co-located with CONCUR 2004

                   August 30,  2004, London, UK


  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.

  WOOD 2004 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/wood2004.


  PROGRAM COMMITTEE

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


  ORGANIZERS

    Viviana Bono                 (Univ. of Torino, Italy) (co-chair)
    Michele Bugliesi           (Univ. of Venice, Italy) (co-chair)
    Sophia Drossopoulou  (Imperial College, London, UK) (co-chair)


  IMPORTANT DATES

    Paper submission:      June 10
    Author notification:    July 15
    PreFinal version:        August 1
    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
    wood2004 at 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.



More information about the Types-list mailing list