The Coq mailing list

["Marc Daumas" <Marc.Daumas AT ENS-Lyon.Fr>]

Dear Sir,

I have read the program of the FPL 2003 conference and I did attend the
conference back in 1994. I have strong doubts that your mail was of interest
to the subscribers of the coq-club mailing list. Please correct me if I am
wrong with title of talks or sessions.

Sincerely,

> -----Message d'origine-----
> De : 
> coq-club-admin AT pauillac.inria.fr
> [mailto:coq-club-admin AT pauillac.inria.fr]De
>  la part de Reiner
> Hartenstein
> Envoye : vendredi 30 mai 2003 07:24
> A : 
> morphware AT rhrk.uni-kl.de
> Objet : [Coq-Club] [morphware] FPL 2003 - early registration deadline
> coming close
>
>
>
>      The 13th International Conference on
>    Field Programmable Logic and Applications
>     Lisbon - Portugal, September 1-3, 2003
>
>               http://fpl.org
>
> world-wide the largest conference in this field
> 3 parallel sessions
> 90 technical papers and 60 posters
>
> Reiner Hartenstein, publicity chair
> --------------------------------------------------------
> Bug reports: http://coq.inria.fr/bin/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>           http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club