Annuaire Catégorie: Sciences/Mathématiques/Logique et fondements/Centres de recherche

Annuaire Catégorie: Sciences/Mathématiques/Logique et fondements/Centres de recherche - Atuvu Référencement

Informatique théorique@ (9)

Voir également / Sites sélectionné(s):

Autres catégories / Sites de la rubrique Sciences/Mathématiques/Logique et fondements/Centres de recherche

Sciences: Centres de recherche (103)
Sciences: Mathématiques: Centres de recherche (44)

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.

www.ens-lyon.fr/LIP/MC2/

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.

www.univ-paris12.fr/lacl/

Laboratoire d'algorithmique, complexité et logique - Laboratoire du CNRS au département d'informatique de l'Université Paris 12.

iml.univ-mrs.fr/ldp/

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

www.ulb.ac.be/rech/inventaire/unites/ULB174.html

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.

logik.mathematik.uni-freiburg.de/index_fr.html

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

www.logique.jussieu.fr/

É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.

www.ens-lyon.fr/LIP/PLUME

É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.

Voir également / Sites sélectionné(s):

Autres catégories / Sites de la rubrique Sciences/Mathématiques/Logique et fondements/Centres de recherche

Referencement

Linking

Annuaire

Partenaires