Sat 7/11 14.30-16.00 Methodology coffee 16.30-19.00 Methodology dinner Semantics Sun 8/11 9.00-12.00 Methodology lunch Semantics, if required 13.30-16.00 Language Design coffee 16.30-19.00 Language Design | Reactive Systems dinner Coordination (CoFI WG coordinators only) Mon 9/11 9.00-12.00 Language Design | Reactive Systems lunch with some information about CoFI WG 13.30-16.00 Tools coffee 16.30-19.00 Reactive Systems Tue 10/11 9.00-12.00 Tools | Reactive Systems lunch 13.30-16.00 Tools | Reactive Systems coffee 16.30-19.00 Reactive Systems
Information about each task group meeting, including the planned agenda, will be announced by the task group coordinator on the relevant mailing list:
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. N.B. All CoFI participants should also subscribe to the low-volume cofi-list@brics.dk for important administrative announcements.
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
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:
*** DO THIS AS SOON AS POSSIBLE ***
Best regards,
Don Sannella
CoFI WG coordinator
**********************************************************
* 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