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