gmane.science.mathematics.frogs

Re: GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London

Misters,

For Your Information.

Best Regards,

Paul Boca wrote:
> Hi Guillaume,
>
> I now have 21 people on the list. Could you let me know by Monday
> whether you wish to attend the workshop.
>
> Thank you.
>
> Best wishes,
>
> Paul Boca
>
> On Thu, Mar 6, 2008 at 9:14 AM, Paul Boca wrote:
>   
>> Hi Guillaue,
>>
>> sorry for the delay in responding. It would be great if you could
>> attend the workshop. As well as myself and the speakers, the following
>> people will be in attendance:
>>
>> Alexander Gegov
>> Kees Pronk
>> Richard Bornat
>> Simon Dobson

(Continue reading)

headers

FORTAINE Guillaume | 15 Mar 00:59

The Compcert Verified Compiler

Misses, Misters,

I would greatly appreciate to have your comments on this research 
project, if possible, please :

The *Compcert* verified compiler <http://compcert.inria.fr/doc/index.html>

I look forward to your answer,

Best Regards,

GF