Responsabilités de Philippe Dague

Responsabilités scientifiques et administratives

Responsabilités administratives liées à la recherche et à l’enseignement

A l’université Paris 13 (1992 - 2005)

Responsable élu depuis sa création en janvier 1999 jusqu’à mon départ en septembre 2005 de la nouvelle équipe Apprentissage, Diagnostic et Agents (ADAge) du LIPN.

L’équipe ADAge regroupait à mon départ 9 permanents (2 PR et 7 MCF) et 10 doctorants. Cette équipe possédait le plus grand nombre de thésards parmi les 4 équipes du LIPN, en absolu et, de loin, en proportion du nombre de permanents. Elle était aussi la plus active en termes de contrats industriels, nationaux ou européens.

J’ai veillé à la coopération entre les 3 thèmes de l’équipe (apprentissage pour la génération de chroniques à partir de flux d’événements ou pour l’impact de dysfonctionnements sur la qualité de service, à des fins de diagnostic ; conception de systèmes de diagnostic selon une architecture multi-agents ; apprentissage symbolique dans un cadre SMA).

La période considérée a vu une promotion interne de MCF à PR, un recrutement de MCF et deux départs de MCF, promus professeurs à l’extérieur. Suite au départ en 2002 d’Amal El Fallah, l’axe SMA n’était plus représenté que par des doctorants et, en partie, par un MCF. L’équipe s’était renforcée sur son axe majoritaire, l’apprentissage, tant symbolique que numérique (connexionniste et statistique, fouille de données).

N.B. Après mon départ, cette équipe est devenue l’équipe A³, Apprentissage Artificiel et Applications.

Responsable de 1995 à 2005 du DEA d'Intelligence Artificielle (Intelligence Artificielle et Optimisation Combinatoire à partir de 2000) de l’École Doctorale Galilée, cohabilité entre Paris 13 et Paris 8, et de la formation doctorale en Informatique de Paris 13.

J'avais fait la demande de réhabilitation de ce DEA auprès du ministère en 1995. J’ai de nouveau soumis au ministère en septembre 1999 la demande de réhabilitation de ce DEA dans le cadre du plan quadriennal, en l’ouvrant plus largement à l’optimisation combinatoire et en renforçant la collaboration sous forme d’échanges d’options avec l’université de Dauphine (LAMSADE). Cette demande a été acceptée en février 2000 pour une période de 5 ans.

Au titre du DEA, je sélectionnais chaque année les dossiers de candidature à Paris 13 (environ 20 admis sur 130), organisais les enseignements et les emplois du temps à Paris 13, assurais la coordination avec Paris 8, aidais à la recherche de stages, organisais les soutenances à mi-parcours en juillet et les soutenances fin septembre et présidais le jury. J’étais l’interlocuteur toute l’année des étudiants.

Dans le cadre de la réforme LMD, j’avais élaboré en 2003, en concertation avec mes collègues, la maquette du master recherche mention Informatique, dont la première année était commune avec le master professionnel et dont la spécialité de 2^ème année s’intitulait Modélisation Informatique des Connaissances et du Raisonnement. Cette maquette, qui avait été approuvée par le ministère, était nettement différente de celle du DEA : l’optimisation combinatoire passait dans le nouveau master Maths-Info, et, à côté de l’Intelligence Artificielle, une large ouverture était faite au traitement automatique du langage, aux spécifications, aux programmes et preuves, à la logique. La première année ouvrit en 2004 et la seconde année MICR, dont je devais assumer la responsabilité à la suite du DEA si je n’étais pas parti, ouvrit en 2005.

Dans le cadre de la formation doctorale en Informatique, j’étais l’interlocuteur des doctorants, je vérifiais l’acquisition de modules obligatoires (sous forme d’enseignement, école d’été, cours d’anglais, etc.) durant la thèse, j’organisais des soutenances de thèse à mi-parcours obligatoires, je m’efforçais d’assister à toutes les soutenances. J’organisais chaque année les pré-soutenances des étudiants de divers DEA candidats à une allocation de recherche pour le classement par le conseil de laboratoire. J’étais membre du conseil de l’école doctorale Galilée et l’interlocuteur, pour ce qui concerne les doctorants en Informatique, de son directeur ainsi que du BRED.

Directeur adjoint de l’institut Galilée, en charge des relations internationales et industrielles, de 2002 à 2005, nommé par le directeur de l’institut.

Aidé par une secrétaire, je m’efforçais de rassembler, mutualiser et diffuser les informations et de coordonner les actions des 7 laboratoires de l’institut Galilée en ce qui concerne l’international : accueil ou envoi d’étudiants dans le cadre Erasmus ou autre, missions d’enseignants chercheurs, contacts bilatéraux, participations à des projets internationaux, en particulier européens (FP6), et aussi l’industriel : contrats industriels, nationaux ou internationaux. A ce titre, je faisais partie du conseil des directeurs adjoints que le directeur réunissait environ une fois par mois et j’étais l’interlocuteur du BRI pour Galilée, étant membre de la Cellule des Relations Internationales de Paris 13. Je supervisais en particulier les échanges d’étudiants de ou vers Galilée dans le cadre Erasmus, mais aussi les séjours de nos étudiants aux US (par la Micefa) et au Québec (par la CREPUQ). J’accueillais aussi les étudiants chinois qui venaient à Galilée et coordonnais leur intégration dans les différentes filières d’enseignement.

Responsable de la spécialité d’ingénieurs en Informatique en 2004-2005.

Cette spécialité ILOG était la quatrième et plus récente (créée en 1999) de la formation d’ingénieurs ISPG de Paris 13, rattachée à l’institut Galilée. J’en coordonnais les 3 années, j’ai assisté aux 2 jours de soutenance de la promotion 2004 et préparé la rentrée. Je contrôlais les stages (4 à 6 mois) des étudiants de 3^ème année et établissais avec ceux qui choisissaient de faire leur 3^ème année à l’étranger leur programme d’études. J’étais membre du conseil de la filière d’ingénieurs qui se réunissait environ chaque mois. J’ai organisé et réuni en décembre 2004 le premier conseil de perfectionnement de cette formation ILOG, conformément aux exigences de la CTI, afin de recueillir l’avis et les recommandations de plusieurs industriels, de même que l’opinion d’anciens et actuels étudiants. A la suite de ce conseil, j’ai entamé, en concertation avec mes collègues et les étudiants, une réflexion sur les enseignements qui devait se traduire par des changements dès la rentrée 2005. J’ai initié également une étude sur la mise en commun aux 4 spécialités de cours scientifiques en première année.

Président de la commission de spécialistes 27^e section de l'Université Paris 13 de septembre 2004 à septembre 2005 (vice-président depuis 2001 et membre titulaire élu depuis 1993). Membre suppléant de celle de l’université Paris 9 Dauphine depuis avril 2004. Membre suppléant, jusqu’en 2000, de celles de l'Université Paris 11 et de l'Université de Savoie.

Membre élu du nouveau conseil de l’institut Galilée en 2004-2005 (j’étais depuis 2000 membre du précédent, d’abord invité, puis élu suite au départ d’un collègue). Membre du conseil du LIPN ainsi que du bureau du département informatique de janvier 1999 à septembre 2005. Membre de 1993 à 1998 du conseil d'institut et du conseil restreint de l'IUT.

Nommé expert à la DSPT4 (section 4.0 : Informatique) auprès du MENESRIP pour les dossiers de recherche de janvier 1996 à janvier 1998.

J'ai été responsable de la rentrée 1994 à la fin 1996 de l'organisation du séminaire du LIPN et de la rentrée 1995 à fin 1997 de celle du tutoriel du LIPN dans le cadre de l'école doctorale. J’ai co-organisé début 2000 avec des collègues de 5 autres universités le nouveau séminaire d’Intelligence Artificielle de l’Ile de France.

A l’université Paris-Sud 11 (depuis septembre 2005)

Directeur du département Informatique de la formation d’ingénieurs IFIPS depuis juin 2006.

A ce titre je supervise et coordonne l’ensemble des enseignements d’informatique dans les différents cycles : cycle préparatoire (2 années, avec un peu d’informatique dans chacun des quatre semestres), cycle étudiants (3 années, le premier trimestre est commun avec les 3 autres départements, le reste constitue la spécialité informatique proprement dite qui comprend environ 70% de cours de spécialité et 30% de cours communs non scientifiques), cycle apprentis (3 années en alternance selon un rythme d’environ 2 semaines en entreprise et 2 semaines à l’IFIPS – soit 1 semaine de tronc commun à l’IUT de Cachan et 1 semaine de spécialité à Orsay – avec deux fois par an des périodes plus longues en entreprise) et cycle formation continue (2 années en micro-alternance, du lundi au mercredi dans l’entreprise, du jeudi au samedi midi à l’IFIPS, commençant par une période d’intégration de 4 mois à l’issue de laquelle le jury décide de la poursuite ou non dans la filière). Le département informatique est le seul avec l’optronique qui est présent dans tous les cycles.

J’ai pour m’assister un responsable par année et par cycle, qui gère les emplois du temps et les enseignants d’informatique de l’année du cycle considéré et assure en principe l’interface entre les étudiants ou ces enseignants et moi-même, me faisant remonter les problèmes. Dans l’autre sens, je communique à ces responsables, voire directement à tous les enseignants d’informatique, les informations qu’ils ont à connaître que je reçois du directeur ou au sein des différents conseils. Je les aide dans la recherche d’enseignants, souvent extérieurs, pour combler les trous J’organise une réunion du département d’informatique à destination de tous les enseignants environ une fois tous les deux mois.

Je me suis impliqué dans la définition des programmes et des modalités de contrôle des connaissances. L’année 2007-2008 a été en effet la première où l’IFIPS a été en « régime permanent » avec l’ouverture des 3èmes années des cycles étudiants et apprentis et de la 2^ème année de formation continue.

Je fais aussi l’interface avec le département d’informatique de l’UFR de Sciences, la plupart des enseignants en informatique de l’IFIPS partageant leur service entre l’IFIPS et l’UFR, ou encore l’IUT. Je communique en particulier toutes les évolutions des services en cours d’année (ils sont très loin d’être affectés en début d’année car on manque cruellement d’enseignants) pour mettre à jour le serveur de vœux.

Je suis en contact permanent avec le secrétariat, en particulier pour signer les services en HCC, les factures, les commandes de petit matériel, élaborer le budget lors du primitif et des DBM1 et DBM2.

Je reçois les étudiants qui partent à l’étranger (pour un semestre, une année ou un stage) pour élaborer avec eux, valider et signer leur programme d’études. De même pour ceux qui décident de faire un master recherche en parallèle de leur 3^ème année à l’IFIPS, démarche que j’encourage fortement dès lors qu’elle s’accompagne d’un projet de recherche. Je me suis occupé de l’accueil des étudiants chinois de l’université HUST à Wuhan (30 sont arrivés à la rentrée 2007, dont 6 pour le département d’informatique de l’IFIPS ; un peu plus à la rentrée 2008, dont 7 pour le département informatique de l’IFIPS et 4 pour le master recherche informatique), en particulier de trouver un stage de 6 mois au LRI ou au LIMSI pour les étudiants en informatique, qui commencent par valider leur bachelor chinois. Je me suis rendu 4 jours à Wuhan fin février 2009 pour procéder avec trois collègues au recrutement pour la rentrée 2010. Je reçois les étudiants en difficulté. Je participe aux jurys de fin d’année, souvent aussi aux jurys de suivi de fin de premier semestre, ainsi qu’au processus de recrutement (examen des dossiers puis entretiens sur plusieurs demi-journées) dans les différents cycles.

Je participe aux réunions de cycles organisées par les directeurs respectifs : étudiants, apprentis, formation continue. Je suis aussi membre élu du conseil de l’IFIPS (analogue d’un conseil d’administration) et membre nommé du conseil de direction et du conseil de perfectionnement de l’IFIPS, qui préparent les propositions sur lesquelles le conseil de l’IFIPS se prononce par vote.

Je participe à la VAE en évaluant les dossiers de demande. Dans le cadre de la démarche qualité, je me suis occupé avec d’autres collègues de la définition du référentiel des capacités professionnelles. Egalement de l’élaboration du supplément au diplôme.

Je m’occupe aussi de réunir périodiquement la commission informatique pour faire le point des besoins et demandes ainsi que des actions et difficultés éventuelles de l’équipe système.

L’IFIPS a été habilité fin 2007 pour 6 ans par la CTI. Notre chantier suivant a été d’intégrer le réseau Polytech. Nous avons reçu un avis favorable de ce réseau et de la CTI mais le ministère n’avait pas donné une suite favorable à notre demande préalable de passer EPU en 2007, car notre flux entrant était inférieur à 250. Il a atteint cette barre à la rentrée 2007 et cette fois le ministère a répondu favorablement à notre nouvelle demande en novembre 2008. Nous avons reçu fin janvier 2009, au sein du conseil de direction, trois représentants du réseau Polytech, et finalement la décision favorable de ce réseau à notre entrée a été prise en mars, pour une intégration officielle en janvier 2010.

J’ai fait partie de la commission mixte IFIPS (dont j’ai proposé la composition à la CS 27) en 2007 et 2008 pour le recrutement d’un MCF à chaque fois.

Je bénéficie pour cette responsabilité d’un demi-service (96h) de décharge. Cela reste malgré tout une tâche dévoreuse en temps avec souvent plusieurs réunions par semaine et fréquemment une trentaine de courriels par jour à traiter (ma boîte de courriels IFIPS, dans laquelle j’élimine pourtant les redondances entre messages, comprend déjà plus de 8500 messages depuis ma prise de fonction !).

Directeur adjoint du LRI depuis le 15 février 2007

J’étais déjà membre élu du conseil du LRI depuis février 2006, lequel se réunit environ toutes les 5 semaines. Début 2007, Michel Beaudoin-Lafon, directeur du LRI, m’a sollicité pour devenir directeur adjoint en remplacement de Pierre Fraignaud, parti en mutation, et j’ai accepté. J’ai des entretiens périodiques avec le directeur sur des aspects de la politique du laboratoire, je l’accompagne (ou le remplace parfois lorsqu’il n’est pas disponible) lors de réunions avec nos instances de tutelle et j’assiste aux réunions des responsables d’équipe qui se tiennent environ chaque mois. J’ai aussi des contacts fréquents avec la vice-présidente recherche du département d’informatique, la secrétaire de direction et la nouvelle sous-directrice qui vient d’être recrutée. Nous avons redéfini les axes stratégiques du laboratoire pour les années à venir et j’ai participé de juin à septembre 2008 à la préparation du dossier pour le nouveau quadriennal, puis à la préparation de l’évaluation par l’AERES, qui a eu lieu en janvier 2009. Le conseil du LRI du 29 avril 2009 a voté à l’unanimité de me proposer aux tutelles comme futur directeur, à compter du 1^er janvier 2010.

Indépendamment, j’ai été sollicité par la vice-présidente en charge des relations internationales pour participer au montage d’un programme ARCUS avec l’Inde, qui a été accepté par le MAE. Et aussi pour veiller à l’insertion (au LRI, au LIMSI, à l’INRIA) de 4 thésards chinois en informatique de Wuhan qui sont arrivés pour un an dans le cadre du Collège Doctoral sans que le LRI et l’ED d’informatique soient au courant, tâche qui m’a occupé de nombreuses heures durant 3 mois. Plus généralement, la vice-présidente me sollicite fréquemment pour tout ce qui touche à l’informatique dans les relations internationales.

Représentant du LRI au comité des programmes du RTRA Digiteo depuis janvier 2008.

A la demande de Marie-Claude Gaudel, présidente de ce comité, j’ai accepté d’y représenter le LRI en remplacement de Miklos Santha qui ne souhaitait plus en faire partie. Le RTRA Digiteo a pour établissements fondateurs le CEA, le CNRS, l’Ecole Polytechnique, l’INRIA, Supélec et l’université Paris-Sud 11 et comme partenaires associés depuis le début 2008 l’ENS Cachan, l’Ecole Centrale de Paris et l’université de Versailles Saint-Quentin-en-Yvelines. Tous sont représentés à ce comité. Une bonne douzaine de réunions ont lieu chaque année. C’est ainsi qu’en 2008 j’ai participé à la rédaction de l’appel et aux évaluations des OMTE (Opérations de Maturation Technico-Economique) et des projets conjoints du DIM Région Île-de-France et Digiteo ainsi qu’à la synthèse du nouveau programme scientifique, qui a été élaborée après que chacun des 14 laboratoires impliqués eut présenté ses activités (j’ai moi-même présenté le LRI à cette occasion). A l’automne 2008, nous nous sommes occupés de l’attribution des chaires d’excellence.

Membre élu au Conseil de la Recherche de la Faculté des Sciences d’Orsay depuis le 18 décembre 2008.

J’ai été de fin 2005 à fin 2008 responsable de l'organisation du séminaire de l’équipe IASI/GEMO.

Projets industriels européens

Projet Brite-EuRam III VMBD (“Vehicle Model-Based Diagnosis”) d'une durée de 3 ans (1/02/1996 au 31/03/99), dont les partenaires étaient Daimler-Benz (coordinateur), Bosch, Volvo, Fiat, Magneti-Marelli, Genrad, Dassault Électronique et les universités d'Aberystwyth, de Turin et de Paris 13, et qui a abouti à la conception et la réalisation de systèmes de diagnostic de pannes embarqués et débarqués pour les automobiles, utilisant des techniques d'I.A (diagnostic à base de modèles). J’ai encadré un postdoc durant la durée du projet.

Projet 5^ème PCRDT IDD (“Integrated Design process for on-board Diagnosis”) d’une durée de 3 ans (1/02/2000 – 31/01/2003), dont les partenaires étaient CRF (Fiat, coordinateur), Daimler-Chrysler, PSA, Renault, Magneti-Marelli, OCC’M et les universités de Munich, de Turin et de Paris 13. L’objectif était de prendre en compte les impératifs du diagnostic et l’étude de la diagnosticabilité des équipements dès la phase de conception, en développant des interfaces entre les outils de CAO ou de simulation numérique et les systèmes de diagnostic à base de modèles. J’ai encadré une postdoc d’avril 2001 à janvier 2003 (actuellement embauchée au NRC canadien à Fredericton).

Projet 6^ème PCRDT FET Open WS-DIAMOND (“Web Services – DIAgnosability, MONitoring and Diagnosis”) d’une durée de 34 mois (1/09/2005 – 30/06/2008), dont les partenaires étaient les universités de Turin (coordinateur), polytechnique de Milan, Vrije d’Amsterdam, de Klagenfurt, Rennes 1, Paris-Sud 11 et le LAAS-CNRS. Il s’agissait d’une part de concevoir et d’implanter des algorithmes de diagnostic et réparation en ligne des services Web, d’autre part de développer des méthodes d’analyse de la diagnosticabilité et de la réparabilité de ces services afin d’aider à la conception de services auto-réparables. J’ai encadré un postdoc de septembre 2005 à août 2006 (actuellement maître de conférences à l’université d’Evry). J’ai co-encadré une stagiaire de master pro Miage d’avril à septembre 2006, dont je dirige la thèse et que je co-encadre depuis septembre 2006. J’ai encadré un projet de fin d’étude d’ingénieur de mars à mai 2007 et une postdoc à partir de mai 2007.

J’ai participé sans succès à trois réponses à appels à projets européens dans le cadre FP6 et à une dans le cadre FP7 :

- FP6 Strep PreDic (“Preventive Diagnosis for Vehicles”) en octobre 2003, coordonné par Daimler-Chrysler, avec pour l’essentiel des participants d’IDD. Le thème semble actuellement très porteur dans l’industrie automobile.

- FP6 IP AEDICOS (“Autonomous Embedded Distributed Information and Control Systems”) en octobre 2003, coordonné par Alcatel Space.

- FP6 FET Open Strep Autonomy-I (“Towards autonomous embedded intelligence”) en mai 2004 (proposition courte), coordonné par le LAAS-CNRS.

- FP7 Strep RODES (“Design for Robustness”) en mai 2007, coordonné par Hispano-Suiza. Je compte resoumettre une nouvelle version de ce projet, que j’avais fait axer sur l’analyse de la diagnosticabilité, dans le cadre Eurêka ou Artemis.

Avec plusieurs partenaires du projet WS-DIAMOND et les industriels CRF Fiat et Actia, nous avons soumis en septembre 2007 une proposition courte FP7 FET Open LIWS (“LIvely Web Services”) et en janvier 2008 une nouvelle version HSC (“Healthy Serviced Cars”), hélas toutes deux rejetées. Nous nous préparons à élaborer une nouvelle proposition.

Projets et contacts industriels français

Contrat CNET d'une durée de 3 ans (novembre 1993 - octobre 1996), en commun avec le LAAS et l'IRISA, sur la Supervision et le Diagnostic de Réseaux de Télécommunications, plus particulièrement sur la supervision du réseau Transpac, sur lequel a travaillé un de mes thésards, qui a soutenu en janvier 1997.

Contrat CNET d'une durée de 3 ans (novembre 1997 - octobre 2000) en commun avec l'IRISA, en continuation du précédent, ayant donné lieu à une autre soutenance de thèse au LIPN en décembre 1999 : l’accent a été mis sur la prise en compte des aspects temporels, tant au niveau de la simulation que des formalismes de contraintes qualitatives.

Contrat RNRT exploratoire MAGDA « Modélisation et Apprentissage pour une Gestion Distribuée des Alarmes », d'une durée de 36 mois (novembre 1998 – novembre 2001), avec l'INRIA/IRISA, France Télécom R&D, Alcatel et ILOG. Le LIPN (en particulier le docteur précédent, recruté comme post-doc puis MCF) a été chargé de la modélisation du réseau et des équipements d’Alcatel.

Contrat RNRT exploratoire MAGDA2 d’une durée de 24 mois (novembre 2001 – novembre 2003) sur la gestion de bout en bout, en continuation de MAGDA et avec les mêmes partenaires. Le LIPN était responsable du lot sur la mise en oeuvre de techniques d’apprentissage, symbolique et numérique, pour la découverte de chroniques et de corrélations entre des états de variables du réseau et des indicateurs de QoS en bout.

Consultant pour le CNES (15 décembre 1998 - 15 avril 1999) dans le cadre du Dossier Exploratoire Autonomie (future génération de satellites autonomes), j’ai mené, avec ma collègue Louise Travé-Massuyès du LAAS, une étude « Diagnostic et Décision à bord ». Ce travail a débouché sur une collaboration entre le LIPN et le LAAS-CNRS d’une part, le CNES et Astrium d’autre part, sous la forme d’une bourse de thèse de 3 ans à compter du 1^er octobre 1999, que j’ai co-encadrée (la soutenance a eu lieu en juillet 2003), et d’une étude sur l’architecture logicielle pour les satellites autonomes (juin à novembre 2001).

Sous-contractant du LAAS-CNRS (juin 2000 – janvier 2002) dans le cadre du contrat de l’ESA “Autonomy requirements and technologies for future constellations of satellites” qui réunit Astrium, le CERT-Onera et le LAAS-CNRS, en charge de l’étude sur “Characterization of FDIR (Fault Detection, Isolation and Recovery) Component Technologies”.

Contrat avec Thales Systèmes Aéroportés (septembre à décembre 2000) sur l’utilisation d’agents autonomes pour la conception de systèmes complexes. Cette collaboration a abouti à une maquette pour la ré-ingénierie dans un cadre multi-agents d’un système de diagnostic, et sera probablement poursuivie.

Contrat RNTL précompétitif RESEDA « Réalisation d’un Environnement Système Evolutif pour le Diagnostic Automobile », d’une durée de 42 mois (juin 2001 – novembre 2004), avec Renault, Trialog et Silicomp. Le LIPN a été chargé d’étudier la diagnosticabilité et le diagnostic d’un système de freinage électrique de Renault et a participé à la construction d’un démonstrateur. J’ai encadré une postdoc de novembre 2003 à décembre 2004, un postdoc de mars 2004 à novembre 2004 et un stagiaire de DEA d’avril à septembre 2004.

Contrat ANR PREDIT (Programme de recherche et d’innovation dans les transports terrestres) DIAFORE « DIAgnostic de FOnctions REparties », d’une durée de 44 mois (01/2006 – 08/2009), avec Renault Trucks, Serma Ingénierie, le CEA et l’UTC, dans le cadre de Num@tec Automotive. J’ai encadré un thésard de septembre 2006 à avril 2007 (qui a abandonné sa thèse), un stagiaire de master d’avril à septembre 2007 et quatre postdocs de juillet 2007 à février 2008, de septembre 2007 à août 2008, de janvier 2008 à juin 2008 et de juillet 2008 à décembre 2008, respectivement. J’encadre actuellement un postdoc depuis octobre 2008 et un stagiaire ingénieur depuis fin mars 2009.

Contrat FRAE (Fondation de Recherche pour l’Aéronautique et l’Espace) SIRASAS « Stratégies Innovantes et Robustes pour l’Autonomie des Systèmes Aéronautiques et Spatiaux », d’une durée de 3 ans (10/2007 – 09/2010), avec l’IMS à Bordeaux I, le CRAN à Nancy I, le SATIE à l’ENS Cachan, le LAAS-CNRS, l’ONERA, le CNES et Airbus à Toulouse et Thales Alenia Space à Cannes. J’encadre un postdoc depuis novembre 2008.

Échanges et contacts fréquents avec des collègues industriels : ACTIA (co-encadrement d’un thésard CIFRE), Thales Systèmes Aéroportés, EDF (Clamart et Chatou), le CEA (Saclay et Cadarache), Ilog, l'INRETS, l’IFP.

Collaborations universitaires internationales

Membre du comité de Coordination de la Recherche du réseau d'excellence MONET (“Model-Based and Qualitative Reasoning Systems Network of Excellence”) regroupant les principales équipes de recherche européennes en raisonnement qualitatif et à base de modèles, à la création duquel j’ai participé en octobre 1996. La revue finale à 2 ans de MONET a eu lieu en novembre 1999. La demande de renouvellement a été soumise en février 2000 et acceptée en décembre 2001 sous le nom de MONET II. J’ai été dans ce cadre membre des deux groupes de travail Automotive et BRIDGE, respectivement concernés par les applications au domaine automobile et par la coopération entre IA et Automatique des techniques à base de modèles. J’ai participé à ce titre à deux soumissions d’EoI (Expression of Interest), dans le cadre du 6^ième PCRD européen, en juin 2002.

Collaborations franco-italiennes : j'ai invité en 1995 au LIPN pour une durée d'un mois mon collègue Luca Chittaro, professeur à l'université d'Udine, afin de travailler sur la modélisation qualitative et le diagnostic et nous avons déposé ensemble en octobre 1995 un projet de recherche dans le cadre du programme d'actions intégrées franco-italien Galilée. Ce projet, qui avait pour thème l'étude des méthodes de modélisation fonctionnelle et temporelle de systèmes physiques, a été retenu le 1er février 1996 par le comité mixte scientifique chargé de la sélection, pour une durée d'un an (année 1996) et renouvelé en décembre 1996 pour une nouvelle durée d'un an (année 1997). J'ai d'autre part obtenu avec ce collègue un accord de coopération dans le cadre SOCRATES pour l'année 1999/2000, renouvelé pour 2000/2001 et pour 2001/2002. Je l'ai réinvité pour un mois au LIPN en 2001, afin de poursuivre nos travaux.

J'ai invité en 1996 au LIPN pour une durée d'un mois mon collègue Luca Console, professeur à l'université de Turin et partenaire du projet Brite-EuRam III VMBD (et à présent du projet 5ième PCRDT IDD), afin de travailler sur le diagnostic de véhicules. Nous avons aussi soumis un accord de coopération dans le cadre SOCRATES pour la rentrée 2002. Luca Console a de nouveau obtenu une invitation d’un mois (juin 2005) au LIPN, qui sera mise à profit pour commencer à travailler sur le projet européen WS-DIAMOND.

J’ai été invité en 2003 au NRC de Fredericton, NB (Canada) pour travailler avec Yuhong Yan, mon ancienne post-doc du projet IDD, et je l’ai fait inviter un mois au LRI en décembre 2006 et à nouveau un mois en décembre 2008. Ceci a donné lieu à deux publications [72,80].

J’ai invité en 1997, pour également un mois, mon collègue Béchir Ayeb, professeur à l'université de Sherbrooke (Canada) pour travailler sur la modélisation fonctionnelle et le diagnostic.

Collaborations avec l'université d'Aberystwyth au pays de Galles dans le cadre du projet VMBD et avec l'université de Munich en Allemagne dans le cadre des projets VMBD et IDD.

J'ai été co-organisateur d'un groupe européen de travail sur la modélisation qualitative et son application à la supervision des processus évoluant dans le temps, regroupant les groupes de recherche français, italien, espagnol et slovène sur le raisonnement qualitatif, dont une première réunion a eu lieu à Lugano en mai 1994 et une seconde à Barcelone en décembre 1995. Ce groupe s’est ensuite fondu dans MONET.

Groupes de travail français

Coresponsable de 1991 (et participant depuis 1989) jusqu'à début 1996 du groupe de recherche MQ&D, “Modélisation Qualitative et Décision”, commun au GDR Automatique et au PRC-GDR I.A. et groupe AFIA, qui a rassemblé une cinquantaine de chercheurs en I.A. et Automatique. C'est dans ce cadre que j'ai été coordinateur et coauteur d'un article de synthèse “Qualitative Reasoning: A Survey of Techniques and Applications” paru dans AiCommunications en décembre 1995 et coresponsable et coauteur d'un livre “Raisonnement Qualitatif pour les Sciences de l'Ingénieur” paru en mai 1997 chez Hermès. J’ai ensuite mis à jour et enrichi le chapitre sur le diagnostic à base de modèles, qui est paru en juin 2001 dans le livre “Diagnostic, Intelligence Artificielle et Reconnaissance de Formes” du traité IC2 d’Hermès. La mise à jour du reste de notre ouvrage, centré sur le raisonnement qualitatif, est parue dans ce même traité en octobre 2003 sous le titre “Modèles et raisonnements qualitatifs”.

Participant au projet inter-PRC (PRC I.A. et BD) “Gestion de l'Incertain et de l'Évolutif”, d'une durée de deux ans (1993-94), travaillant plus précisément au sein d'un sous-groupe sur le thème “Suivi de Systèmes Évolutifs”, qui comprenait notamment la reconnaissance, le suivi et la création dynamique de scénarios, appliqués à une flotte de taxis-robots.

Membre du groupe de travail “Alarmes” du PRC-GDR I.A., à la création duquel j'ai participé, d'une durée de deux ans (mi 95 - mi 97), qui a eu pour thèmes la gestion d'alarmes et la supervision de procédés continus et a rassemblé des universitaires et des industriels.

Membre du projet IMALAIA, “Intégration de Modèles ALliant l'Automatique et l'Intelligence Artificielle” du GDR Automatique et du PRC-GDR I3, à la création duquel j'ai participé fin 1997. J’ai d’abord travaillé sur l'utilisation conjointe de modèles comportementaux, causaux et fonctionnels et l'utilisation de modèles à différentes granularités, puis sur la complémentarité des approches IA et Automatique pour le diagnostic (approche logique fondée sur la cohérence vs. relations de redondance analytiques : articles acceptés à Safeprocess, à DX et à l’ECAI en 2000 et à la revue IEEE TSMC en 2004).

Membre depuis janvier 2007 de l’équipe d’animation du thème Intelligence Artificielle Fondamentale du GDR I3 et, à ce titre, membre du comité de programme des journées IAF’07 à Grenoble et IAF’08 à Paris.

Encadrement

De 1988 à 1990, co-encadrant d'une thèse sur la cohérence des systèmes à base de connaissances.

En 1990, encadrement d'un étudiant de DEA au Centre Scientifique IBM sur l'apprentissage de modèles de diagnostic.

En 1991, encadrement d'un étudiant de DESS au Centre Scientifique IBM sur l'interface utilisateur de la maquette CATS/DIANA.

En 1992, encadrement durant 5 mois d'un étudiant de fin d'année de l'ENSCP sur l'application du raisonnement qualitatif aux ordres de grandeur au génie des procédés chimiques.

D'octobre 1992 à septembre 1993, directeur de thèse d'un étudiant travaillant chez Dassault Aviation sur la modélisation en avionique et sa représentation conceptuelle en vue de la génération de documents techniques (cet étudiant a décidé, au bout d'un an, pour des raisons internes à l'entreprise, de réorienter son travail). J'ai encadré pendant 5 mois chacun un étudiant de DEA et un autre de fin d'année de l'ENSCP faisant tous deux leur stage à l'ENSCP, l'un sur l'implantation de l'algorithme CATS tel que spécifié théoriquement dans un de mes articles, l'autre sur l'utilisation du calcul formel pour le raisonnement qualitatif aux ordres de grandeur et son application aux procédés chimiques, et une étudiante de DESS à Dassault Aviation sur les algorithmes de diagnostic.

D'octobre 1994 à juin 1996, j'ai été le directeur de thèse d'une étudiante allemande travaillant dans le domaine du MBD, pour laquelle j'ai obtenu une bourse d'accueil de 18 mois au LIPN de la part de l'Union Européenne, dans le cadre Capital Humain et Mobilité. Le thème principal de cette thèse, soutenue le 20 juin 1996, est le contrôle du processus de diagnostic guidé par des préférences stratégiques locales dans le cadre d'une approche multi-raisonnements et multi-modèles du diagnostic. Cette ex-étudiante est actuellement ingénieure à Munich.

D'octobre 1993 à janvier 1997, j'ai été le directeur de thèse d'un étudiant, dans le cadre du contrat CNET sur la supervision et le diagnostic de réseaux de télécommunications, qui a soutenu sa thèse le 9 janvier 1997 sur le thème de la simulation à base de modèles pour la supervision de réseaux de télécommunications avec application au réseau TRANSPAC, et a ensuite été embauché comme ingénieur de recherche au CNET.

D'octobre 1993 à octobre 1998, j'ai dirigé un thésard sur la modélisation fonctionnelle et la causalité et leurs utilisations pour raisonner sur les systèmes physiques en vue du diagnostic et de la supervision. Il a soutenu le 22 octobre 1998 et travaille comme ingénieur à Montréal.

De janvier 1998 à juin 2001, j’ai co-encadré (à 20%), avec une collègue du LAAS-CNRS, un thésard inscrit sous ma direction travaillant à la société ACTIA à Toulouse, dans le cadre d’une bourse CIFRE, sur le diagnostic de pannes automobiles par modèles, plus précisément l’utilisation de modèles à base d’intervalles pour la génération optimale d'arbres de tests avec des coûts dynamiques. Il a soutenu le 18 juin 2001 et travaille comme ingénieur en Thaïlande.

D’octobre 1999 à juillet 2003, j’ai co-encadré (à 35%) avec ma collègue du LAAS-CNRS un thésard disposant d’une bourse CNES-Astrium, travaillant sur le diagnostic et la reconfiguration basés sur des modèles hybrides concurrents, avec application aux satellites autonomes. Il a soutenu le 7 juillet 2003 et est actuellement postdoc à la NASA.

D’octobre 1997 à janvier 2003, j’ai été le directeur de thèse d'un étudiant qui a disposé d’une bourse du CNET Lannion (au sein de l’équipe de David Sadek), sur le raisonnement automatique sur les croyances et les incertitudes d’un agent formalisé au sein de la théorie de l’interaction rationnelle (avec notamment conception, mise en œuvre et optimisation de méthodes d'inférence efficaces en logique modale du 1^er ordre). Je l’ai co-encadré à 20% et il a soutenu le 24 janvier 2003.

D’octobre 1999 à novembre 2005 j’ai été le directeur de thèse d’une étudiante qui a disposé d’une bourse de l’IGN pendant 3 ans, sur des méthodes de modélisation pour la gestion de la notion de cycle de vie (problèmes de mises à jour en particulier) dans les systèmes d’information géographique. Je l’ai co-encadrée à 10% et elle a soutenu le 22 novembre 2005.

J’ai encadré en 2004 un stage de DEA de 6 mois sur le diagnostic financé sur le projet Reseda. L’étudiant a été major du DEA et a obtenu une allocation de recherche. J’en ai été le directeur de thèse d’octobre 2004 jusqu’à mon départ du LIPN en septembre 2005 avec un co-encadrement à 10%. Il travaillait sur la modélisation algébrique et l’apprentissage de motifs séquentiels, avec application aux séquences biologiques. Il a depuis soutenu.

J’ai co-encadré en 2006 un stage de 6 mois de master pro Miage financé sur le projet WS-DIAMOND. En 2007 j’ai encadré deux stages de 6 mois de master recherche (co-encadrement pour l’un deux) financés l’un sur WS-DIAMOND et l’autre sur DIAFORE, et un stage de 3 mois de projet de fin d’étude d’ingénieur, financé sur DIAFORE.

Je dirige actuellement quatre thèses (dont les 3 anciens stagiaires de master ci-dessus). Je co-encadre la première à 35% depuis septembre 2006, financée sur le projet WS-DIAMOND puis WebMov puis DIAFORE. J’encadre la seconde à 100% et co-encadre la troisième à 35% depuis septembre 2007, toutes deux bénéficiant d’une allocation de recherche. Je co-encadre la troisième à 25% avec le CEA (20%) dans le cadre d’une CIFRE chez Sherpa Engineering (55%).

Jurys de thèses

En 1988, membre d'un jury de thèse sur la programmation logique parallèle.

En 1990, membre du jury de thèse du doctorant que j'avais co-encadré sur la cohérence des systèmes à base de connaissances.

En 1991, membre d'un jury de thèse sur le raisonnement à base de modèles qualitatifs et quantitatifs pour l'aide à la détection d'anomalies de fonctionnement de systèmes dynamiques.

En 1992, rapporteur d'une thèse sur le raisonnement qualitatif causal pour la supervision de processus.

En 1993, directeur d'une HDR sur les modèles de langage probabilistes et leurs utilisations (étiquetages grammatical, morphologique et sémantique, correction orthographique, accentuation automatique, sténotypie, traduction automatique, etc.).

En 1994, rapporteur de quatre thèses portant sur : l'utilisation de l'apprentissage symbolique par induction pour l'aide à l'acquisition et à la validation des connaissances dans un système à base d'expertise ; l'utilisation des graphes de liaison pour la modélisation qualitative de processus physiques et l'application au diagnostic ; une nouvelle formalisation du raisonnement qualitatif prenant en compte la composante temporelle et son application à la supervision des hauts fourneaux ; l'apprentissage à partir d'explications et la démonstration automatique de théorèmes. Membre de quatre jurys de thèses portant sur : la représentation de la causalité et ses applications à l'explication et à la prédiction ; le contrôle catastrophique d'une base de connaissances ; la génération automatique d'algorithmes de filtrage à partir de spécifications déclaratives ; la vérification de la cohérence des bases de connaissances floues. Membre d'un jury de pré-soutenance de thèse sur le diagnostic d'un système de surveillance et d'alarmes d'une centrale.

En 1995, rapporteur de cinq thèses portant sur : les méthodes approchées pour la supervision de processus continus ; la simulation causale événementielle et son application à la géoprospective ; le diagnostic opérationnel exploitant des connaissances incomplètes basé sur la théorie des possibilités et appliqué au diagnostic de satellites ; un environnement générique à base de connaissances pour la supervision de procédés de raffinage et de pétrochimie ; des techniques de raisonnement qualitatif applicables à la conception de circuits. Membre d'un jury de thèse portant sur les méthodes de résolution de disjonction de contraintes et l'application à la programmation logique avec contraintes.

En 1996, rapporteur d'une thèse sur les techniques de diagnostic à base de modèles appliquées à la validation et à la vérification des systèmes à base de connaissances. Membre de trois jurys de thèses portant sur : l'évaluation d'un système d'aide à l'opérateur pour la conduite d'un procédé industriel ; l'apprentissage à partir d'exemples ambigus avec application à l'identification de séquences secondaires d'ARN ; la formalisation d'un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales (soutenance de la thésarde que j'ai encadrée dans le cadre du programme européen Capital Humain et Mobilité).

En 1997, rapporteur d'une thèse sur l'utilisation des bandes temporelles et les algorithmes associés pour la modélisation et le diagnostic de systèmes continus dynamiques. Membre de trois jurys de thèses portant sur : la simulation à base de modèles pour la supervision de réseaux de télécommunications (soutenance du thésard que j'ai encadré dans le cadre du projet CNET) ; les aspects de modélisation de ces réseaux (dans le cadre du même projet CNET) ; la supervision de systèmes hybrides à l'aide de réseaux de Petri. Membre d'un jury d'HDR ayant pour thème la satisfaction de contraintes et l'optimisation en nombres entiers.

En 1998, rapporteur de trois thèses sur : l'aide automatique à la modélisation de systèmes physiques ; l'aide à l'interprétation du fonctionnement des systèmes physiques en utilisant une approche multi-modèles ; une approche du diagnostic de défaillance basé sur un modèle causal utilisant des connaissances imparfaites. Membre de deux jurys de thèses portant sur : les réseaux de contraintes temporels, la satisfaction de contraintes et l'ordonnancement de tâches ; la modélisation et l'inférence des relations causales dans les sytèmes physiques (thèse de mon doctorant).

En 1999, rapporteur d'une HDR sur : méthodes, algorithmes et outils : diagnostic et systèmes distribués. Rapporteurs de deux thèses sur : l’utilisation de l’approche multi-modèles pour l’aide au diagnostic d’installations industrielles ; une contribution à la résolution de contraintes par consistance forte. Membre d’un jury d’HDR sur : élaboration et suivi de situation, et de deux jurys de thèse sur : les approches connexionistes pour le diagnostic de systèmes complexes et l’application au réseau téléphonique ; l’apprentissage inductif de scénarios pour la supervision de réseaux de télécommunications.

En 2000, rapporteur d'une HDR sur : des modèles pour la supervision. Rapporteur d’une thèse sur : une contribution à la modélisation pour le diagnostic des systèmes complexes, application à la signalisation des lignes à grande vitesse. Membre d’un jury d’HDR sur la coordination d’agents : modèles, algorithmes et protocoles. Membre d'un jury de pré-soutenance de thèse sur l’apprentissage dans les systèmes multi-agents.

En 2001, rapporteur de deux HDR sur : techniques d’IA pour le diagnostic automatique de systèmes industriels ; raisonnement à base de contraintes et application au diagnostic. Rapporteur d’une thèse italienne (université d’Udine) sur : théories et techniques d’abstraction structurelle pour le diagnostic hiérarchique à base de modèles. Membre de deux jurys de thèse sur : une approche à base de modèles fondés sur les intervalles pour la génération automatique d’arbres de diagnostic optimaux, application au domaine de l’automobile (thèse du doctorant que j’ai co-encadré) ; découverte automatique de circuits en électronique de puissance. Membre d'un jury de pré-soutenance de thèse sur la formation de coalition dans les systèmes multi-agents rationnels.

En 2002, rapporteur de deux thèses sur : diagnostic décentralisé de systèmes à événements discrets, application aux réseaux de télécommunications ; raisonnement qualitatif sur les ordres de grandeur relatifs, formalisation et traitement en logique floue. Membre d'un jury de thèse sur le contrôle actif de transmission de flux vidéo par régulation de débit. Membre de deux jurys de pré-soutenance de thèse en optimisation combinatoire.

En 2003, membre d’un jury d’HDR sur la gestion autonome et contextuelle des réseaux haut débit. Membre de deux jurys de thèse sur : apprentissage d’agents rationnels BDI dans un univers multi-agents ; approches connexionnistes pour la visualisation et la classification de données issues d’usages d’Internet.

En 2004, rapporteur d’une HDR sur la modélisation pour le diagnostic et la gestion du trafic dans les réseaux de transport. Rapporteur d’une thèse espagnole sur le raisonnement à partir de cas comme extension des méthodes à base de dictionnaires de fautes pour le diagnostic de circuits électroniques analogiques linéaires. Membre de deux jurys de thèse sur : atteinte de consensus basée sur l’échange de préférences entre agents rationnels et autonomes avec application à la formation d’alliances ; systèmes d’apprentissage connexionniste et raisonnement à partir de cas pour la classification et le classement de séquences.

En 2005, rapporteur de deux thèses sur : construction de chroniques à partir d’un modèle du système à diagnostiquer et application aux réseaux de télécommunications ; diagnostic décentralisé et en ligne de systèmes à événements discrets reconfigurables. Membre de trois jurys de thèse sur : diagnostic logique des systèmes complexes dynamiques dans un contexte multi-agent ; recherche des motifs relationnels dans des séquences et application aux séquences biologiques ; mise à jour incrémentale des bases de données géographiques et maintien de leur cohérence (thèse de ma doctorante).

En 2006, membre d’un jury de thèse sur l’estimation numérico-symbolique pour le suivi d’activités hybrides.

En 2007, rapporteur d’une thèse sur la représentation et la comparaison de services Web complexes avec des logiques dynamiques.

En 2008, rapporteur de deux thèses sur : une approche décentralisée à base de chroniques pour la surveillance et le diagnostic dédiés aux services Web ; un point de vue unifié sur la diagnosticabilité.

Comités d’évaluation

Membre des comités d’évaluation des programmes SESUR (Sécurité et Sûreté informatique) en 2007, ARPEGE (Systèmes Embarqués et Grandes Infrastructures) en 2008 et 2009, et Blanc et Jeunes Chercheurs en 2009 de l’ANR. Il s’agit à chaque fois de participer à la réunion d’attribution des projets à des membres du comité d’évaluation (un rapporteur et un lecteur) ; de prendre en charge, comme rapporteur ou lecteur, plusieurs (moins d’une dizaine pour ARPEGE, plus d’une vingtaine pour Blanc et JC) projets : proposition d’experts académiques et industriels, suivi, expertise personnelle et synthèse des rapports des experts ; de participer à la réunion finale de classement des projets.

Comités de programme

• Les Utilisations Industrielles du Langage Prolog, Journée AFCET, Paris, avril 1990.

• 2nd IMACS/IFORS/IEEE International Workshop on Decision Support Systems and Qualitative Reasoning, Toulouse, mars 1991.

• DX’91, 2nd International Workshop on Principles of Diagnosis, Milan, octobre 1991.

• FAIST'92, Fielded Applications of Intelligent Software Technologies, Toulouse, février 1992.

• ECAI Workshop on Model-Based Reasoning, Vienne, août 1992.

• DX’92, 3rd International Workshop on Principles of Diagnosis, Rosario, Orcas Island, WA., USA, octobre 1992.

• 2èmes Journées Validation des Systèmes à base de Connaissances, mars 1993.

• 13ème Conférence internationale I.A., Systèmes Experts et Langage Naturel, Avignon, mai 1993.

• 3rd IMACS International Workshop on Qualitative Reasoning and Decision Technologies, Barcelone, juin 1993.

• 3èmes Journées Validation des Systèmes à base de Connaissances, Strasbourg, mars 1994.

• 14ème Conférence internationale I.A., SBC, Systèmes Experts et Langage Naturel, Paris, juin 1994.

• DX’94, 5th International Workshop on Principles of Diagnosis, New Paltz, N.Y., octobre 1994.

• DX’95, 6th International Workshop on Principles of Diagnosis, Goslar, Allemagne, octobre 1995.

• RFIA-96, 10èmes journées nationales Reconnaissance des Formes et Intelligence Artificielle, Rennes, janvier 1996.

• TIME'96, 3rd International Workshop on Temporal Representation and Reasoning, Key West, Floride, mai 1996.

• CESA'96/MBS, Computational Engineering in Systems Applications IMACS-IEEE/SMC Multiconference, Session on Model-Based Systems, Lille, juillet 1996.

• TIME'97, 4th International Workshop on Temporal Representation and Reasoning, Daytona Beach, Floride, mai 1997.

• 3rd IJCAI Workshop Engineering Problems for Qualitative Reasoning: Toward Real-World Applications of Model-Based Qualitative Reasoning, Nagoya, août 1997.

• DX’97, 8th International Workshop on Principles of Diagnosis (co-organisateur), Mont Saint-Michel, septembre 1997.

• EPIA'97, 8th Portuguese Conference on Artificial Intelligence, Coimbra, octobre 1997.

• RFIA-98, 11èmes journées nationales Reconnaissance des Formes et Intelligence Artificielle, Clermont-Ferrand, janvier 1998.

• TIME'98, 5th International Workshop on Temporal Representation and Reasoning, Sanibel Island, Floride, mai 1998.

• IFAC International Workshop on on-line-fault detection and supervision in the chemical process industries, Solaize (Lyon), juin 1998.

• ECAI Workshop in Model Based Systems and Qualitative Reasoning, Brighton, août 1998.

• TIME'99, 6th International Workshop on Temporal Representation and Reasoning, Orlando, Floride, mai 1999.

• DX’99, 10th International Workshop on Principles of Diagnosis, Loch Awe, Ecosse, juin 1999.

• RFIA-00, 12èmes journées nationales Reconnaissance des Formes et Intelligence Artificielle, Paris, février 2000.

• DX’00, 11th International Workshop on Principles of Diagnosis, Morelia, Michoacen, Mexique, juin 2000.

• TIME'00, 7th International Workshop on Temporal Representation and Reasoning, Cape Breton, Nova Scotia, Canada, juillet 2000.

• TIME'01, 8th International Symposium on Temporal Representation and Reasoning, Cividale del Friuli, Italie, juin 2001.

• TIME'02, 9th International Symposium on Temporal Representation and Reasoning, Manchester, Royaume-Uni, juillet 2002.

• QR’02, 16th International Workshop on Qualitative Reasoning, Barcelone, Espagne, juin 2002.

• TIME-ICTL'03, 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, Cairns, Australie, juillet 2003.

• QR’03, 17th International Workshop on Qualitative Reasoning, Brasilia, Brésil, août 2003.

• DX’04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France, juin 2004.

• QR’04, 18th International Workshop on Qualitative Reasoning, Evanston, USA, août 2004.

• QR’05, 19th International Workshop on Qualitative Reasoning, Graz, Autriche, mai 2005.

• DX’05, 16th International Workshop on Principles of Diagnosis, Monterey, Californie, USA, juin 2005.

• DX’06, 17th International Workshop on Principles of Diagnosis, Peñaranda de Duero,

Burgos, Espagne, juin 2006.

• IJCAI-07, 20th International Joint Conference on Artificial Intelligence, Hyderabad, Inde, janvier 2007 (area chair).

• DX’07, 18th International Workshop on Principles of Diagnosis, Nashville, TN, USA, mai 2007.

• QR’07, 21th International Workshop on Qualitative Reasoning, Aberystwyth, UK, juin 2007.

• IAF’07, Journées Nationales de l’IA Fondamentale, Grenoble, juillet 2007.

• RFIA-08, 16^ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle, Amiens, janvier 2008.

• QR’08, 22th International Workshop on Qualitative Reasoning, Boulder, CO, USA, juin 2008.

• ECAI-08, 18th European Conference on Artificial Intelligence, Patras, Grèce, juillet 2008 (area chair).

• DX’08, 19th International Workshop on Principles of Diagnosis, Blue Mountains, Australie, septembre 2008.

• IAF’08, Journées Nationales de l’IA Fondamentale, Paris, octobre 2008.

• DX’09, 20th International Workshop on Principles of Diagnosis, Stockholm, Suède, juin 2009.

• QR’09, 23th International Workshop on Qualitative Reasoning, Ljubljana, Slovénie, juin 2009.

• SAS’09, IJCAI Workshop on Self-* and Autonomous Systems : reasoning and integration challenges, Pasadena, CA, USA, juillet 2009.

• IAF’09, Journées Nationales de l’IA Fondamentale, Marseille, octobre 2009.

• RFIA-10, 17^èmecongrès francophone Reconnaissance des Formes et Intelligence Artificielle, Caen, janvier 2010.

Comités de lecture

Membre depuis 1993 du comité de rédaction puis depuis 1999 du nouveau comité éditorial de la Revue d'Intelligence Artificielle chez Hermès.

Lecteur d'articles dans des conférences ou des revues internationales. Outre celles ci-dessus en tant que membre du comité de programme, j'ai par exemple évalué des articles pour l'IJCAI, pour l'ECAI, pour ICTAI (International Conference on Tools for AI), pour QR, pour IPMU (Information Processing and Management of Uncertainty in Knowledge-Based Systems), pour ISE (Intelligent Systems Engineering), pour Safeprocess, ainsi que pour les revues internationales Artificial Intelligence, Systems, Man and Cybernetics, Annals of Mathematics and Artificial Intelligence, AI in Engineering, Journal of Artificial Intelligence Research et Data and Knowledge Engineering Journal.

Sociétés savantes

Membre de fin 1990 à fin 1994 du bureau de l'AFIA (Association Française pour l'Intelligence Artificielle).

Divers

De 1986 à 1991, dans le cadre de l'activité au Centre Scientifique IBM, plusieurs cours ou conférences de formation, tant en interne (au centre de formation européen de La Hulpe, au centre de recherche de Yorktown, dans des agences ou des usines) qu'à des responsables de la recherche en milieu industriel, ou à des universitaires (Universités Paris 6, Paris 7, d'Orléans, École Supérieure d'Ingénieurs en Électronique et Électrotechnique, École Polytechnique Fédérale de Lausanne).

Responsable pour IBM de l'organisation du stand à ICLP (International Conference on Logic Programming) à Paris en juin 1991.

Responsable en 1991 de IBM-équipe IA, équipe industrielle associée au PRC-GDR-IA, et co-animateur du séminaire industriel d'intelligence artificielle EDF-IBM-RENAULT.

Responsable de l'atelier “IA et Automatique” des journées organisées en décembre 1992 à Compiègne par l'AFIA sur le thème : “l'IA, une discipline et un carrefour interdisciplinaire”.

En janvier 1993, cours de DEA à l'IRISA de Rennes sur le Diagnostic des systèmes continus dynamiques.

En avril 1993, cours sur le Diagnostic à l'école de printemps organisée à Toulouse par le groupe MQ&D avec le soutien conjoint du PRC-GDR-IA et du GDR Automatique.

Coordinateur du dossier sur Diagnostic à base de Modèles dans le numéro d'avril 1993 du bulletin de l'AFIA.

Responsable de l'organisation des ateliers des 5èmes Journées Nationales du PRC-GDR I.A. à Nancy en février 1995.

Auteur en 1995 d'un rapport d'expertise pour l'ANVAR sur un projet de calcul symbolique du comportement asymptotique à l'infini de toutes les solutions non oscillantes à l'infini d'une équation différentielle algébrique ordinaire.

En 1997, expertise pour la région Nord - Pas de Calais d'un dossier de bourse de thèse dans le domaine du diagnostic.

Participation avec des collègues d'autres laboratoires de l'université Paris 13 aux discussions initiales concernant la création du laboratoire “Traitement et transport d'informations multimédia”.

Co-auteur de la contribution du LIPN au dossier Intelligence Artificielle et Télécommunications du numéro d’avril 1998 du bulletin de l’AFIA.

Responsable de l'organisation de la session “Prise en compte du temps dans les modèles de raisonnement” du thème “Modèles de raisonnement” aux assises du PRC-GDR I3 en juin 1998.

Co-organisateur d'une journée de travail sur la modélisation de la causalité le 8 mars 1999 à Paris 13.

En 2007, expertise pour l’organisme canadien NSERC (“Natural Sciences and Engineering Research Council”) d’une demande de subvention de recherche et développement “Decision support systems for aircraft engine fleet monitoring and prognostics”.

A plusieurs reprises conférencier invité et président de session dans des conférences internationales.