Minutes of the Lisbon meeting

[Helene.Kirchner@loria.fr]

TOOLS task group Meeting

Lisbon, Friday April 3, 1998

Participants:

Didier Bert
Christine Choppy
Helene Kirchner 
Kolyang
Bernd Krieg-Brueckner
Pierre-Etienne Moreau
Till Mossakowski
Peter Mosses    
Mark van der Brand
Martin Wirsing

AGENDA:

- Initiative STTT-ETI
- Parser implementations and debugging
- Annotated term format
- Standardisation of annotations

The meeting was short and began with a demonstration of the Electronic
Tool Integration platform by Bernhard Steffen.  The question is raised
of the potential use of this platform for CoFI tools. This has to
compared with the Workbench approach from Bremen.
For more information, see:
  http://eti.cs.uni-dortmund.de/

The mail from Frederic Voisin and Christophe Tronche is discussed.
The idea of a common output format for the different parsers is
approved. But based on the similarity of this format with annotated
terms format, Mark van den Brandt and Christophe Tronche are
encouraged to discuss together and propose a uniformed format.

The Annotated Term format proposed in the note
  http://www.brics.dk/Projects/CoFI/Notes/T-3
is tentatively approved as interoperability format for CASL tools by
the group.  The deadline for reactions on this proposition is
************ April 24, 1998 ****************

Till Mossakowski proposed to analyse and standardise the kind of
annotations needed for parsers and static semantic checkers in the
note
  http://www.brics.dk/Projects/CoFI/Notes/T-6
The note is discussed and a few suggestions are made.
Till will revise his note accordingly. Please send him any suggestion.

The date of the mext meeting, possibly in july, will be announced later.