• Teaching Coq (first experiences in France)
• First experiences in Paris and Lyon
• Other experiences in France