[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Agenda for Language Design Meeting in Cachan
Dear friends,
the CoFI Workshop in Cachan, Sat 7th - Tue 10th November, 1998, is
getting near; PLEASE REGISTER! You will find the updated plan and a
registration form below. PLEASE do not forget to clear travel
funding with me (or any other task group coordinator).
The first session on Language Design will be devoted to
- an overview of Language Design changes from v0.99 to v1.0
- a (rather non-technical) of the resp. Semantics changes
- a discussion on publication, revision procedure etc.
- organisation of work on extensions
- relationship of extensions (here) and Reactive extensions
[this item could also be discussed in the first Reactive session]
If there is time, we will continue with the agenda below, otherwise
in the second and third sessions:
- sublanguages of CASL (cf. Study Notes L-7 and L-9)
- Higher-Order extension of CASL (Study Note update this week!!)
- parametrized types, existential types/ dynamic binding,
polymorphism, "structure-polymorphism" similar to Haskell type classes
- other extensions
I am glad to say that the work on a HO extension by Till Mossakowski,
Anne Haxthausen and myself is sufficiently stable now (thanks to help
from Andrzej and others) that we submitted a paper and will publish an
extended version of it as a Study Note asap.
PLEASE read the study notes before you come! Also Tills paper in WADT in
Lisboa on "translating other specification languages into CASL" is of
interest. Till will make it available as a Study Note as well.
PLEASE let me know any other business you want to discuss, also if you
plan to make a contribution (any study note prior to the meeting will
help)
best regards
Bernd
-------------------------------
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