Directory of Centres de recherche Resources

Home > World > Français > Sciences > Mathématiques > Logique et fondements > Centres de recherche

Subcategories

• Informatique théorique

Resources in This Category

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

• Équipe de Logique Mathématique

  http://logik.mathematik.uni-freiburg.de/index_fr.html
  Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.

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

• Laboratoire d'algorithmique, complexité et logique

  http://www.univ-paris12.fr/lacl/
  Laboratoire du CNRS au département d'informatique de l'Université Paris 12.

• Logique de la Programmation

  http://iml.univ-mrs.fr/ldp/
  Équipe de recherche de l'Institut de Mathématiques de Luminy.

• Logique mathématique

  http://www.ulb.ac.be/rech/inventaire/unites/ULB174.html
  Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.

• Thème Logique

  http://math.univ-lyon1.fr/~blossier/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.

Related Categories

• Home > World > Français > Sciences > Centres de recherche
• Home > World > Français > Sciences > Mathématiques > Centres de recherche

Other Languages

• anglais

 

Home > World > Français > Sciences > Mathématiques > Logique et fondements > Centres de recherche

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us