**CHANGE OF PLANS** for CoFI workshop in Cachan in November

[dts@dcs.ed.ac.uk (Don Sannella)]

Reactions from some potential participants in the Cachan workshop have
led to a revision in the schedule, as follows:

                         EARLIER PLAN          REVISED PLAN

Sat  7/11 14.30-16.00    Methodology           Methodology
          coffee
          16.30-19.00    Methodology           Methodology
          dinner         Semantics             Semantics

Sun  8/11 9.00-12.00     Methodology           Methodology
          lunch          Semantics, if needed  Semantics, if needed
          13.30-16.00    Language Design       Language Design
          coffee
          16.30-19.00    Language Design       Lang Design | Reactive Sys
          dinner         Coordination          Coordination

Mon  9/11 9.00-12.00     Language Design       Lang Design | Reactive Sys
          lunch          CoFI WG info          CoFI WG info
          13.30-16.00    Tools                 Tools
          coffee
          16.30-19.00    Reactive Systems      Reactive Systems

Tue 10/11 9.00-12.00     Tools | Reactive Sys  Tools | Reactive Systems
          lunch
          13.30-16.00    Tools | Reactive Sys  Tools | Reactive Systems
          coffee
          16.30-19.00    Reactive Systems      Reactive Systems

Wed 11/11 9.00-12.00     Reactive Systems
          lunch
          13.30-16.00    Reactive Systems

In the revised schedule, the first session of Language Design, like
the first session of Tools and the Monday afternoon session of
Reactive Systems, will be at least partly for the benefit of people
from other groups who want to know what is going on but are not deeply
involved in the details.

I apologize profusely for any inconvenience that this change may
cause.  I hasten to add that there will be no further change to the
schedule of the workshop!

For your convenience and as a reminder, a slightly modified copy of
the rest of the information in the original announcement of the
workshop is included below.  REGISTER NOW!  (If you have registered
already there is no need to register again unless you wish to change
your dates of attendance.)

Best regards,

Don Sannella
CoFI WG coordinator

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

Information about each task group meeting, including the planned
agenda, will be announced by the task group coordinator on the
relevant mailing list:

        cofi-language@brics.dk:    Language Design
        cofi-semantics@brics.dk:   Semantics
        cofi-methodology@brics.dk: Methodology
        cofi-tools@brics.dk:       Tools
        cofi-reactive@brics.dk:    Reactive Systems

If you are interested in contributing to the work of any of these task 
groups, you should join the relevant list(s) now if you haven't done
so already -- see http://www.brics.dk/Projects/CoFI/Subscription.html .

The workshop will be organized by Michel Bidoit of Laboratoire
Spécification et Vérification at Ecole Normale Supérieure de Cachan.
This is the first workshop to be organized by the ESPRIT-funded CoFI
Working Group (see http://www.dcs.ed.ac.uk/home/dts/CoFI-WG) and
travel funding will be available to European attendees under the terms
described in http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/money.html .
Lunches and refreshments for coffee breaks will be provided, and hotel
rooms will be organized.  For attendees who are not funded by CoFI WG
there will be a small registration charge to cover the cost of lunches.

To attend the workshop:

  1. If you require travel funding from CoFI WG, contact one of the CoFI
     WG coordinators to get permission.  For a list with e-mail
     addresses, see
	http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/money.html . 

  2. In any case, register for the workshop by filling out the form
     below and sending it to Michel.
     *** DO THIS AS SOON AS POSSIBLE ***

The next CoFI workshop will take place immediately before or after
ETAPS'99 (22-26 March) in Amsterdam.  (The submission deadline for
ETAPS'99 is 28 Sept -- see http://www.cwi.nl/conferences/ETAPS99.html .)


**********************************************************
*  REGISTER NOW !!!  REGISTER NOW !!!  REGISTER NOW !!!  *
**********************************************************

                CoFI Workshop in Cachan, France
                Sat 7th - Tue 10th November, 1998.


Last Name:
First Name:
Institution:
E-mail:
Phone:
Fax:
Postal address:

I will attend the CoFI Workshop in Cachan.

Date of arrival:    ../11/98
Date of departure:  ../11/98

I will attend the following Task Group Meetings:
Language Design:  YES NO
Methodology:      YES NO
Semantics:        YES NO
Tools             YES NO
Reactive Systems: YES NO

I need a [single|double] room from ../11/98 to ../11/98 (.. nights)
[I want to share the double room with .................]

I expect that my travel will be funded by CoFI WG: YES NO   (If YES,
don't forget to contact one of the CoFI WG coordinators for permission!)

Special dietary requirements:

WARNING: Please register asap. Hotel accommodation will be very
difficult to arrange for that period due to other events. It will be
slightly easier to change date of arrival/date of departure than to
find a hotel room at the last minute. So, if you are sure you will
attend but you don't yet know your travel schedule, please
pre-register NOW and let me know later your exact dates of
arrival/departure.

Registered participants will be sent more information about the
location of the workshop, the hotel, and on how to reach Cachan (which
is very near Paris).

Please send the above completed form by e-mail to:
Michel.Bidoit@lsv.ens-cachan.fr 
or fax it to: Michel Bidoit - LSV - +33-1-47 40 24 64