  |
Équipe de logique mathématique - http://www.logique.jussieu.fr/
Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique. Université Paris 7, CNRS - UMR 7056. |
| |
Equipe Modèles de Calcul et de Complexité - http://www.ens-lyon.fr/LIP/MC2/
Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France. |
| |
Équipe Plume - http://www.ens-lyon.fr/LIP/PLUME
Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France. |
| |
Centre national de recherches de Logique - http://www.logic-center.be/
Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges. |
| |
Logique de la Programmation - http://iml.univ-mrs.fr/ldp/
Équipe de recherche de l'Institut de Mathématiques de Luminy. |