The Coq mailing list

[Therese Hardin <therese.hardin AT lip6.fr>]

> Bonjour,
>
> Le comité de programme des JFLA06 a le plaisir de vous adresser  
> l'appel à participation. Innovations 2006:  le programme comprend  
> des cours permettant aux débutants de s'initier à Coq et Focal et  
> aux plus chevronnés de  partager leurs connaissances et leur  
> enthousiasme. Venez goûter au "Coq au Pauillac et aux Omégas en  
> Focalisant avec Zenon". Pour tous détails, voir l'appel à  
> participation:
>
> http://jfla.inria.fr/2006/index.html
>
> Une session de d�monstrations d'outils a �galement �t� pr�vue.  
> Pouvez-vous envoyer vos propositions de d�monstration �  
> jfla2006 AT loria.fr. Merci d'avance.
>
> Merci d 'avance de l'intérêt que vous porterez à ces Journées  
> Françaises des Langages Applicatifs, qui souhaitent s'ouvrir à  
> toutes les approches de spécification et de programmation  
> rejoignant notre souci de développement de logiciels plus sûrs.
>
> Très cordialement
>
> Thérèse Hardin, Présidente du Comité de programme