******************************************************
      *                                                    *
      *                      ITRS '00                      *
      * Workshop on Intersection Types and Related Systems *
      *                                                    *
      *     http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/      *
      *                                                    *
      *         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)
                  http://cuiwww.unige.ch/~icalp/

IMPORTANT DATES/DEADLINES:
  Early registration:  Thursday,  1 June 2000
  Workshop:            Saturday, 15 July 2000

REGISTRATION & ACCOMODATION:
  Registration:
    http://cui.unige.ch/~icalp/registration.html
  Accomodation & general information:
    http://cui.unige.ch/~icalp/gi.html

INVITED SPEAKERS (all confirmed):

  Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
  "Intersection Types and Properties of Lambda Terms"

  John Reynolds (Carnegie Mellon University, USA)
  "An Intrinsic Semantics of Intersection Types"

CONTRIBUTED TALKS:

  Ferruccio Damiani (Università di Torino, Italy)
  "Conjunctive Types and Useless-Code Elimination"

  Mariangiola Dezani-Ciancaglini (Università di Torino, Italy),
  Furio Honsell, Fabio Alessi (Università di Udine, Italy)
  "A Complete Characterization of the Complete Intersection-Type Theories"

  Silvia Ghilezan (University of Novi Sad, Yugoslavia)
  "Intersection Types and Topologies in Lambda Calculus"

  Grzegorz Grudzi'nski (Uniwersytet Warszawski, Poland)
  "A Minimal System of Disjunctive Properties for Strictness Analysis"
  
  Trevor Jim (AT&T Research, USA)
  "A Polar Type System"
  
  Ralph Matthes (Ludwig-Maximilians-Universität München, Germany)
  "Characterizing Strongly Normalizing Terms for a Lambda Calculus
  with Generalized Applications via Intersection Types"

  Robert Meyer (Australian National University, Australia)
  "What Entailment Can Do for Type Theory"

VENUE:
  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.

TOPIC AND PURPOSE OF WORKSHOP:
  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
  polymorphism.

  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
  proceedings will be published by Carleton Scientific; copies will be
  distributed at the workshop.

PROGRAM COMMITTEE:
  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)

CONTACT INFORMATION:
  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)