2nd CFP: ITRS '00 (Workshop on Intersection Types & Related Systems)

[NOTE: The deadline has been postponed from 25 February to 3 March.]

                       2nd Call for Papers

                           Workshop on
         Intersection Types and Related Systems (ITRS '00)

                University of Geneva, Switzerland
                      Saturday, 15 July 2000


                    Co-located with ICALP '00,
                the 27th International Colloquium
             on Automata, Languages, and Programming
                       (9 to 15 July 2000)

  Submission of papers:           Friday,    3 March 2000
  Notification of acceptance:     Friday,   31 March 2000
  Proceedings version:            Friday,   28 April 2000
  Workshop:                       Saturday, 15 July  2000

  Types support reliable reasoning in many areas such as programming
  languages, logic, linguistics, etc.  A _polymorphic_ type is one
  that stands for some number of instance types.  The use of type
  systems for non-trivial purposes generally requires type

  Intersection types, which were introduced roughly twenty years ago,
  provide type polymorphism by listing type instances.  This differs
  from the more widely used universal types, which provide type
  polymorphism by giving a type scheme that can be instantiated into
  various type instances.  (A similar relationship holds between union
  types and existential types, the duals of intersection types and
  universal types.)

  Intersection types were initially intended for use in analyzing
  and/or synthesizing lambda models as well as in analyzing
  normalization properties.  Over the last twenty years the scope of
  theoretical research on intersection types has broadened (see
  possible topics below).  Recently, there have been a number of
  breakthroughs in the use of intersection types (and similar
  technology) for practical purposes such as program analysis.

  The ITRS '00 workshop will bring together researchers working on
  both the theory and practice of systems with intersection types and
  related systems (e.g., union types, refinement types, etc.).  The
  workshop will last one full day and will contain a long talk by each
  invited speaker, a panel discussion, and a short (approx. 25
  minutes) talk for each accepted paper.  The proceedings will be
  published by Carleton University Press in their International
  Informatics Series; copies will be distributed at the workshop.

  Researchers are invited to submit original papers on topics in the
  spirit of the workshop.  Possible topics for submitted papers
  include, but are not limited to:

    * Formal properties of systems with intersection types: principal
      typings, normalization properties (for normal forms, head-normal
      forms, weak head-normal forms, etc.), type inference algorithms.

    * Results for clearly related systems, e.g., systems with union
      types, refinement types, or singleton types.

    * Connections with not-so-clearly related approaches such as
      abstract interpretation and contraints.

    * Applications to lambda calculus and similar systems, e.g.,
      denotational semantics, analysis/synthesis of lambda models
      (domains), characterization of operational properties, etc.

    * Applications for programming languages, e.g., program analysis
      (flow, strictness, totality, etc.), accurate type error
      messages, increased flexibility with static typing, separate
      compilation and modularity, optimizing transformations, types
      for objects, etc. 

    * Applications for other areas, e.g., database query languages, 
      program extraction from proofs, type systems for natural

INVITED SPEAKERS (all confirmed):
  Mariangiola Dezani-Ciancaglini   (UniversitÓ di Torino, Italy)
  John Reynolds                    (Carnegie Mellon University, USA)

  Adriana Compagnoni          (Stevens Institute of Technology, USA)
  Maribel Fernßndez           (╔cole Normale SupÚrieure, France)
  Thomas Jensen               (IRISA/CNRS, Rennes, France)
  Jean-Louis Krivine          (UniversitÚ Paris 7, France)
  Jens Palsberg               (Purdue University, Indiana, USA)
  Simona Ronchi Della Rocca   (UniversitÓ di Torino, Italy)
  Betti Venneri               (UniversitÓ di Firenze, Italy)
  Joe Wells (Chair)           (Heriot-Watt University, Edinburgh, Scotland)


  TOPIC: A submitted paper must describe work that does not
    substantially overlap with work that has been previously published
    or is currently being considered elsewhere (e.g., another
    workshop, conference, or journal).  Feel free to consult the
    program chair on the appropriateness of a topic or the possibility
    of conflict with another publication.

  PRINTED APPEARANCE: The paper must be written in English.  The paper
    (including bibliography) should not exceed 15 pages.  The paper
    should use reasonable font size and internal spacing.  The printed
    area should be in one column occupying 130 mm horizontally and 200
    mm vertically.  (WARNING: the printed area size is small!  Do not
    wait until the last minute to make this adjustment!)  It is
    recommended to include full proofs of any theorems in appendices
    if they will not fit in 15 pages.  However, any appendices beyond
    the 15-page limit should not be needed for judging the paper and
    will not be included in the proceedings.

  PAPER ELECTRONIC FORMAT: The paper should be in PostScript.  Every
    effort should be made to ensure that only portable PostScript
    features are used (e.g., avoid using non-standard built-in fonts).
    For other formats, ask the program chair well in advance of the

  ADMINISTRATIVE INFORMATION: The paper should include (1) the title,
    (2) the list of authors, (3) a brief abstract (fewer than 200
    words), (4) a short list of key words/topics, and (5) the name,
    e-mail address, postal address, voice telephone number, and fax
    number of the corresponding author.  All of this information
    should be repeated at the beginning of the submission e-mail
    message in plain text (e.g., no TeX codes).

  SUBMISSION E-MAIL FORMAT: The submission should be an e-mail message
    sent to the submission address (see below) to arrive no later than
    noon UTC on the day of the submission deadline (see above).  This
    e-mail message should contain first the administrative information
    and then the paper.  The paper should be included in the e-mail
    message either in uuencoded format or as a properly labelled MIME
    attachment.  The name of the uuencoded file or MIME attachment
    should begin with the surnames of the authors, in lowercase
    letters, separated by "+".

  AFTER THE SUBMISSION: Expect submissions to be acknowledged within a
    day.  All submissions will be reviewed by at least three people.
    Notification of acceptance or rejection will occur by the date
    indicated above.  The revised paper for the proceedings together
    with a signed copyright assignment must be received by us by the
    date indicated above.  The authors of each accepted paper are
    responsible for giving a talk on the paper at the workshop.

  The workshop is colocated with the ICALP '00 conference, which will
  be held at the University of Geneva.  Accomodations at a very
  special ICALP rate have been reserved in a couple of hotels and very
  inexpensive rooms will be available at the Student Housing.  Lunch
  will be served daily on campus and there will be morning and
  afternoon refreshment breaks.  For more details see the ICALP '00
  web address given above.

  Web:                    http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/
  Submission e-mail:      itrs00-submit@cee.hw.ac.uk
  Program chair:          Joe Wells
    e-mail:               itrs00@cee.hw.ac.uk
    telephone:            +44 131 451 3869
    telephone messages:   +44 131 451 3328
    fax:                  +44 131 451 3327
    postal:               Computing & Electrical Engineering Dept.
                          Heriot-Watt University
                          EDINBURGH, EH14 4AS
                          Scotland (UK)