Qui sommes-nous ? / Who are we?

• Membres / Members
• Thèmes de recherche / Research Topics
• Enseignements / Teaching : Computer Science curriculum at ENS Lyon

Activités / Activities

• Projets / Projects : Choco - Complice - Scalp - MALOA.

• Publications / Publications

• Coq, Développements logiciels / Software

• Séminaire, groupes de travail, rencontres / Seminars and Meetings :

• Propositions de stage / Internship proposals

Actualité / News

Information available as RSS feed