Informatique fondamentale

La problématique scientifique s’articule en deux volets : un volet modélisation et un volet algorithmique et langages de programmation.

  • En ce qui concerne la modélisation, on s’intéresse à la modélisation par des structures discrètes (d’objets réels, imaginaires. . . ), à la modélisation du calcul, de la machine ;
  • En ce qui concerne l’algorithmique et les langages de programmation : on s’intéresse à la conception d’algorithmes et de programmes, à leur analyse (terminaison, complexité, … ), à leur mise en œuvre et à leur garantie, ainsi qu’à l’étude de langages permettant de les programmer et de les analyser.

 

Informations

Animateurs

Hamamache Kheddouci (LIRIS), Jean-Michel Muller (LIP)

Équipes impliquées

SOCRATE (CITI), PRIVATICS (CITI), CHROMA (CITI), MC2 (LIP), ROMA (LIP), PLUME (LIP), ARIC (LIP), GOAL (LIRIS), M2DisCo (LIRIS), GeoMod (LIRIS), R3AM (LIRIS), BEAGLE (LIRIS)

Informations

Liste de diffusion