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

To: types@cis.upenn.edu
Subject: program: ITRS '00 (Intersection Types & Related Systems)
From: Joe Wells <jbw@cee.hw.ac.uk>
Date: Sun, 9 Jul 100 07:31 BST
      ******************************************************
      *                                                    *
      *                      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