Short descriptions of work around Centaur

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

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