Mathématiques - Logique et fondements

Catégories : Mathématiques > Logique et fondements > Centres de recherche

1 2 >

Centre national de recherches de Logique
Mathématiques - Logique et fondements - Centres de recherche
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
Mathématiques - Logique et fondements - Centres de recherche
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.

Équipe de Logique Mathématique
Mathématiques - Logique et fondements - Centres de recherche
Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.

Equipe Modèles de Calcul et de Complexité
Mathématiques - Logique et fondements - Centres de recherche
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
Mathématiques - Logique et fondements - Centres de recherche
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.

Laboratoire d'algorithmique, complexité et logique
Mathématiques - Logique et fondements - Centres de recherche
Laboratoire du CNRS au département d'informatique de l'Université Paris 12.

Laboratoire de Logique, Algorithmique et Informatique
Mathématiques - Logique et fondements - Centres de recherche
Situé au département d'informatique de l'IUT de Clermont Ferrand, il comporte un thème d'informatique théorique.

Logique de la Programmation
Mathématiques - Logique et fondements - Centres de recherche
Équipe de recherche de l'Institut de Mathématiques de Luminy.

Logique mathématique
Mathématiques - Logique et fondements - Centres de recherche
Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.

Service de Logique Mathématique
Mathématiques - Logique et fondements - Centres de recherche
Équipe de l'institut de Mathématique de l'Université de Mons-Hainaut (Belgique).

1 2 >