Groupes de travail
Le descriptif détaillé des groupes de travail se trouve ici.
- Spécification, Programmation et Logique
AFADL
(Approches Formelles dans l'Assistance au Développement de Logiciels), Marie-Laure Potet et Yves Ledru
Groupe B, Didier Bert
Logique, Algèbre et Calcul, Roberto Di Cosmo, Maribel Fernandez et Delia Kesner
SLOVO
(Sémantiques Logiques et Opérationnelles, Vérification et Optimisation), Siva Anantharaman,
François Fages, Michael Rusinowitch, et Gaétan Hains
Complexité, Modèles Finis et Bases de Données, Miki Hermann
MODINFO (Modélisation pour l'Informatique), Dominique Duval
COLLAB (Collaboration de solveurs), Eric Monfroy et Christophe Ringeissen
Objets, Composants et Modèles, Jacques Malenfant
Logique Classique et Programmation, Christophe Raffalli
Systèmes infinis, Alain Finkel, Philippe Schnoebelen, Ahmed Bouajjani,
Denis Lugiez
- Informatique Graphique
Animation
et Simulation, Marie-Paule Cani et Stéphane Donikian
GTMG (Groupe de Travail en Modélisation Géométrique),
Marc Daniel et Bernard Lacolle
Rendu et Visualisation, Nicolas Holzschuch et Bernard Péroche
- Algorithmique et Calcul Formel
ALEA, Philippe Flajolet
C2 (Codage et Cryptographie), Claude Carlet
Graphes et Algorithmes, A. Raspaud et G. Fertin
Algorithmique des séquences, Thierry Lecroq
Géométrie algorithmique, Bernard Lacolle et Jean-Daniel Boissonnat
IAVA (Information Algorithmique Versus Aléa), Bruno Durand
Graphes, Réseaux et
Modélisation, Matthieu Latapy
AriNews (Arithmétique des Ordinateurs),
Marc Daumas [en commun avec ARP]
- Optimisation Combinatoire
Programmation mathématique, Virginie Gabrel, Pierre Tolla,
Thierry Mautor, Philippe Michelon
Modèles par structures combinatoires, Alain Quilliot et Jean-Francois Maurras
Algorithmique à garanties de performances, Vangelis Paschos
META (Théorie et Applications des Métaheuristiques), Patrick Siarry, El-Ghazali Talbi
Contraintes, Philippe Baptiste et Pierre Lopez
GOThA (Groupe de recherche en Ordonnancement Théorique et Appliqué),
Francis Sourd