Index

• Les institutions actives du domaine
• Les cibles de publication
• Les outils existants

Les institutions actives dans le domaine

• GDR Programmation, groupe Preuves et spécifications algébriques
• GIPE : Generation of Interactive Programming Environments (CWI et Univ. of Amsterdam)

Autres listes de points d'entrée maintenues :

• à Oxford

Les cibles de publication

Chaque cible est précédée d'une indication du type [n], où n est un nombre compris entre 1 et 5, proportionnel à la cote scientifique de la publication. Cette indication est purement subjective, mais reflète tout de même un certain consensus des communautés concernées.

Revues internationales

Conférences internationales

• [?] ASF+SDF : (ASF+SDF'95)

Conférences nationales

Les outils existants

ASF+SDF :

Les outils d'aide à la preuve (proof assistant)

• Af2 (Jussieu)
• COQ (Inria, ENS-Lyon, LIP)
• IMPS (Harvard)
• LEGO (Edinburgh)