The Coq mailing list

[Xavier Leroy <Xavier.Leroy AT inria.fr>]

[ The question is: where can a working engineer get training courses
in Coq?  I'm sure the academics on this list can give more pointers. ]

On 31/01/15 15:56, Louis Garde wrote:
> Quelle genre de formation traitant de Coq proposez vous pour les
> ingénieurs ?  Je voudrais m'essayer à la demonstration de propriétes
> d'un programme de sécurité pour un robot industriel, une formation
> m'aiderait à me lancer...

Les exemples que je mentionnais viennent d'un tutoriel du Forum
Méthodes Formelles, un cycle de conférences sur l'utilisation des
méthodes formelles (analyse statique, vérification déductive, model
checking) pour le logiciel critique:

http://projects.laas.fr/IFSE/FMF/histo.html

Ces conférences donnent un bon panorama du domaine, mais ne sont pas
des cours approfondis.  Mes collègues universitaires sur cette liste
pourront sans doute indiquer des formations plus poussées.

- Xavier Leroy