TASC (SR0447MR)

Theory, Algorithms and Systems for Constraints

TASC

Statut: Terminée

Responsable : Nicolas Beldiceanu

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Architecture, langages et compilation

Période : 01/01/2011 -> 31/12/2016
Dates d'évaluation : 22/03/2011 , 22/03/2016

Etablissement(s) de rattachement : E. Mines Nantes, U. NANTES
Laboratoire(s) partenaire(s) : LINA (UMR6241)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031103-0

Numéro RNSR : 201120985S
N° de structure Inria: SR0447MR

Présentation

Axes de recherche

Relations industrielles et internationales