Dear all,
Here is a preliminary list of topics already proposed for
the CoFI-Tools group at the CoFI workshop in Amsterdam
(the order may change in the final programme):
1.
Presentation of the stand-alone Casl parser and the CasFix format
presentation by Mark van den Brand
2.
Integration of the mixfix parser,
prettyprinting of Casl specifications
compilation of Casl to muASF
discussion led by Mark van den Brand
3.
Tools annotations and annotation format.
discussion led by Till Mossakowski
4.
Presentation of INKA 5.0
by Dieter Hutter
5.
A proposal for CoFI-Tools Web pages
by Helene Kirchner
Do you have other suggestions?
Best regards,
Helene
PS: Do not forget to register!!!
*** ETAPS'99 *** Amsterdam, 22-26 March 1999 *** Register now! ***
Register now for ETAPS'99, the largest software science conference in
Europe.
Invited lectures by:
* Martin Abadi (Compaq)
* Gilad Bracha (SUN)
* Edmund Clarke (CMU)
* Javier Esparza (TU Munich)
* Paul Hudak (Yale)
* Paul Klint (CWI)
* Jeff Kramer (Imperial College)
* Jean-Claude Laprie (LAAS)
* Davide Sangiorgi (INRIA)
* Bjarne Stroustrup (AT&T)
* Herbert Weber (TU Berlin)
Over 100 contributed papers, tutorials and satellite events.
Check for details: http://www.cwi.nl/conferences/ETAPS99