1-4 April 1998: Lisbon Meetings (Reactive Systems, Language Design, Semantics, Tools)

Dates:

Wednesday 1 April 1998	from 4pm	Reactive Systems
Wednesday 1 April 1998	from 4pm	Language Design
Thursday 2 April 1998	lunchtime	Coordination
Thursday 2 April 1998	after WADT	Semantics
Friday 3 April 1998	after WADT	Tools
Saturday 4 April 1998	after WADT	Language Design, ctd.

Agenda:

• Reactive Systems meeting:
  0. Current status of CoFI;
  1. Brief presentations of planned CoFI extensions;
  2. Identification of issues and extensions;
  3. Planning
• Language Design meeting:
  1. Finalization of CASL design
  2. Sublanguages of CASL
  3. (if time:) Extensions of CASL
• Coordination meeting: For the coordinators only
• Semantics meeting: CASL version 0.99
• Tools meeting:
  1. The status of parser implementations.
  2. The A-term format
  3. Latex style
  4. STTT/ETI
  5. Next meeting

Documents to be brought:

Further notes have been installed, and participants of the CoFI meetings in Bremen are requested to bring copies with them (as well as version 0.99 of the CASL Summary):

Till Mossakowski: Standard annotations for parsers and static semantic checkers - a proposal. Note T-6.

Mark van den Brand, Paul Klint, and Pieter Olivier: Aterms: Exchanging data between heterogeneous tools for CASL. Note T-3 (revised draft).

Till Mossakowski: Two "functional programming" sublanguages of CASL. Note L-9.

The following previously-announced notes should also be brought to Lisbon:

Hubert Baumeister: Methodological considerations on the use of extension and union. Note M-1.

Christine Choppy: Note on data type declaration. Note M-2.

Maura Cerioli: Different kinds of subsorting in CASL. Note M-3.

Michel Bidoit, Don Sannella, and Andrzej Tarlecki: Architectural specifications in CASL. Note M-4.

Till Mossakowski: Sublanguages of CASL. Note L-7.

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski: Extending CASL with higher-order functions - design proposal. Note L-8.

Location:

At the ETAPS/WADT venue

Travel:

The official carrier of ETAPS is TAP ­- AIR PORTUGAL. Its offices throughout the world will be happy to assist in your travel arrangements. Please contact your local TAP office for the special 15% reduction that has been negotiated for ETAPS participants [ETAPS'98].

Accommodation:

To be arranged through ETAPS

Registration:

Since all participants at the CoFI meetings will presumably be attending ETAPS and/or WADT, no separate registration is required. However, please let the relevant task group coordinators know which meetings you are planning to attend.