Edinburgh meetings - PARTICIPANTS, REVISED SCHEDULE

[pdmosses@daimi.aau.dk]

The following have registered as PARTICIPANTS of the announced CoFI
task group working meetings in Edinburgh, 10-12 November 1996:

Name			(arrival - departure)	probable sessions
-----------------------------------------------------------------
Don Sannella		(uncertain on 8th)	LD;S;C  S;M;C  LD
Bernd Krieg-Brueckner	(8th@15  - 12th@16)	LD;M;C  T;?;C  LD
Helene Kirchner		(7th@20  - 12th@11)	LD;?;C  T;T;C  ?
Michel Bidoit		(9th@12  - 12th@13)	LD;M;C  T;M;C  LD
Michal Walicki		(8th/9th - 12th/13th?)	LD;?    T;T    LD
Andrzej Tarlecki	(7th@12  - 12th@16)	LD;M;C  S;M;C  LD
Peter Mosses		(7th@20  - 12th@18)	LD;?;C  T;T;C  LD
Egidio Astesiano	(8th@18  - 12th@8)	LD;?;C  S;M;C
Eugenio Moggi		(8th@12  - 11th@2?)	LD;S    S?
Till Mossakowski	(9th@21  - 12th@7)	LD;S    S;?
-----------------------------------------------------------------

Those who would like to attend, but are not on the above list, should
register immediately, using the registration form provided with the
original announcement (available via the CoFI WWW pages).

The original schedule (announced on the various mailing lists) has now
been adjusted as follows.  Note that some sessions have changed days,
and that Semantics now gets only one session.


*** REVISED SCHEDULE ***

FRIDAY  8 Nov	(Central Edinburgh)
17:00 - ??:??	Samson Abramsky's inaugural lecture
		"Interaction: splitting the atom of computation"

[Those participants who are not otherwise engaged may have DINNER and
informal discussions together after the lecture.  Don will soon book a
table for 8 persons (DTS,BKB,HK,MB,AT,PDM,EA,EM) for an appropriate
time at some restaurant, and announce the details.  Please let Don
know straight away if you want to join - or drop out of - this dinner
arrangement, or if you have special gastronomic requirements...!]

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	Tools || Semantics	[was: Methodology || Semantics]
17:30 - 22:30	Coordination, Funding (coordinators meeting)

MONDAY 11 Nov	Working Meetings (JCMB)
 9:00 - 12:30	Methodology		[was: 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)


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