[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Short descriptions of work around Centaur
- Subject: Short descriptions of work around Centaur
- From: jmi@columbo.inria.fr (Janet Bertot)
- Date: 31 Mar 93 13:31:04 GMT
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