Re: CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999

[Don Sannella <dts@dcs.ed.ac.uk>]

Dear CoFI friends,

Remember to register for the CoFI workshop on 27-28 March 1999 in
Amsterdam!  Copies of two messages on this are below.  Note that the
early registration deadline for ETAPS'99 is 1st March.

Concerning hotels, my own efforts to find alternative accommodation
have been unsuccessful so I won't object if you use the conference
hotels despite the problem about cost mentioned below.

Best regards, Don

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

 > Dear CoFI friends,
 > 
 > There will be a CoFI workshop in Amsterdam on 27-28 March 1999
 > (plus an informal meeting of the semantics group on 26 March in the
 > evening) as a satellite event of the ETAPS'99 conference.  See
 > 
 > 	http://www.cwi.nl/conferences/ETAPS99
 > 
 > for information about ETAPS'99 and
 > 
 > 	http://www.cwi.nl/~markvdb/cofi/etaps.html
 > 
 > for information about the workshop, including the schedule.  The
 > workshop will consist of working meetings of the various task groups,
 > preceded by a 1.5-hour general presentation of CoFI status.  People
 > who come only to this general presentation are not required to
 > register for the workshop.
 > 
 > The agenda for the meetings of each task group will be announced in
 > due course on its mailing list (cofi-language@brics.dk etc.) and this
 > information will be added to the CoFI workshop's web page.  Some of
 > the coordinators have already sent broadcasts asking people for
 > contributions -- please respond if you have something to contribute.
 > 
 > If you plan to attend the workshop, please register as soon as
 > possible.  See the ETAPS'99 web page for an online registration form.
 > The early registration deadline is 1st March.  The workshop is an
 > official meeting of the ESPRIT-funded CoFI WG which means that funding
 > to attend ETAPS'99 and the workshop is available.  For the rules about
 > funding including who is eligible and the procedure to  follow, see
 > 
 > 	http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/money.html
 > 
 > and please don't forget to follow the rules about asking a working
 > group coordinator for permission before assuming that funding will be
 > available.
 > 
 > The official ETAPS'99 hotels are unfortunately rather expensive.  In
 > order to make the limited funds we have for CoFI WG last longer, I
 > would be very grateful if you could attempt to find cheaper
 > accommodation in addition to taking advantage of cheap travel
 > opportunities.  I will be doing this too.  The ETAPS'99 web pages
 > includes a link to a hotel guide for Amsterdam and the telephone
 > number of a hotel booking service.  From a bit of web surfing, it
 > seems that it should be easy to find a comfortable hotel for about
 > half the price of the ETAPS'99 hotels.  But be warned that ETAPS'99 is
 > taking place during tulip season which means that hotels in Amsterdam
 > will be filling up quickly.
 > 
 > Finally, thanks to Mark van den Brand of CWI for taking care of the
 > local arrangements.
 > 
 > See you in Amsterdam!
 > 
 > Don Sannella
 > CoFI overall coordinator
 > 
 > -----------------------------------------------------------------------
 > Prof. Donald Sannella, Laboratory for Foundations of Computer Science, 
 > Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ
 > http://www.dcs.ed.ac.uk/home/dts/  ftp://ftp.dcs.ed.ac.uk/pub/dts
 > E-mail: dts@dcs.ed.ac.uk phone: +44 131 650 5184 fax: +44 131 667 7209
 > Secretary: Kendal Reid e-mail: kr@dcs.ed.ac.uk phone: +44 131 650 5132
 > -----------------------------------------------------------------------

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

 > Dear CoFI friends,
 > 
 > I have received some questions about what exactly CoFI WG will pay in 
 > connection with attendance at the CoFI workshop at ETAPS'99.
 > 
 > Although the workshop is a satellite of ETAPS'99, it is not
 > justifiable to cover attendance at all of ETAPS'99 from CoFI WG funds.
 > But we have special permission to cover the ETAPS registration fee in
 > addition to the costs of attending the CoFI workshop.
 > 
 > So, for eligible people who have received permission from a working group
 > coordinator to attend, the following can be paid:
 > 
 >   travel to/from Amsterdam
 >   ETAPS registration + CoFI workshop registration
 >   travel in Amsterdam while attending CoFI workshop
 >   hotel Friday - Sunday maximum
 >   meals Friday evening - Monday morning maximum
 > 
 > In particular, the following CANNOT be paid:
 > 
 >   hotel while attending the rest of ETAPS
 >   ETAPS banquet ticket
 >   tutorials
 >   other satellite events
 >   extra proceedings volumes
 > 
 > The general procedures on the CoFI WG web pages apply as well, of
 > course -- see
 > 
 > 	http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/money.html
 > 
 > Anybody who fits the eligibility criteria for "TMR support for young
 > researchers" (see the ETAPS'99 web page) is strongly encouraged to
 > apply for such support.
 > 
 > Don Sannella
 > CoFI overall coordinator