Centre national de recherches de Logique - Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.
Équipe de logique mathématique - 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é - 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 - 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.
Logique mathématique - Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.
Thème Logique - Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théorie des modèles et complexité algébrique, en rapport avec la théorie des groupes et la géométrie.
Help build the largest human-edited
directory on the Web.
Anything Goes Trivia
Last Kiss
Megaton Man
Trevor
