To: itrs00@cee.hw.ac.uk
Subject: ITRS '00 (Workshop on Intersection Types & Related Systems)
Bcc: samson@dcs.ed.ac.uk, aiken@cs.berkeley.edu,
   akama@math.tohoku.ac.jp, alessi@dimi.uniud.it,
   amadio@gyptis.univ-mrs.fr, svb@doc.ic.ac.uk, ab@cs.stevens-tech.edu,
   barba@dipmat.unict.it, henk@cs.kun.nl, stefano@di.unito.it,
   berline@logique.jussieu.fr, buccia@dsi.uniroma1.it,
   Martin.Buechi@abo.fi, peter@cis.upenn.edu, cardone@dsi.unimi.it,
   abc@cs.stevens-tech.edu, coppo@di.unito.it, cousot@dmi.ens.fr,
   radhia@lix.polytechnique.fr, crary@cs.cmu.edu, damiani@di.unito.it,
   rowan@cs.cmu.edu, pietro@dimi.uniud.it, dimock@deas.harvard.edu,
   eifrig@cs.jhu.edu, maribel@dmi.ens.fr, Philippa.Gardner@cl.cam.ac.uk,
   gsilvia@uns.ns.ac.yu, giannini@di.unito.it, gsg@mimuw.edu.pl,
   clh@doc.ic.ac.uk, hayashi@pascal.seg.kobe-u.ac.jp,
   nch@research.bell-labs.com, J.R.Hindley@Swansea.ac.uk,
   honsell@dimi.uniud.it, rjmh@cs.chalmers.se, bart@cs.kun.nl,
   jensen@irisa.fr, trevor@research.att.com, jouannau@lri.fr,
   kfoury@cs.bu.edu, kohlhase@cs.uni-sb.de, kopylov@cs.cornell.edu,
   krivine@logique.jussieu.fr, leivant@cs.indiana.edu,
   deligu@di.unito.it, liquori@dimi.uniud.it, longo@dmi.ens.fr,
   ll14@swt.edu, mairson@cs.brandeis.edu, ines@di.unito.it,
   matthes@informatik.uni-muenchen.de, Michel.Mauny@inria.fr,
   Bob.Meyer@anu.edu.au, yoko@di.unito.it, muller@cs.bc.edu,
   nogin@cs.cornell.edu, palsberg@cs.purdue.edu, fp@cs.cmu.edu,
   bcpierce@cis.upenn.edu, piperno@dsi.uniroma1.it,
   regnier@iml.univ-mrs.fr, ronchi@di.unito.it, rover@di.unito.it,
   Patrick.Salle@enseeiht.fr, salvo@dsi.uniroma1.it, scott@cs.jhu.edu,
   thiemann@informatik.uni-freiburg.de, trifonov@cs.yale.edu,
   fturbak@wellesley.edu, urzy@mimuw.edu.pl, venneri@dsi.unifi.it,
   ferjan@etl.go.jp, Wolfgang.Weck@abo.fi, zacchi@di.unito.it
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-transfer-encoding: 8bit

Dear Colleague,

I am sending this message to those people that I believe to have some
involvement with intersection types, as well as to the program
committee of ITRS '00 and authors of papers accepted to ITRS '00.

I want to make sure you are aware of the timing and location of ITRS
'00, the Workshop on Intersection Types and Related Systems.  I have
included the announcement for the event below.

ITRS '00 has two excellent invited speakers: Mariangiola Dezani, one
of the co-inventors of intersection types, and John Reynolds, one of
the co-inventors of the typed lambda calculus with universally
quantified types.  There are also a number of very interesting
contributed talks in such areas as program analysis, denotational
semantics, and logic.

Please come to Geneva for ITRS '00 and help us make this event even
more interesting!  Also, please send me the e-mail addresses of anyone
else you think should receive this announcement, or forward it to them
yourself.

-- 
Thanks,

Joe Wells
http://www.cee.hw.ac.uk/~jbw/

----------------------------------------------------------------------