Re: Short descriptions of work around Centaur

[jmi@columbo.inria.fr (Janet Bertot)]

Hi again ... 

Some time ago the following appeared in the mailing list.

In article <44737@sophia.inria.fr>, jmi@columbo.inria.fr (Janet Bertot) writes:
=> Hi centaur users,
=> 
=> As you all know the users' club meeting will take place at Inria (Sophia
=> Antipolis) on April 13th and 14th.  i'd like to collect a description of the
=> various projects that people are involved in around Centaur ---not just from
=> the meeting's participants but from *all* users.  This will help us see how
=> people are using centaur; what the main type of activities are.  Is it work 
=> developing programming environments, experimenting with semantics, program 
=> transformations/verification, etc. ??
=> 		       +-----------------------------+
=> If possible, i'd like to receive the descriptions before Wednesday April 7th,
=> (as i think this will be of interest to the club meeting's participants).  
=> Please send descriptions, via e-mail, to Janet.Bertot@sophia.inria.fr
=> 
=> 	thanks
=> 	janet bertot


Well the Centaur users' club has come and gone, and from our point of view
(i.e., that of the system developers) it was very interesting!!  It was good
to see what people were doing and to hear what users would like to do with 
the system.  Where the system gave the necessary support and where they were
hoping for more help ...

The list of abstracts is very useful to see what types of projects are in 
the works, we've got about 20 abstracts now and i would like to continue
collecting them until say mid-May or so.  Then make the abstract collection
available in postscript form for those interested in the centaur and what you
can do with the system.  People have sent anything from 1-2 paragraphs to a 
page.  Some included references to full blown papers describing the work in 
more detail for those who might be interested.   So if you haven't contributed
but would like to, please drop me a mail with the description of your work 
around Centaur.


		thanks
		janet bertot