L’air de rien No 15Spécial Rentrée

L’aléastriel du Laboratoire de Recherche et de Développement de l’EPITA1 Numéro 15, Octobre 2008

Édito — La main passe. . .par Akim Demaille

Le 03/03/03 Théo me laissaitla responsabilité de la directionde la structure qu’il avait crééecinq ans auparavant, le LRDE.C’est maintenant à mon tour delaisser la main à Olivier Ricou.Ces cinq années ont été très en-richissantes ! Merci à tous ceux

qui m’ont aidé à assurer ce rôle, tout particulière-ment Daniela qui, malgré ses responsabilités de di-rection du programme Erasmus à l’EPITA, s’est mon-trée indispensable au bon fonctionnement du labo.

En réalité, c’est autour du 08/08/08 que la pas-sation de la direction s’est faite. Depuis Olivier or-

chestre les différentes activités du laboratoire : ges-tion des contrats avec nos partenaires des pôlesde compétitivité dont nous sommes membres, don-ner aux chercheurs les moyens de conduire une re-cherche digne de publication, renforcer la visibi-lité du LRDE (et donc de l’EPITA) par des ac-tions de communication visibles dans les mondesacadémique et industriel, étoffer l’équipe pour faireface aux différents défis que nous avons relevés, etun milliers de petites tâches administratives quoti-diennes qui contribuent tant au plaisir d’être respon-sable. . .

D’après mes calculs, Olivier cédera sa place le13/13/13. Avec la chance qu’il a, je parie que ce seraun vendredi !

Arrivée de Dalila BenboudjemaLe LRDE accueille depuis larentrée un nouvel enseignant-chercheur. Et c’est une femme !

Titulaire d’un doctorat deTélécom-SudParis ex INT-Evry,Dalila a effectué sa thèse audépartement Communicationet Traitement de l’Information(CITI) de Télécom-Sud Paris

sous la direction du Professeur W. Pieczynski, direc-teur du département. Son projet de thèse portait surdes extensions des champs de Markov appliquéesau traitement d’images. Durant ses trois années dethèse, elle était en charge d’un certain nombre d’en-seignements. Elle a ainsi assuré des cours en algo-rithmique et langage C pour des Ing1 ainsi que desenseignements en traitement statistique des images,en analyse de scène et en vision par ordinateur pourdes Ing3.

Après sa thèse elle a effectué un séjour post-doctoral au département Traitement du Signal et des

Images (TSI) de Télécom-Paris où elle a travaillé,dans un premier temps, sur l’application de ses tra-vaux de recherche à la segmentation des images sa-tellitaires puis, dans un second temps, sur l’indexa-tion des séquences d’images de télévision et le suivide visages dans des séquences vidéos.

Elle a ensuite rejoint le Centre de MorphologieMathématiques (CMM) de l’École des Mines de Pa-ris en qualité d’ingenieur de recherche où elle tra-vaillait sur le développement, l’implémentation et lavalidation d’algorithmes avancés pour le traitementd’images cytologiques au microscope à fluorescence.

Comme vous l’avez sans doute constaté, elle s’in-téresse à tout ce qui a trait de près ou de loin au traite-ment d’images, à savoir la segmentation d’images, lamodélisation markovienne, la théorie de l’évidence,le video tracking, l’indexation d’images et l’imageriebiomédicale.

Elle est également membre de comités de lecturedans des conférences et revues internationales.

1L’air de rien, http://publis.lrde.epita.fr/LrdeBulletin.

L’air de rien — Spécial Rentrée No 15, Octobre 2008

Dates à retenirMer. 5 nov. 14h — Séminaire LRDE : Ada

Dans le cadre du séminaire LRDE « perfor-mance et généricité » 2, des chercheurs uni-versitaires ou industriels viennent exposer leurdernier travaux sur le sujet. Il ne faut pasconfondre ce séminaire avec celui de CSI, dontles orateurs sont nos étudiants.Cette séance sera consacrée au langage de pro-grammation Ada. Le premier orateur, ThomasQuinot, montrera comment implémenter effi-cacement et généralement le transport de don-nées structurées pour les appels distants.Le second orateur, Samuel Tardieu, estenseignant-chercheur de Telecom ParisTech(autrefois l’École Nationale Supérieure des Té-lécommunications de Paris (ENST)). Il nousprésentera les techniques d’analyse statiquemises en œuvre dans GNAT pour engendrer ducode sûr débarrassé de tout contrôle inutile.

Jeu. 20 nov. — Présentation de CSIÀ l’intention des Ing1, présentation de l’op-tion CSI, des projets sur lesquels le LRDE re-

crute, des modalités de recrutement, etc. En-suite, portes ouvertes au LRDE pour discuteravec les permanents et les anciens CSI autourd’un (ou plusieurs) verre.

Mer. 26 nov. 14h — Séminaire LRDE : BTL++Le sujet est encore en discussion. LaurentPlagne, chercheur chez EDF, présentera sansdoute BTL++, bibliothèque générique dédiée àla mesure de performances, et les résultats deson utilisation sur lees TBBs (Threading Buil-ding Blocks3), une technologie pour exploiterle parallélisme en C++.

Mar. 10 déc. 18h-22h — Recrutement CSISoirée de recrutement des nouveaux arrivantsau LRDE (promotion CSI-2011).

Mer. 7, 14 janvier 2009 — Séminaire CSI-2009Les étudiants CSI-2009 présentent la conclu-sion de leur deux années de R&D au LRDE.

Mer. 12 juin – 15 juillet 2009 — Sém. CSI 2010/11Présentation des travaux des promotions CSI2010 et 2011.

Le Laboratoire de R&D de l’EPITApar Akim Demaille (Ens./Cher.)

Le LRDE a été créé en février1998 pour promouvoir l’activitéde recherche à EPITA et pourpermettre aux étudiants d’êtreimpliqués dans des projets de

recherche. Au fil des années, le laboratoire a trouvésa place à l’intersection de la recherche, du dévelop-pement et de l’enseignement.

La rechercheLa politique du laboratoire comprend deux

grands types d’activités.La recherche propre à l’école sur ses sujets

de prédilection, avec un objectif de reconnaissancescientifique grâce à des publications et des collabora-tions avec d’autres centres de recherche.

La recherche appliquée en collaboration avecd’autres partenaires académiques (tels que l’Institutd’Astrophysique de Paris, le Commissariat à l’Éner-gie Atomique. . .) ou des industriels (EMC-Captiva,Bouygues Telecom. . .) afin de valoriser la recherche

conduite en interne et de contribuer au financementde la recherche.

Les thèmes de recherche sont le calcul génériqueet performant (ou comment concilier généralité et vi-tesse) et les modèles probabilistes (ou comment at-taquer les problèmes tels que la reconnaissance desformes, l’authentification de la voix, la conformitéapprochée etc.). Les résultats sont présentés dansdes conférences internationales ou des revues scien-tifiques — plus de 80 communications en 10 ans.

Le développementD’ambitieux projets de développement logiciel4

concrétisent et fertilisent la recherche. La diffu-sion de logiciels libres novateurs permet d’établird’étroites collaborations avec d’autres laboratoiresde recherche, mais aussi avec l’industrie toujours enquête d’innovations.

Olena est une bibliothèque de traitementd’images et du signal : elle fournit l’ensemble desprimitives nécessaires pour que le traiteur d’imagespuisse attaquer des problèmes tels que la reconnais-

2Séminaire LRDE « performance et généricité », http://seminaire.lrde.epita.fr/.3Threading Building Blocks, http://www.threadingbuildingblocks.org/.4Projets de développement logiciel, http://projects.lrde.epita.fr.

2

No 15, Octobre 2008 L’air de rien — Spécial Rentrée

sance des formes, le recalage, la segmentation etc.Sa spécificité est d’être à la fois générique (les algo-rithmes sont écrits une fois pour toutes mais utili-sables dans de nombreux contextes très différents :images en noir et blanc, pixels hexagonaux, rouge-vert-bleu ou bien plus de composantes, images mas-quées ou calculées, etc.) et performante (pour une fois,ne pas payer la généralité au prix de la vitesse).

Vaucanson est le petit frère d’Olena consacré à lamanipulation des automates finis, le modèle élémen-taire théorique de ce qu’est une machine capable decalcul tel qu’un petit ordinateur. Vaucanson est unprojet né à l’ENST sous l’impulsion de Jacques Sa-karovitch et de Sylvain Lombardy, qui le co-pilotenttoujours, et tracent les grands axes de son dévelop-pement.

Transformers fournit un cadre pour la manipu-lation de programmes C++ et permet la création depuissants outils améliorant la productivité des pro-grammeurs : outils d’analyse de correction de code,rénovation de logiciel, extension du langage C++,optimisation etc.

La vérification du locuteur est une composantedu domaine de la biométrie. Elle consiste à vérifiersi un échantillon de parole a bien été prononcé parle locuteur proclamé et non pas par un imposteur.Ce groupe du LRDE s’intéresse aux méthodes statis-tiques de reconnaissance des formes appliquées auxdomaines de la vérification du locuteur.

SPOT est une bibliothèque pour la constructionde model checkers. Le model checking consiste à véri-fier qu’un modèle satisfait bien des contraintes expri-mées par des formules logiques. Dans le cas présentles modèles sont représentés par des automates par-ticuliers qui reconnaissent des mots de longueur infi-nie (on parle d’ω-mots et d’ω-automates). Ce projet

est né au LIP6 à l’occasion du stage de DEA (puis dela thèse) d’Alexandre Duret-Lutz.

L’enseignementLes sept enseignants chercheurs, deux ingénieurs

de recherche et trois doctorants jouent un rôle mo-teur dans l’enseignement dispensé à l’EPITA : ils as-surent la plupart des cours fondamentaux et montentégalement des cours optionnels plus pointus autourde leur thèmes de recherche. De plus, en faisantdes projets scolaires de véritables petits sujets de re-cherche, ils renouvellent sans cesse les thèmes grâceauxquels, par la pratique, les étudiants deviennentdes épitéens.

Les plus enthousiastes des Ing1 peuvent être re-crutés au LRDE en qualité d’étudiants-chercheurs.Alors, pendant deux années, ils partageront la viedes enseignants-chercheurs : leur participation auxprojets de recherche est essentielle. Par trois fois dansleur cursus ils présentent leurs résultats par écrit (unrapport de recherche) et à l’oral à l’occasion du Sé-minaire CSI. Cet effort de longue haleine sur un su-jet pointu est parfois concrétisé par la rédaction/ac-ceptation/présentation d’articles en conférences in-ternationales.

Ils peuvent également avoir à collaborer sur lapréparation des enseignements, sur l’exigeante logis-tique quotidienne d’un laboratoire d’informatique,etc. Ainsi, après deux années de véritable initiationà la recherche sous tous ses aspects, près de la moitiéd’entre eux font le choix éclairé de poursuivre leursétudes jusqu’au doctorat, tandis que l’autre moitiépoursuit un cursus plus classique, mais avec unemeilleure compréhension de ces chercheurs avec les-quels ils collaboreront durant leur carrière.

Les membres du LRDEVous trouverez ici la présentation des permanents duLRDE, et même un peu plus avec Catherine Coquan,logée temporairement dans nos locaux. La liste descours assurés par le LRDE5 est disponible en ligne.

Daniela Becker (Administration)

Le véritable voyage de découverte ne consiste pas àchercher de nouveaux paysages, mais à avoir de nouveaux

yeux. — Marcel Proust

Titulaire d’un DEA d’histoire del’art de l’EHESS et ayant ensei-gné l’histoire de l’art et l’alle-mand pendant quatre ans, Da-niela Becker assiste Olivier Ri-cou, nouveau responsable duLRDE, dans l’art de la gestionadministrative et de la com-munication externe et internedu LRDE. Elle assure le suivi

des relations entre l’administration de l’école, lesenseignants-chercheurs et les étudiants accueillis aulabo.

5Liste des cours assurés par le LRDE, http://epita.lrde.epita.fr/CourseList.

3

L’air de rien — Spécial Rentrée No 15, Octobre 2008

Pour l’EPITA, elle travaille avec Catherine Co-quan et s’occupe de la partie Europe des Relations in-ternationales de l’école. En tant que coordinatrice duprogramme européen Erasmus, elle est responsabledes échanges universitaires avec neuf établissementspartenaires. Elle gère les signatures d’accords bilaté-raux, suit l’application du système ECTS à l’EPITAet organise l’envoi et l’accueil des étudiants et ensei-gnants en mobilité.

Dalila Benboudjema(Enseignant-Chercheur)

Savoir que l’on sait ce que l’on sait, et savoir que l’on nesait pas ce que l’on ne sait pas : voilà la véritable

intelligence. — Confucius

Docteur de Télécom Sud-Parisex. INT-Evry. Elle a effectué unséjour post-doctoral à Télécom-Paris. Elle a ensuite rejointl’École des Mines de Paris enqualité d’ingénieur de rechercheet vient d’être recrutée à l’EPITAsur un poste d’enseignant cher-cheur. Elle s’intéresse à la seg-mentation d’images, la modéli-

sation markovienne, la théorie de l’évidence, la mor-phologie mathématique avec des applications enimagerie radar et biomédicale.

Catherine Coquan(Relations Internationales EPITA)

Quand un arbre tombe, on l’entend ; quand la forêtpousse, pas un bruit. — Proverbe sud-africain

Responsable des relations inter-nationales Epita, elle fait la pro-motion de l’école à l’étrangerpar la production de supportsde communication, la participa-tion à des évènements (salons,rencontres) et le suivi de candi-datures pour adhérer à des or-ganismes internationaux. En in-terne, elle travaille avec la direc-

tion, le service ingénierie et les relations entreprisespour qu’il y ait une cohérence entre le cursus exis-tant et les besoins et opportunités à l’international.Elle répond aux demandes extérieures et développeles contacts à la recherche de nouveaux partenariatset stages à l’étranger. Les étudiants s’adressent à ellepour connaître les offres de stages du service maisaussi pour des questions plus générales liées à l’in-ternational.

Réda Dehak (Enseignant-Chercheur)

La théorie, c’est quand on sait tout et que rien nefonctionne. La pratique, c’est quand tout fonctionne et

que personne ne sait pourquoi. Ici, nous avons réunithéorie et pratique : Rien ne fonctionne... et personne ne

sait pourquoi ! — Albert Einstein

Docteur de l’ENST. Il s’intéresseaux méthodes statistiques ap-pliquées au domaine de la re-connaissance des formes. Il en-cadre au LRDE le groupe de tra-vail sur le traitement de la pa-role et de la vérification auto-matique du locuteur. Ses ensei-gnements comprennent en Ing1RELA (Bases de données rela-

tionnelles) et BDIM (Implémentation des SGBDs) ; eten option TNS (traitement numérique du signal) etTRPA1, TRPA2 (traitement automatique de la parole).

Akim Demaille (Enseignant-Chercheur)

A programming language is low level when its programsrequire attention to the irrelevant. — Alan Perlis

Ingénieur et docteur en informa-tique de l’ENST. Il s’intéresse àla théorie des langages de pro-grammation, la construction descompilateurs et la transforma-tion de programmes. Ses ensei-gnements comprennent en In-foSpé THLR (théorie des lan-gages rationnels) ; en Ing1 THL(théorie des langages) ; et en op-

tions LOFO (logique formelle). Également membrede l’équipe R&D de Gostai6, une Jeune Société In-novante, il participe au développement d’Urbi, unlangage de programmation parallèle et événementielpour la robotique domestique. Il est membre du co-mité de programme de la conférence RIVF.

6Gostai, http://www.gostai.com.

4

No 15, Octobre 2008 L’air de rien — Spécial Rentrée

Alexandre Duret-Lutz(Enseignant-Chercheur)Moi, je n’aime pas les citations. — Schtroumpf Grognon

Ancien épitéen (SCIA promo2001), il a soutenu sa thèseau LIP6 (Laboratoire d’Informa-tique de Paris 6) en juillet 2007avant de rejoindre l’EPITA. Ils’intéresse à l’utilisation d’auto-mates pour la vérification for-melle et à la programmation parobjets. Aux Ing1 il dispense lecours d’ALGO, aux CSI le cours

de Model-Checking. Il participe à THLR en InfoSpé.Au LRDE il encadre le projet Vaucanson7 (biblio-thèque d’automates finis). Avec le LIP6 il collaboreautour la bibliothèque de model checking SPOT.

Thierry Géraud (Enseignant-Chercheur)La probabilité zéro n’existe pas.

Ingénieur et docteur de l’ENST.Il s’intéresse aux langages à ob-jets et à comment faut-il doncfaire, hein, pour écrire des pro-grammes de calcul scientifiqueabstraits et performants. Sesenseignements comprennent enIng1 CPP, MOB1, MOB2 (atelierC++, modélisation avec des ob-jets), et INIM (initiation au trai-

tement d’images, optionnel) ; et en options SYNT etMRF (synthèse d’images et champs de Markov). Ilencadre le projet Olena8 (bibliothèque générique detraitement d’images).

Alexandre Hamez (Doctorant)Je passe le plus clair de mon temps à l’obscurcir.

— Boris Vian

Doctorant en troisième année auLRDE et au LIP6, son sujet derecherche concerne la paralléli-sation et la répartition des dia-grammes de décisions, dans lecadre de la vérification de sys-tèmes répartis. Il enseigne REPE(Réseaux de Petri), MIDD (LesIntergiciels) aux Ing2, IMC en co-

opération avec Alban Linard. Enfin, il participe àl’encadrement de THLR en InfoSpé.

Sébastien Hémon (Doctorant)

Le problème du monde, c’est que les imbéciles sontprésomptueux et les gens intelligents bourrés de doutes.

— Bertrand Russell

Sébastien Hémon est doctorantau LRI (Laboratoire de Re-cherche en Informatique) situéà Orsay, en partenariat avecle LRDE. Diplômé d’un DEAen logique et ancien professeurde mathématiques dans les éta-blissements publics de seconddegré (il possède entre autresl’agrégation de mathématiques),

il dispense quelques cours à dominante théoriqueaux CSI et SCIA.

Participant actif au groupe de recherche Infor-matique Mathématique du CNRS, il utilise les ou-tils mathématiques pour tenter de résoudre des pro-blèmes liés à l’informatique. La théorie des jeux estson domaine de prédilection et le LRDE lui fournitune vision plus appliquée et pratique de ses travauxqui portent principalement sur le calcul effectif deséquilibres de Nash et la recherche de stratégies ga-gnantes.

Guillaume Lazzara(Ingénieur de Recherche)

Ce n’est pas le but de la promenade qui est importantmais les petits pas qui y mènent. — Proverbe Chinois

Tout juste diplômé de l’EPITA,ancien CSI 2008, il a travaillésur le projet Vaucanson (biblio-thèque d’automates finis). L’es-sentiel de son travail s’est portésur l’amélioration des perfor-mances au sein de la biblio-thèque.

Il intègre cette année leLRDE afin de travailler sur

Olena (bibliothèque générique de traitementd’images) dans le cadre du projet Scribo9.

Sur son temps libre, il contribue au libre en déve-loppant notamment un logiciel de P2P décentralisé,écrit en Qt.

7Vaucanson, http://vaucanson.lrde.epita.fr.8Olena, http://olena.lrde.epita.fr.9Projet Scribo, http://www.scribo.ws/.

5

L’air de rien — Spécial Rentrée No 15, Octobre 2008

Roland Levillain (Enseignant-Chercheur)

Much of my work has come from being lazy.— John Backus

Diplômé de l’EPITA (SCIA 2003)et titulaire d’un Mastère Spécia-lisé de l’ENST orienté « image »,il officie dans deux domaines apriori disjoints : le génie logicielappliqué au traitement d’imageset les techniques de compila-tion ; en pratique, on trouve deschoses très intéressantes à leurintersection.

Sévit en Ing1 lors des cours de typologie des lan-gages de programmation et de construction des com-pilateurs (TYLA, et CCMP). Du coup, il apprend auxétudiants à dompter le projet Tiger avec A. Demaille.Dans le cadre du LRDE, il participe au projet Olena.

Alban Linard (Doctorant)

La décision est souvent l’art d’être cruel à temps.— Henry Becque

Doctorant au LRDE et au LIP6(Laboratoire d’Informatique deParis 6), il étudie les Dia-grammes de Décision et leurapplication à la vérification ex-haustive de Réseaux de Pe-tri. Il enseigne OTR (Ordonnan-cement Temps Réel) et ADA(Lovelace) en GISTR, une par-tie d’IMC (model-checking) avec

Alexandre Hamez, et co-encadre THLR.

Olivier Ricou (Enseignant-Chercheur)Une petite impatience ruine un grand projet.

— Confucius

Docteur en mathématiques deParis VI, le besoin d’effectuerdes simulations numériques degrande échelle l’a poussé durantsa thèse à paralléliser ses pro-grammes. Aujourd’hui il s’inté-resse a l’étape suivante qui est ladistribution des calculs sur desgrilles de calcul (Grid Compu-ting). Ses enseignements com-

prennent les Éléments Finis, ELFI, la programmationréseau en Java, PRES, le calcul parallèle, CAPA. Uncours se différencie et touche un sujet qui lui tient àcœur depuis bien longtemps, la géopolitique de l’In-ternet, EGEO. Il est le nouveau responsable du LRDE.

Didier Verna (Enseignant-Chercheur)Lisp is really two languages : a language for writing fast

programs and a language for writing programs fast.— Paul Graham

Ingénieur et docteur en in-formatique de l’ENST. S’inté-resse aux langages fonction-nels (dont LISP) et au mé-lange de paradigmes au sein deceux-ci (orientation objet, méta-programmation etc.), à la syn-thèse d’images et à la typo-graphie. Ses enseignements in-cluent SEXP (Systèmes d’Exploi-

tation), PFON (Approches Fonctionnelles de la Pro-grammation) en Ing1 et une conférence LATEX en In-foSup, ainsi que d’autres enseignements à l’ENST,l’ENSTA et au Mastère d’Informatique de Jussieu.Également mainteneur d’XEmacs, Gnus et BBDB etde plusieurs classes et styles LATEX. Didier Verna estaussi jazzman semi-professionnel, mais ceci est uneautre histoire. . .

En brefLes nouvelles publications (disponibles sur pu-blis.lrde.epita.fr)

– DEMAILLE, A., DURET-LUTZ, A., LESAINT,F., LOMBARDY, S., SAKAROVITCH, J., ANDTERRONES, F.. An XML format proposal forthe description of weighted automata, transdu-cers, and regular expressions. In Proceedings

of the seventh international workshop on Finite-State Methods and Natural Language Processing(FSMNLP’08), Ispra, Italia

Dans cet article, les concepteurs de la pla-teforme Vaucanson de manipulation d’au-tomates généralisés proposent un formatd’échange d’automates au format XML.

6

No 15, Octobre 2008 L’air de rien — Spécial Rentrée

L’objectif est d’aboutir à une standardisationd’un format qui permettrait l’interopérabi-lité entre différents outils consacrés aux au-tomates. Le retour d’expérience sur le formatutilisé par Vaucanson, très proche de celui iciproposé, y est également discuté.

– DEMAILLE, A., LEVILLAIN, R., AND PERROT,B.. A set of tools to teach compiler construc-tion. In Proceedings of the Thirteenth AnnualConference on Innovation and Technology in Com-puter Science Education (ITICSE’08), Universi-dad Politécnica de Madrid, Spain

Cet article fait suite à d’autres où nous pré-sentons certaines des contributions du projetTiger à l’enseignement de la construction descompilateurs. Ici, nous nous intéressons toutparticulièrement aux outils créés ou modi-fiés pour cet enseignement : Bison, Nolimips,MonoBurg, Havm, génération des structurespour la syntaxe abstraite etc.

– DEMAILLE, A., LEVILLAIN, R., AND SI-GOURE, B.. TWEAST : A simple and effectivetechnique to implement concrete-syntax ASTrewriting using partial parsing. In Proceedingsof the 24th Annual ACM Symposium on AppliedComputing (SAC’09), Waikiki Beach, Honolulu,Hawaii, USA

Cet article présente les « TWEASTs » (TextWith Embedded Abstract Syntax Trees), unetechnique très simple permettant d’écrirede façon naturelle certaines étapes d’uncompilateur. En effet un compilateur mani-pule typiquement un arbre qui représentele programme. On a alors à traiter quelquechose qui a une représentation textuelle bienconnue et conçue pour être claire (le lan-gage de programmation lui-même, e.g., Ti-ger) sous une forme complètement diffé-rente, liée au langage dans lequel le compi-lateur est écrit (e.g., C++). Un TWEAST per-met d’utiliser la représentation textuelle ha-bituelle (dite syntaxe concrète). Ainsi, traduire‘- a ’ en ‘0 - a ’, en notation abstraite s’écrit

new Binary ( Binary : : Subtract ion ,new I n t ( 0 ) , a )

alors qu’en utilisant un TWEAST, ceci suffit :

exp ( " 0 − %s " , a ) ;

Ne vous trompez pas, ce n’est pas un simpleprintf, en particulier les TWEASTs sont per-formants !

– GÉRAUD, TH. AND LEVILLAIN, R.. A se-quel to the static C++ object-oriented program-

ming paradigm (SCOOP 2). In Proceedingsof the 6th International Workshop on Multipa-radigm Programming with Object-Oriented Lan-guages (MPOOL’08), Paphos, Cyprus

La généricité classique (non bornée) en C++

03 définit les interactions entre les types dedonnées génériques et les algorithmes enterme de concepts. La norme future va pro-mouvoir les concepts en tant que construc-tion du langage. Néanmoins ces conceptsne porteront pas sur les types génériquesbâtis sur d’autres types. Nous proposonsune solution à base d’introspection de méta-données liées aux types (propriétés) et nousfournissons pour cela une bibliothèque deméta-programmes écrits en C++ 03.

– RICOU, O.. A survey of French local e-democracy. In Proceedings of the 8th EuropeanConference on e-Government (ECEG)

Depuis la fin du siècle dernier, l’Interneta montré qu’il était un médium différent,un médium de citoyens-journalistes. Ce pa-pier évalue les outils de e-démocratie mis enœuvre localement en France pour voir com-ment l’Internet peut changer notre démocra-tie et la participation du peuple. Il décrit lesoutils fournis par les municipalités et admi-nistrations ainsi que ceux des citoyens eux-mêmes, tels que les Blogs, qui participent deplus en plus dans le débat démocratique. Ilanalyse leur contribution à la transparence,la responsabilisation et la participation, cequi pourrait amener à définir de nouvellesrègles de démocratie.

– VERNA, D.. Binary methods programming :the CLOS perspective. In Proceedings of the FirstEuropean Lisp Symposium, pages 91–105, Bor-deaux, France

Dans les langages à objets traditionnels, l’im-plémentation de « méthodes binaires » (c’est-à-dire prenant deux arguments de mêmetype) est difficle, quand elle est seulementpossible. Dans cet article, nous montronscomment le paradigme objet de CommonLisp et le protocole méta-objet sous-jacentpermettent une implémentation immédiateet explicite du concept.

Les logicielsVaucanson 1.2.93 10 L’équipe Vaucanson est fière

d’annoncer la sortie de Vaucanson 1.2.93, quiprépare le chemin pour la version 1.3.

10Vaucanson 1.2.93, http://vaucanson.lrde.epita.fr/Vaucanson1293.

7

L’air de rien — Spécial Rentrée No 15, Octobre 2008

L’Option CALCUL SCIENTIFIQUE ET IMAGEChaque année le LRDE recrute une dizaine

d’étudiants de première année du cycle ingénieurd’EPITA courant décembre. Il arrive parfois que desétudiants de deuxième année soient recrutés. Dansles deux cas, intégrer le LRDE signifie choisir l’op-tion de spécialisation CSI, et réciproquement.

Cette option est un peu à part dans le cursusEPITA. Elle est le résultat d’années d’évolution d’unsystème unique en son genre : des étudiants tra-vaillant avec des enseignants-chercheurs dans unsystème peu scolaire sur des projets de recherche.À la différence des autres options de spécialisation,on rentre en CSI dès la première année du cycle in-génieur. Sur le plan scolaire, l’option SCIA est sansdoute la plus proche, bien que l’option CSI intègreaussi des cours d’autres options (GISTR et SRS, entreautres) et ajoute son lot de cours dédiés.

Le travail de recherche au LRDE est évalué dedifférentes façons, notamment par des réunions bi-mensuelles ainsi que par trois rendez-vous impor-tants : l’écriture d’un rapport de recherche ensuiteprésenté à l’oral lors des séminaires CSI. L’écriturede rapports s’apparente à l’écriture d’articles scienti-fiques et les séminaires à leur présentation en confé-rence. Ainsi, le cursus CSI offre une opportunité raredans une école d’ingénieurs : mettre un pied dans le

monde de la recherche sans avoir suivi de master re-cherche. Durant leur cursus, les étudiants ont aussil’occasion d’écrire ou de co-écrire de vraies publica-tions scientifiques. C’est grâce à tous ces aspects quel’option facilite l’accès aux masters 2 de recherche(anciennement DEA), puis aux thèses. L’option neferme bien évidemment pas les portes de l’industrieet laisse même une sortie favorable vers les labora-toires de R&D qui foisonnent dans les grandes entre-prises.

Ainsi, tout étudiant aimant les challenges deR&D, en particulier ceux traitant de la généricité effi-cace, trouveront leur compte dans la bonne ambiancedu LRDE. Les thèmes de travail vont du traitementd’image à la manipulation d’automates en passantpar le traitement de la parole ou du C++, le mo-del checking, ou encore les diagrammes de décision.Dans tous les cas, il s’agit de trouver des techniquesinnovantes pour résoudre des problèmes ardus res-tant encore sans réponse (ou sans réponse satisfai-sante).

Pour en savoir plus sur le recrutement CSI, soyezprésents lors de la présentation qui lui est consacrée.En attendant, familiarisez-vous avec nos thèmes derecherche par le biais de notre site web, et surtout. . .prenez contact avec nos étudiants !

Contacter le LRDE

18, rue PasteurParitalie, bâtiment X, aile Mistral

Rez de chaussée, gauche

Tél./Fax : 01 53 14 59 22Contact : info@lrde.epita.fr

Les permanents : lrde@lrde.epita.frSite Web : http://www.lrde.epita.fr

. . . et surtout, passez nous voir ;vous serez toujours les bienvenus !

8