Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théori...
Équipe de recherche de l'Institut de Mathématiques de Luminy.
Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.
Laboratoire du CNRS au département d'informatique de l'Université Paris 12.
Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique....
Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à...
Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étud...
Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sém...
Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique ...