Comité national de la recherche Scientifique - Section 06
Comité national de la recherche scientifique
Comité national / sections / section 06


Section 06 : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

L'institut pilote de la section est l'Institut des sciences de l'information et de leurs interactions

Mots clés

I. Algorithmique,  combinatoire

Algorithmes : méthodes génériques, algorithmique des graphes, algorithmique du texte

Combinatoire, théorie des graphes, systèmes dynamiques discrets

II. Calcul arithmétique et formel, codage et cryptologie

Arithmétique des ordinateurs, calcul formel, calcul certifié

Sécurité informatique, codage, cryptologie, protection de la vie privée

III. Modèles de calcul, preuve, vérification

Automates, modèles de calcul, langages formels ; calculabilité, complexité  Logique, preuve, sémantique

Spécification, analyse et vérification de programmes, de protocoles et de systèmes

IV. Programmation et architecture logicielle

Langages de programmation, compilation

Calcul parallèle, calcul distribué, calcul à haute performance

Génie logiciel, architectures des middlewares, architectures à base de services, sûreté de fonctionnement

V. Systèmes et réseaux

Systèmes répartis, infrastructures à grande échelle, grilles de calcul, nuage

Réseaux filaires et sans fil : algorithmes, protocoles, sécurité, évaluation de performance

Réseaux sociaux : modélisation et analyse

VI. Données et connaissances

Bases de données, fouille de données, masses de données, apprentissage

Ingénierie des connaissances, web sémantique, recherche d'information

VII. Intelligence artificielle

Représentation des connaissances, formalisation des raisonnements

Acquisition des connaissances, apprentissage

Systèmes multi-agents    

VIII. Aide à la décision  et  recherche opérationnelle  

Optimisation, programmation mathématique, satisfaction de contraintes

Décision, choix social, théorie algorithmique des jeux

Ordonnancement, systèmes de production, logistique

IX. Sciences de l’information et sciences du vivant

Bioinformatique et autres interactions en lien avec les thématiques ci-dessus  


Composition de la section

Annuaire des membres de la section