typo in dates for ITRS '00 (Intersection Types & Related Systems)

• To: types@cis.upenn.edu
• Subject: typo in dates for ITRS '00 (Intersection Types & Related Systems)
• From: Joe Wells <jbw@cee.hw.ac.uk>
• Date: Wed, 15 Mar 2000 16:20:19 GMT

My recent announcement of a change in the submission deadline for ITRS
'00 (Workshop on Intersection Types & Related Systems) got the day of
week wrong.  The correct dates are:

  Submission of papers:           Sunday,    26 March 2000
                                  ^^^^^^
  Notification of acceptance:     Wednesday, 12 April 2000
                                  ^^^^^^^^^
  Proceedings version:            Friday,    28 April 2000
  Workshop:                       Saturday,  15 July  2000

Full information is available at:

  http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/

-- 
Joe Wells

• Prev: extended deadline: ITRS '00 (Intersection Types & Related Systems)
• Next: Reasoning with Higher-Order Abstract Syntax
• Index(es):
  • Main
  • Thread