Les exposés s'adressent en priorité aux élèves informaticiens, mais ils sont bien entendu publics et ouverts à tous les auditeurs intéressés. Les intervenants sont des élèves, d'anciens élèves, ou de jeunes chercheurs, qui présentent soit leur travail personnel de recherche, soit un domaine (ou article) qu'ils ont étudié pour l'occasion.

Pour participer au séminaire ou simplement recevoir par mail les annonces, contactez moi !

• Les exposés du séminaire 2001-2002
• Les exposés du séminaire 2002-2003 ayant déjà eu lieu.

Annonce spéciale:

La prochaine séance:

Mardi 6 mai à 18H30
Séquentialité et programmation fonctionnelle
Benjamin Leperchey

Résumé :

Les modèles simples des langages de programmation contiennent beaucoup de fonctions qu'on ne peut pas écrire (par exemple) en CaML, parce qu'il faudrait pouvoir faire des calculs «en parallèle».

On définit donc une classe de fonctions, dites séquentielles. Le problème est qu'il n'existe aucun modèle formé uniquement de fonctions séquentielles. On examine donc d'autres notions de séquentialité, définies à partir d'un langage qu'on voudrait étudier, ou de façon abstraite.

Dans le second cas, on obtient des fonctions qui ne sont pas programmables dans un langage purement fonctionnel (le noyau de CaML), mais qui restent tout à fait extensionnelles et qui ont une caractérisation mathématique assez simple.

La première partie de l'exposé présentera les intuitions de la séquentialité puis (très simplement) les quelques notions nécessaires, puis (toujours simplement) les différentes facons de présenter ce modèle, et le reste de l'exposé sera consacré à des exemples et des applications.

L'exposé sera tout à fait accessible aux conscrits, comme toujours.

La séance précédente:

Jeudi 24 avril avril à 18H
AntiPatterns : Réorganisation des projets logiciels en crise
Joannès Vermorel (Promo 2002)

Résumé :

Dans la recherche comme dans l'industrie, le génie logiciel est presque toujours une entreprise chaotique et risquée. Des études dans le secteur du logiciel ont montré que :

• un tiers des projets sont annulés après leur lancement.
• les deux tiers des projets aboutissent à des dépassements de budgets supérieurs à 200%.
• Plus de 80% des projets sont des échecs selon les objectifs initiaux.

Face à ce problème plusieurs approches sont possibles. On peut penser à l'introduction d'outils qui permettent une programmation plus "sûre" (typage par exemple). Cependant, la relative faiblesse des outils actuels n'explique pas la proportion anormalement élevée d'échecs dans le domaine du logiciel.

Une autre approche, assez radicalement différente, a émergé ces dernières années : l'étude des AntiPatterns. Plutôt que de vouloir garantir le fonctionnement correct du logiciel (objectif ambitieux compte tenu du taux d'échec actuel), il s'agit de déceler les pratiques qui mènent à un échec quasi-certain des projets.

Séances passées de l'année en cours:

• onzieme séance: Benjamin Leperchey, "Séquentialité et programmation fonctionnelle", 6 mai 2003;
• dixième séance: Joannès Vermorel, "AntiPatterns : Réorganisation des projets logiciels en crise", 24 avril 2003;
• neuvième séance: Édouard Maurel-Ségala, "Le problème de la spécification dans le cas de la logique classique" 1^er avril 2003;
• huitième séance: Giuseppe Castagna, "Présentation de l'équipe Langages du DI", 25 mars 2003;
• septième séance: Guillaume Charpiat, "Déformation de courbes planes", 18 mars 2003;
• sixième séance: Alain Frisch, "Automates d'arbres", mars 2003;
• cinquième séance: Axelle Ziegler et Cédric Faure, "Atour du Système F", 28 janvier 2003;
• quatrième séance: Alexis Saurin, "séance préparatoire à la séance sur le Système F", 14 janvier 2003.
• troisième séance: Pierre Senellart, "Vérification automatique de multiplicateurs avec les *BMDs", 10 décembre 2002.
• deuxième séance: Phong Nguyen (CNRS/LIENS), "À la recherche du plus court vecteur", 19 novembre 2002;
• première séance: Vincent Simonet, "Inférence de flots d'information pour Caml: de la théorie à la pratique", 5 novembre 2002.