program: ITRS '00 (Intersection Types & Related Systems)

      *                                                    *
      *                      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               *
      *                                                    *

The PROGRAM of ITRS '00 is described below.  There are links to most
of the papers (hopefully soon all) at the web page, as well as
abstracts for the invited talks.

If you just want to show up for Saturday, it is possible to register
for just the ICALP workshops (including ITRS '00) for 200 CHF.  This
gets you the proceedings (of all workshops), coffee and snacks, lunch,
and a nice badge.

08:55 to 09:00: OPENING

09:00 to 10:00: INVITED SPEAKER (Session Chair: Joe Wells)

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

10:00 to 10:30: COFFEE

10:30 to 12:30: TALKS (Session Chair: Simona Ronchi Della Rocca)

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

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

  "Characterizing Strongly Normalizing Terms for a Lambda Calculus
  with Generalized Applications via Intersection Types"
  Ralph Matthes (Ludwig-Maximilians-Universitńt MŘnchen, Germany)

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

12:30 to 14:00: LUNCH

14:00 to 15:00: INVITED SPEAKER (Session Chair: Joe Wells)

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

15:00 to 15:30: TALKS (Session Chair: Maribel Fernßndez)

  "A Polar Type System"
  Trevor Jim (AT&T Research, USA)

15:30 to 16:00: COFFEE

16:00 to 17:00: TALKS

  "A Minimal System of Disjunctive Properties for Strictness Analysis"
  Grzegorz Grudzi'nski (Uniwersytet Warszawski, Poland)
  "Conjunctive Types and Useless-Code Elimination"
  Ferruccio Damiani (UniversitÓ di Torino, Italy)

17:00 to 17:15: SHORT BREAK

17:15 to 18:00: PANEL DISCUSSION

  "The Past, Present, and Future of Intersection Types"
  Mariangiola Dezani-Ciancaglini (UniversitÓ di Torino, Italy),
  Maribel Fernßndez              (╔cole Normale SupÚrieure, France)
  John Reynolds                  (Carnegie Mellon University, USA),
  Simona Ronchi Della Rocca      (UniversitÓ di Torino, Italy)
  Joe Wells (Chair)              (Heriot-Watt University, Edinburgh, Scotland)

18:00 to 18:05: CLOSING