GDR 673

Algorithmique, Langage et Programmation

2002 - 2005

Le GDR ALP se transforme en un
GDR Informatique Mathématique
à partir du 1er janvier 2006.

Le GDR ALP a été créé en 1998 par fusion du GDR/PRC "Programmation", créé en 1993, et du GDR/PRC "Algorithmes, Modèles, Infographie", créé en 1995, succédant au PRC "Maths-Info".

Il a été renouvelé en janvier 2002.

ALP est un GDR d'"animation". Les autres GDR d'animation du département STIC sont :

Organisation du GDR ALP

Direction

Christiane Frougny, Professeur Paris 8, LIAFA

Le comité de direction se compose de la directrice et des responsables de pôles

Conseil Scientifique

Courriel: alp [at] liafa.jussieu.fr

Liste de diffusion du GDR ALP

Objectifs du GDR ALP

    Le GDR ALP traite de tous les aspects liés aux méthodes formelles, aux mathématiques appliquées à l'informatique, au développement et au management de logiciels. Ceci va des questions les plus fondamentales de la théorie du calcul (algorithmique, complexité, calcul symbolique) à la conception de systèmes logiciels (distribution, temps réel, bibliothèques, sécurité), en passant bien-sûr par le génie logiciel (qualité, productivité, évaluation) et la conception des langages de programmation de haut niveau et de leurs compilateurs.

    Les problèmes étudiés ici prennent une dimension particulière dans le cadre des calculs haute performance, la simulation de systèmes complexes, la visualisation scientifique ou la sécurité des réseaux, les applications médicales. Le succès de ces approches dépend en particulier de notre capacité à observer, modéliser, programmer, manipuler et certifier. Ce GDR est fondamentalement multi-disciplinaire, à travers ses collaborations avec des mathématiciens, des chercheurs en IA ou en sciences cognitives, des ergonomes et des psychologues et s'ouvre aussi aux sciences de la vie par le vaste champ d'applications que représente le génome.

    Le GDR ALP a pour objectif de fédérer des équipes françaises de recherche préoccupées par des questions d'effectivité et d'efficacité tant en programmation, en algorithmique, qu'en informatique graphique ou en logique. Il offre aux chercheurs concernés des lieux d'échanges et des moyens pour mener des recherches communes:

Pôles

Spécification, Programmation et Logique: Véronique Donzeau-Gouge et Philippe Schnoebelen

Méthodes, modèles et outils formels pour la spécification et la vérification des logiciels, sécurité, validation, outils pour la preuve, théorie de la démonstration, réécriture, contraintes, composition et réutilisation d'objets répartis.

Informatique Graphique: Anne Verroust

Modélisation géométrique, géométrie discrète, animation, simulation, rendu et visualisation, réalité virtuelle.

Algorithmique et Calcul Formel: Paul Zimmermann

Aspects algorithmiques en algèbre, géométrie, combinatoire, théorie des groupes, théorie des graphes, analyse d'algorithmes et de structures de données, calcul formel, codage et cryptographie, systèmes à événements discrets, automates, algorithmique génomique.

Optimisation Combinatoire: : Marc Demange

Méthodes pour la conception, l'évaluation, le test et le prototypage d'algorithmes de résolution de problèmes associés à des applications décisionnelles. Applications à la gestion, la planification, l'ordonnancement, la logistique, les télécommunications, les transports, la biologie, les sciences humaines.

Groupes de travail

Manifestations soutenues par le GDR ALP

Calendrier des manifestations

Comment participer au GDR

Le GDR finance des activités visibles: rencontres, écoles, colloques, etc.

Proposer une activité à son responsable de pôle en lui envoyant un courriel avec

Comment créer un nouveau Groupe de Travail : envoyer à son responsable de pôle un dossier contenant

Dans la mesure du possible, envoyer des fichiers latex et postscript.