ActivitΘs du Laboratoire

• Combinatoire et Algorithmique
  • Les sous-Θquipes Combinatoire ΘnumΘrative et Combinatoire et algorithmique distribuΘe
  • Le groupe de travail Graphes et rΘseaux d'interconnexion

• Logique et Automates
  • Logique, langages formels et graphes
  • ModΘlisation, vΘrification et test de systΦmes informatisΘs

• Calcul parallΦle
  • Algorithmique et environnements de programmation pour le parallΘlisme

• Programmation Symbolique
  • SΘmantique et implantation de langages, analyse de programmes

• Informatique Graphique

Retourner α la page d'accueil