SCHEDULE for the CoFI Methodology Task Group Meeting

[Michel.Bidoit@ens.fr]

Dear Colleague,

Please find below the schedule for the meetings to be held in Edinburgh,
including two sessions on Methodology. For organization purposes it is
quite important to know as soon as possible who will attend the meeting(s),
hence please register now (by sending the registration form to Don
Sannella, with a cc to me; don't forget the cc otherwise things are more
difficult to handle).

I am looking forward meeting you in Edinburgh !
Best regards,
Michel

PS: I will post a tentative agenda for the Methodology Task Group Meeting
in some days, but unlikely before one week. You may however send messages
already with a list of topics you would like to see adressed during the
meeting (whether you plan to attend it or not). This indeed would be quite
helpful. 

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

CoFI WORKING MEETINGS, 8-12 NOVEMBER 1996, EDINBURGH

The following schedule for the various CoFI working meetings is now
FIXED.

Note that there will not be a meeting of the Reactive Systems task
group in Edinburgh, due to lack of potential participants there.


FRIDAY  8 Nov	(Central Edinburgh)

17:00 - ??:??	Samson Abramsky's inaugural lecture

[Those participants who are not otherwise engaged may have dinner
and informal discussions together after the lecture.]


SATURDAY 9 Nov

[Those participants who are not otherwise engaged may continue
informal discussions, 9:00 - 10:15.]

LFCS Anniversary Celebration (Lecture Theatre A, JCMB)

10:30 - 12:30	LFCS Contributions and Impact

14:30 - 18:00	Challenges for the Future

19:30  (20:00)	Dinner


SUNDAY 10 Nov	Working Meetings (JCMB)

 9:00 - 12:30	Language Design

13:30 - 17:00	Methodology || Semantics

17:30 - 22:30	Coordination, Funding (coordinators meeting)


MONDAY 11 Nov	Working Meetings (JCMB)

 9:00 - 12:30	Tools || Semantics

13:30 - 17:00	Tools || Methodology

17:30 - 22:30	Coordination, Funding (coordinators meeting, continued)


TUESDAY 12 Nov	Working Meetings (JCMB)

 9:00 - 12:30	Language Design & Tools (concrete syntax)


Note that the meetings on Monday evening and Tuesday morning are
contingent on sufficient attendance: there is no guarantee that they
will be held.

Kinldy register for the meetings using the form below as soon as
possible.

Looking forward to some productive meetings in Edinburgh,

----   --------------------------------------------
\  /  | Peter D Mosses         <pdmosses@brics.dk> |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------


REGISTRATION

The local organizer is Don Sannella <dts@dcs.ed.ac.uk>.  He will
provide a list of hotels/B&Bs.  Please send him the following
information:

* NAME: ______________________________________

* ARRIVAL DATE:   __ Nov   TIME: __H    TO: _____________

* DEPARTURE DATE: __ Nov   TIME: __H    FROM: _____________

* PLANNING TO ATTEND LFCS ANNIVERSARY: YES/NO

Please send copies of the above information to the coordinators of
those task groups whose meetings you plan to attend.

==>>> For Methodology: Michel.Bidoit@ens.fr

* SIGNATURE: (including e-mail address)