Agenda of Tools group meeting in Cachan

[Helene.Kirchner@loria.fr/sender]

CoFI WORKSHOP in Cachan 
***********************

GENERAL AGENDA

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 needed
          13.30-16.00    Language Design     
          coffee
          16.30-19.00    Lang Design | Reactive Sys
          dinner         Coordination 

Mon  9/11 9.00-12.00     Lang Design | Reactive Sys
          lunch          CoFI WG info   
          13.30-16.00    Tools          
          coffee
          16.30-19.00    Reactive Systems

Tue 10/11 9.00-12.00     Tools | Reactive Sys 
          lunch
          13.30-16.00    Tools | Reactive Sys 
          coffee
          16.30-19.00    Reactive Systems     


AGENDA OF THE TOOLS GROUP MEETING

The first (plenary) session on Monday November 9 (13:30 -- 16:00)
will be devoted to a brief reminder of objectives and a summary 
of the work done, in particular:
- status report of the various parsers.
- CASL package for LaTeX formatting
- interchange format

Followed by a discussion on future plans and priorites.


The following sessions (just for the Tools group)
will adress the following questions:

- Parsing : 
  -- Mixfix parsing. 
  -- Determine a reference parser.
  -- Creation of links to other parsers available.
  -- Development of a repository with successful parsed specifications

- Development of a structure editor.

- Annotations for parsers, rewrite engines, proof tools.

- Mappings from sublanguages of CASL to existing specification
  formalisms.

- Rewrite engine(s)

- Presentation of the KIV system by Wolfgang Reif on tuesday 10 afternoon.
  Relation with the KIV system and other proof environments

- Making our tools available to the community.

Please let me know of any other topics you would like to address
during this meeting.  Tell me also if you plan to make a contribution.
And please, if it is not yet done, register now using the form below.

See you in Paris,
Helene

**********************************************************
*  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


**************************************************************