[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Short descriptions of work around Centaur






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