|
|
A. Organisation de rencontres scientifiques
B. Comités de rédaction ou de programme
C. Encadrement de travaux de recherche
E. Liens avec d'autres laboratoires
H. Divers
A. Organisation de rencontres scientifiques
Les VIIIèmes Journées du LIPN (qui existent depuis la création du laboratoire : les premières éditions ont eu lieu en 1986) ont été organisées les 11 et 12 Septembre 2000 par Christine CHOPPY etAmal EL FALLAH SEGHROUCHNI sur le thème systèmes multi-agents, spécifications formelles et technologies logicielles.
Les IXèmes Journées du LIPN ont été organisées les 26 et 27 mai 2003 par Christophe TOLLU et Frédéric TOUMAZET, Christian LAVAULT et Vlady RAVELOMANANA sur le thème Combinatoire, Informatique et Physique.
Patrick BAILLOT a organisé une réunion de l'Action Spécifique CNRS "Méthodes formelles pour la Mobilité" en décembre 2002 à l'université Paris-Nord (20 participants).
Cyril BANDERIER a assuré la présidence du comité de programme et d'organisation de la Conférence internationale Discrete Random Walks : Theory and Applications in Combinatorics, Computational Biology, Computer Science Probability Theory and Statistical Physics (DRW-2003), Institut Henri Poincaré , du 1 au 5 septembre 2003. Il a coédité avec Christian KRATTENTHALER les Actes de cette Conférence (DRW-2003, IHP, sept. 2003). Le comité d’organisation était composé de Cyril BANDERIER, Christian LAVAULT et Vlady RAVELOMANANA du LIPN.
Younès BENNANI a été président du comité de programme et d'organisation de la journée thématique "Exploration de données issues d'Internet" : JT-EDI'2001 (voir programme en annexe). Cette journée thématique a été organisée, avec le soutien de la société NumSight, le vendredi 2 mars 2001. Cette manifestation a réuni plus de 150 participants, chercheurs et industriels travaillant sur l'exploration de données issues d'Internet. Cette journée avait pour objectif premier de permettre aux intéressés de mieux découvrir ce domaine et d'avoir une vision synthétique sur l'état de l'art, et aux spécialistes de nouer des contacts avec d'autres équipes de recherche.
Christine CHOPPY a organisé une réunion du groupe IFIP WG1.3 « Foundations of Systems Specifications » à l’Alpe d’Huez en Janvier 2002 (20 participants).
Brigitte BIÉBOW et Adeline NAZARENKO ont co-organisé l'atelier “Machine Learning, and Natural Language Processing for Ontology Engineering” de la conférence ECAI (European Conference on Artificial Intelligence), Lyon 2002.
Brigitte BIÉBOW et Sylvie SZULMAN ont co-organisé l'atelier “Ontologies and Texts” de la conférence EKAW'2000 (Knowledge Engineering and Knowledge Management), Juan-les-Pins, Oct. 2000.
Christophe FOUQUERE a co-organisé le colloque "TALN, Corpus et Web" qui s'est tenu en octobre 2002 à la Maison des Sciences de l'Homme Paris Nord (50 participants). Une sélection d'articles va être publiée dans la Revue Québecoise de Linguistique.
Un atelier (Workshop) international sur l’utilisation du raisonnement à partir de cas pour la prédiction des séquences temporelles a été organisé par R. KANAWATI, M. Malek et S. SALOTTI. L’atelier a eu lieu le 24 juin 2003 à Trondhiem, Norvège. L’atelier a été organisé en marge de la conférence internationale sur le raisonnement à partir de cas (ICCBR’03). Une deuxième édition de l’atelier est planifiée en marge de la conférence européenne sur le raisonnement à partir de cas (ECCBR’04) qui va avoir lieu en août 2004.
R. KANAWATI, S. SALOTTI et F. ZEHRAOUI organisent en mars 2004, à Villetaneuse, la 12ième édition de l’atelier français sur le raisonnement à partir de cas.
Daniel KAYSER et Malik GHALLAB ont organisé une journée “Informatique et Cognition”, Ministère de la Recherche, Paris, Décembre 2001.
Thierry HAMON et Adeline NAZARENKO ont organisé une journée d’études de l’ATALA « structuration de terminologie », Paris, mars 2001.
Adeline NAZARENKO est ou a été co-organisatrice de l’atelier A3CTE (Applications, Acquisition, Apprentissage de connaissances à partir de textes) sur la plate-forme de l’AFIA, Grenoble, mai 2001, de l’atelier « Acquiring and using semantics for Information Retrieval and Filtering » de la conférence LREC’02 (Language Ressource Evaluation Conference), Las Palmas (E), mai 2002, de la journe ｫ Texte et Bioinformatique ｻ (groupe A3CTE et Action Spcifique ｫ apprentissage et biologie ｻ, 28 mai 2003, Paris).
B. Comités de rédaction ou de programme
Younès BENNANI a participé au comité de programme de IEEE International Conference on Computer Systems and Applications : IEEE-ICCSA 2001, IEEE-ICCSA 2003. Dans le cadre de L'Arc Thalweg , Younès BENNANI est membre du comité de programme des JEMSCTI « Journées d’Etude sur les Méthodes pour les Signaux Complexes en Traitement d’Image » organisees à l'Inria-Rocquencourt le 9-10 décembre 2003, (http://www-air.inria.fr/thalweg/Thalweg/journees.html).
Franck BUTELLE a assuré la présidence du Comité de programme de la Conférence Internationale "On Principles of Distributed Systems" (OPODIS 2000).
Brigitte BIÉBOW a fait partie du comité de programme de TIA-01 (Terminologie et Intelligence Artificielle, Nancy, Mai 2001), de IC 2000, IC 2001, IC 2002 (Journées francophones d'Ingénierie des Connaissances), de EKAW 2000 (Juan-les-Pins), et 2002 (Sigüenza, E).
Christine CHOPPY est co-éditrice (avec Didier BERT et Peter MOSSES) des actes (Selected Papers) qui sont publiés chez Springer Verlag (LNCS 1857). Elle est ou a été membre des comités de programme ISIICT 2004 (Second International Symposium on Innovation and Communication Technology), FASE (Fundamental Approaches to Software Engineering)-ETAPS (Grenoble, Avril 2002), ESEC/FSE (European Software Engineering Conference / Foundations of Software Engineering) 2001 (Autriche, Septembre 2001) et AMAST (International Conference on Algebraic Methodology and Software Technology, USA, Mai 2001).
Philippe DAGUE a fait partie des comités de programme des conférences suivantes : 12ièmes journées nationales Reconnaissance des Formes et Intelligence Artificielle RFIA-2000, Paris, février 2000 ; 11th International Workshop on Principles of Diagnosis DX’2000, Morelia, Mexique, juin 2000 ; 7th International Workshop on Temporal Representation and Reasoning TIME-2000, Cape Breton, Nova Scotia, Canada, juillet 2000 ; 8th International Symposium on Temporal Representation and Reasoning TIME-2001, Cividale del Friuli, Italie, juin 2001 ; 16th International Workshop on Qualitative Reasoning QR’2002, Barcelone, Espagne, juin 2002 ; 9th International Symposium on Temporal Representation and Reasoning TIME-2002, Manchester, Royaume-Uni, juillet 2002 ; . 10th International Symposium on Temporal Representation and Reasoning et 4th international Conference on Temporal LogicTIME-ICTL-2003, Cairns, Australie, juillet 2003 ; 17th International Workshop on Qualitative Reasoning QR’2003, Brasilia, Brésil, août 2003.
Amal EL FALLAH SEGHROUCHNI a été présidente du comité de programme des 9èmes Journées Francophones en IAD et SMA, novembre 2001, Montréal, Canada et est membre du Comité consultatif des JFIADSMA depuis 2001. Elle a été membre des comités de programme des manifestations internationales suivantes : International Symposium on Image/Video. Communications over Fixed and Mobile Network, Rabat, Maroc, avril 2000 ; ICMAS' 2000, 3rd International Conference on Multi-Agent Systems, Boston, USA, juillet 2000 ; MAAMAW'01, “Modelling Autonomous Agents in Multi-Agent World”, 10th European Workshop on Multi-Agent Systems, Annecy, France, 2001 ; International Workshop on “Group formation and activity: coalitions and teams”, Bologne, Italie, juillet 2002 ; AAMAS’2002, International Joint Conference ICMAS and Autonomous Agents, Bologne. Italie, juillet 2002 ; FORTE/PSTV 2002 Workshop “FORTE Interaction Protocol Engineering 2002”, Houston, USA, novembre 2002 ; IBERAMIA'2002, 8th Ibero-American Conference on Artificial Intelligence, Seville, Espagne, novembre 2002. Elle a été membre des comités de programme des manifestations nationales ou francophones suivantes : MCSEAI'2k (Maghrebian International Conference on Software Engineering and Artificial intelligence), Fès, Maroc, 2000 ; MFI'01, Premières journées francophones sur les Modèles formels de l'Interaction, Toulouse, mai 2001 ; Plate-forme AFIA – 2001.
Thierry HAMON a fait partie du comité de programme de la Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL 2003, Batz sur Mer, juin 2003), et de l'atelier "Acquisition, apprentissage et exploitation de connaissances sémantiques pour l'accès au contenu textuel" de la plateforme AFIA (Laval, juillet 2003), ainsi que du comité de lecture de Traitement Automatique des Langues Naturelles (TALN 2003, Batz sur Mer, juin 2003).
Daniel KAYSER fait partie du comité de rédaction d'Intellectica (depuis Mai 1996) ; il est, depuis 2000, rédacteur de Cognitive Science Quarterly (C.S.Q., Hermès) ; il a été rédacteur en chef adjoint de la Revue d'Intelligence Artificielle (R.I.A., Hermès) de 1993 à 2001 et a été co-responsable avec Bernard LEVRAT d'un numéro spécial de T.S.I. "Traitement du langage naturel" (vol.20 n°3, 2001). Il est co-responsable avec Philippe DAGUE, François LÉVY, Adeline NAZARENKO d'un numéro d'Intellectica sur le "raisonnement causal" (à paraître en 2004). Il est membre du comité de lecture d'un numéro spécial de T.A.L. sur "Problèmes épistémologiques du TAL" (2002) et du comité de direction de la collection “Sciences Cognitives” aux Éditions de la Maison des Sciences de l'Homme (2002). Il préside le comité de programme des troisièmes journées nationales sur les modèles de raisonnement (Paris, Nov.2003), a fait partie des comités de programme de R.F.I.A. 00 (Paris, membre du comité restreint), 02 (Angers, id.), 04 (Toulouse, id.) International Workshop on Computational Semantics (IWCS-4 et IWCS-5) (Tilburg, NL, Janv.2001, Janv.2003), TIA-01 et 03 (Terminologie et Intelligence Artificielle, Nancy, Mai 2001, Strasbourg, Avril 2003, comité de lecture), Int.Symposium on Programming and Systems (5th ISPS'2001, Alger, Mai 2001, 6th ISPS'2001, Alger, Mai 2003 : conférencier invité), Traitement Automatique des Langues Naturelles (TALN 2000, Lausanne, CH, Oct.2000, comité de lecture TALN'01, Tours, Juil.2001, TALN 2003 Batz-sur-Mer, Juin 2003), 2nd workshop LLL (Learning Language in Logic) (Lisbonne, P, Sept.2000).
Francine KRIEF a fait partie du comité de programme de DNAC’2002 et DNAC’2003 (De Nouvelles Architectures de Communication), Paris.
Christian LAVAULT est membre du comité de rédaction de la revue Studia Informatica depuis avril 2001 et membre du conseil scientifique de la revue Parallélisme, réseaux et répartition depuis mars 1995. Il a fait partie des comités de programme de la Conférence francophone sur l'information et la connaissance (frWeb 2002, Paris 13, sept. 2002) et de l’International Conference on Principles of Distributed Systems (OPODIS'00, OPODIS'01, OPODIS'02 et OPODIS'03).
Anass NAGIH est membre du comité de rédaction du bulletin de la Société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF) et a été membre du comité de programme de ROADEF’2002 (4ème Congrès de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, ENST Paris, 20-22 février 2002). Il a présidé la session « Optimisation et graphes » au congrès ROADEF’2002.
Adeline NAZARENKO a été co-responsable avec Thierry HAMON d’un numéro spécial de TAL sur « Structuration de terminologie », 2002. Elle a fait partie des comités de programme de : atelier “Ontologies and Texts” (EKAW' 2000), Colloque International sur la Fouille de Textes (CIFT 02, Hammamet, oct. 2002), numéro spécial de la revue Human Language Technology (HLT, 2002), conférence Terminologie et Intelligence Artificielle (TIA, mai 2003), Atelier "Acquisition, apprentissage et exploitation de connaissances smantiques pour l'accs au contenu textuel" (Plate-forme de l'AFIA, Laval, juil. 2003). Elle a fait partie des comités de lecture de : conférence sur leTraitement Automatique des Langues Naturelles (TALN'01, Tours, juil. 2001, TALN’03, Batz-sur-mer, juin 2003), Colloque Jeunes chercheurs en sciences cognitives (2001).
Gérard PLATEAU est membre du comité de rédaction de la revue R.A.I.R.O. Opeation Research, et membre éditeur (editorial board) de la revue Journal of Heuristics (éditeur en chef : Fred Glover) et de la revue European Journal of Operational Research (éditeurs en chef : Roman Slavinski, Jacques Teghem, Jyrki Wallerius). Il a fait ou fait partie des comités de programme de ROADEF’2000 (3ème Congrès de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Nantes, 26-28 janvier 2000), de CLAIO 2000 (X Latin-Iberian-American Congress on Operations Research and Systems Engineering, Mexico, Mexique, août 2000) de MIC’2001 (4th Metaheuristics International Conference, Porto, Portugal, 16-21 juillet 2001) et de MIC’2003 (5th Metaheuristics International Conference, Kyoto, Japon, 25-28 août 2003). Il a composé : une session pour le Congrès ROADEF’2000 (Nantes, janvier 2000), une session pour le Congrès CLAIO 2000 (Mexico, Mexique, août 2000) et une session pour le Congrès MIC’2001 (Porto, Portugal, 16-21 juillet 2001).
Henry SOLDANO a participé aux comités de programme de la conférence nationale d'apprentissage CAP2000, CAP2001, CAP2002.
Sylvie SZULMAN a fait partie du comité de programme de SCI'2000 (Systemics, Cybernetics and Informatics), Orlando (Fla., USA), de K-CAP'2001 (Knowledge capture), Victoria (B.C., CDN), de TIA-01 (Terminologie et Intelligence Artificielle, Nancy, Mai 2001), de l'atelier SAAKM (Semantic Authoring, Annotation & Knowledge Markup) ECAI, Lyon 2002et du workshop KMSA (2nd Workshop on Knowledge Markup and Semantic Annotation (en parallèle de KCap 2003)) October 23-25, 2003, in Sanibel, Florida
Frédéric TOUMAZET et Christophe TOLLU ont fait partie du comité d’organisation du 24ème colloque international sur l’application de la théorie des groupes en physique (Paris, juillet 2002).
C. Encadrement de travaux de recherche
Hachemi BENNACEUR dirige la thèse de Faycal DJEROUROU et a encadré les stages de DEA de Farida ZEHRAOUI (mars-septembre 2000), de Faycal DJEROUROU (mars-septembre 2001), d'Idir KHEMMOUDJ et de Bachir MEDJAHED (avril-septembre 2002).
Younès BENNANI a dirigé la thèse de Vladimir RADEVSKI (21 juin 2000, Paris 13). Dans le cadre du projet Maxeem avec Numsight il assure l’encadrement des travaux de thèse de Khalid BENABDESLEM (en cours, Paris 13). et co-encadre la thèse de Farida ZEHRAOUI (en cours, Paris 13). en collaboration avec Sylvie SALOTTI et Rushed KANAWATI. Dans le cadre d'une convention CIFRE entre le LIPN et la société GEOBS (Nantes), il encadre depuis mars 2003, les travaux de thèse de Sébastien GUERIF (en cours, Paris 13). Il a été parrain de l’HDR de Hussein YAHIA (examinateur, 13 mars 2002, Paris 13), et membre du jury de l’HDR de Gilles BERNARD (examinateur, 27 janvier 2000, Paris 8) et de l’HDR de Alexandre AUSSEM (rapporteur, 19 décembre 2002, Clermont-Ferrand). Il a en outre fait partie des jurys de thèse de Emmanuel MOREAU (rapporteur, 26 septembre 2000, Paris 7), Jean-Jacques MARIAGE (rapporteur, 21 décembre 2001, Paris 8), Setthachaï JUNGJARIYANONN (examinateur, 20 mars 2002, Paris 13). Jamal KHARROUBI (rapporteur, 3 juillet 2002, ENST Paris), Li HAIFENG (rapporteur, 12 juillet 2002, Paris 6), Fabien LAHOCHE (rapporteur, 19 décembre 2002, Littoral), Pierre KHAYATI (rapporteur, 18 février 2003, Toulouse 3), Sidi Mohamed SENOUCI (rapporteur, 9 octobre 2003, Paris 6). Entre 2000 et 2003, il a encadré 5 stages de DEA : 2 en entreprise et 3 au LIPN.
Faouzi BOUFARES dirige la thèse de Sana HAMDOUN sur le thème construction d’entrepôts de données hétérogènes dont la responsabilité scientifique est assurée par Kazem LELLAHI, ainsi que la thèse de Djamel BERRABAH sur le thème cohérence globale des contraintes dans un schéma de Base de Données dont la responsabilité scientifique est assurée par Charles-François DUCATEAU (Paris 5).
Christine CHOPPY assure le suivi de thèse de Gérard GARCIA et d’Elena SENDROIU. Elle a assuré le suivi de thèse de Martin Heriberto CRUZ-ROSALES, de retour au Mexique. Elle a encadré la thèse soutenue en Décembre 2000 de Pascal POIZAT, actuellement maître de conférences à l’université d’Evry. Elle a aussi encadré les stages de DEA de Maxence POMIÈS et de Christophe ALIAS (ONERA). Elle a été rapporteur des thèses de Benjamin BLANC et Béchir KTARI.
Philippe DAGUE a été directeur de la thèse de Pierre-Philippe FAURE qu’il a co-encadré à 20% (contrat CIFRE chez ACTIA, co-encadré par Louise TRAVE-MASSUYES du LAAS et suivi par H. POULARD d’ACTIA), thèse soutenue le 18 juin 2001, et de la thèse de Didier MALLAT-DESMORTIERS (contrat FT R&D Lannion, encadré par P. BRETIER et D. SADEK) soutenue le 24 janvier 2003. Il a co-encadré à 35% la thèse d’Emmanuel BENAZERA (inscrit au LAAS-CNRS sous la direction de Louise TRAVE-MASSUYES, bourse du CNES et d’Astrium), soutenue le 7 juillet 2003. Il a été rapporteur des HDR de Jacky MONTMAIN (Nîmes), Marc PORCHERON (Paris 13) et Sylvain PIECHOWIAK (Valenciennes) et rapporteur des thèses de Frédéric LELEBVRE (Valenciennes), Roberto RANON (Udine, Italie), Yannick PENCOLE (Rennes) et Allel HADJ ALI (Toulouse) Il a été membre du jury d’HDR d’Amal EL FALLAH SEGHROUCHNI (Paris 13) et des jurys de thèse de Bruno ROBISSON (Paris 6) et de Rim HAMMI (Paris 13).
Amal EL FALLAH SEGHROUCHNI a encadré les thèses de Guillaume VAUVERT (Boursier MRT), d’Alejandro GUERRA-HERNANDEZ (Boursier du CONACYT – Mexique), de Nejla AMARA-HACHMI (Boursière de coopération Franco-Tunisienne). Elle co-encadre avec Nathalie Chaignaud la thèse d’Alexandre PAUCHET (Boursier du CNRS). Elle a co-encadré avec le professeur Serge Haddad (LAMSADE, Paris DAUPHINE) la thèse d’Hamza MAZOUZI (soutenue le 29 octobre 2001). En 2001 et en 2002, elle a encadré un stage de DEA de Paris 13.
Christophe FOUQUERÉ a co-encadré les thèses de Thierry HAMON (décembre 2000) et Rémi BAUDOT (décembre 2000). Il a par ailleurs été rapporteur de la thèse de Claudia FAGGIAN (Université de Marseille).
Virginie GABREL a co-encadré avec Michel MINOUX la thèse d’Arnaud KNIPPEL (inscrit à Paris 6, soutenue en juin 2001).
Daniel KAYSER a assuré ou assure la responsabilité scientifique des thèses de Touria AÏT EL MEKKI (dirigée par Adeline NAZARENKO, en cours), Nahla EL ZANT (dirigée par Henry SOLDANO, en cours), Helka FOLCH (dirigée par Benoît HABERT, soutenue le 24 sept. 2002) et Thierry POIBEAU (dirigée par Adeline NAZARENKO, soutenue le 8 Mars 2002) ; il a parrainé l'habilitation à diriger des recherches d'Amal EL FALLAH (soutenue le 25 Janvier 2000). Il a en outre fait partie des jurys de thèse de Christophe BROUARD (rapporteur, Paris VI, Janv.2000), David GENEST (rapporteur, Montpellier II, déc.2000), Erika VALENCIA (président, Paris XI, Déc.2000) et d'habilitation de Frédéric CUPPENS (rapporteur, Toulouse III, Fév.2000), Sylvie LAINÉ-CRUZEL (Lyon I, Juin 2001), Céline ROUVEIROL (rapporteur, Paris XI, Déc.2000), Jean-Daniel ZUCKER (rapporteur, Paris VI, Déc.2001), et Frédéric SAUBION (rapporteur, Angers, Nov.2003). Il encadre le stage de DEA de Farid NOUIOUA (Sept. 2003).
Francine KRIEF assure, depuis novembre 2001, le suivi de la thèse de Zeina EL FERKH-JRAD (directeur : Guy Pujolle). Depuis octobre 2002, elle assure également le suivi de thèse de Hassine MOUNGLA (directeur : Philippe Dague) et Badr BENMMAMAR (directeur : Amal El FALLAH). Elle a co-encadré en 2001 le stage de DEA de Nabil CHEMMA (contrat RNRT MAGDA) et encadré celui de Brahim CHAKEUR (participation contrat INRIA I3). Elle a encadré en 2002 les stages de DEA de Badr BENMAMMAR (participation contrat RNRT ARCADE) et Hassine MOUNGLA (contrat RNRT MAGDA2) ainsi que le stage de Mastère Réseaux de Brice AH-TIANE (ENST). En 2003, elle a encadré le stage de DEA de Badreddine BOUCHENAK (contrat RNRT MAGDA2) et encadre le stage de Mastère Réseaux de Abdelhamid KESADRI (ENST).
Christian LAVAULT dirige la thèse de Gabriel PAILLARD depuis octobre 2001 et co-encadre celle de Tsiriniaina ANDRIAMAMPIANINA depuis octobre 2003. Il a encadré ou co-encadre celles de Mourad HAKEM (LIPN) et de Nguyen Dai THO (Compiègne, octobre 2000). Il a encadré les stages de DEA de P. WANG (2000), M. MEDJOUB (2002) et Eythan LEVY (2003). Il est directeur de recherche auprès de Cyril BANDERIER (CR2 CNRS au LIPN).
François LÉVY a parrainé l'habilitation à diriger des recherches de Marc PORCHERON à Paris XIII (soutenue le 26 Septembre 2001). Il a participé au jury de la thèse de Pierre-Philippe FAURE (Toulouse III, Mai 2001) et de Thang Vu Duong, (CNET Lannion / Toulouse III, Avr.2001).
Nelson MACULAN a encadré le stage de DEA de Djamel BERRABAH (avril-sept. 2002).
Anass NAGIH a co-encadré avec Gérard PLATEAU la thèse de Babacar THIONGANE (24 février 03). Il co-encadre (avec Gérard PLATEAU et Laurent ALFANDARI) les thèses de doctorat de Nicolas MARCOS et de Jean-Luc LEMALADE. Il assure le suivi de la thèse de PhD de Yassir Miladi (GERAD - Canada) sous la direction de François SOUMIS (GERAD - Canada).
Adeline NAZARENKO a encadré les travaux de thèse de Thierry HAMON (soutenue le 19 décembre 2000) sous la direction de Christophe FOUQUERÉ, et de Thierry POIBEAU (soutenue le 18 mars 2002) ainsi que de Touria AÏT EL MEKKI (en cours) sous la direction de Daniel KAYSER. Elle a par ailleurs été rapporteur de la thèse de David FAURE (Paris XI, déc. 2000). Entre 2000 et 2003, elle a encadré 5 stages de DEA (4 au LIPN, 1 en entreprise), un stage de fin d’étude du CNAM (10 mois) et un stage de maîtrise (2 mois). Elle a été nommée référent scientifique en vue de la titularisation de Nicolas TURENNE (CR, INRA, 2003).
Aomar OSMANI encadre la thèse de Hakima KADRI-DAHMANI depuis septembre 2001 (contrat IGN) et a encadré celle de Larbi AIT-MOHAMED de septembre 2002 à juillet 2003 (contrat RNRT MAGDA2), toutes deux sous la direction de Philippe DAGUE. Il encadre le stage de DEA de Khellaf BOUANDAS (avril-sept 2002) en collaboration avec François LEVY. Il a co-encadré en 2001 le stage de DEA de Nabil CHEMMA. Il encadre la thèse de Khellaf BOUANDAS depuis septembre 2002.
Laure PETRUCCI co-encadre la thèse de Sébastien BARDIN qui se déroule au LSV, ENS Cachan depuis septembre 2002. Elle est rapporteur des thèses de Kais KLAI (Paris 6), qui sera soutenue en novembre 2003, et de Samir CHOUALI (Université de Besançon) dont la soutenance aura lieu le 11 décembre 2003.
Gérard PLATEAU a été le coordinateur des habilitations à diriger les recherches en informatique d’Abdel LISSER (FranceTélécom R&D, 21.12.2000) et de Sourour ELLOUMI (CNAM, 26.06.2002). ll a dirigé la thèse d’Université de Patrick BOUCHER (5.07.2000). Il a co-encadré ou co-encadre les thèses d’Université de Rafaël CASTRO DE ANDRADE (France Telecom R& D, avec Abdel LISSER et Nelson MACULAN, 13.12.2002), Babacar THIONGANE (avec Anass NAGIH, 24.02.2003), Irène LOISEAU (avec Nelson MACULAN), Nicolas MARCOS (SNCF, avec Anass NAGIH et Laurent ALFANDARI) et de Jean-Luc LEMALADE (avec Anass NAGIH et Laurent ALFANDARI).
Vlady RAVELOMANANA co-encadre la thèse de Tsiriniaina ANDRIAMAMPIANINA depuis octobre 2003.
Sylviane SCHWER a assuré la direction de la thèse de Setthachaï JUNGJARITYANONN (20.03.2002).
Henry SOLDANO encadre la thèse de Nahla EL ZANT-EL KADHI (bourse MRT, directeur : Daniel KAYSER) depuis septembre 2000. Il a été membre du jury de thèse de Fabien TORRE (Paris 11).
Jacqueline VAUZEILLES a co-encadré la thèse de Rémi BAUDOT (décembre 2000) et a parrainé l’HDR de Kazem LELLAHI (Paris 13, décembre 2001).
Contrats européens
Projet européen Training Mobility Research “Linear Logic in Theoretical Computer Science” (sous-site du site de Paris ; responsable : Jacqueline VAUZEILLES, participants : Rémi BAUDOT, Denis BÉCHET, Pascal COUPEY, Christophe FOUQUERÉ, Marcel MASSERON, Christophe TOLLU), mai 1998 - avril 2002. Montant global : 1310 Kécus.
Projet européen 5ième PCRDT : IDD, « Integrated Design process for on-board Diagnosis », février 2000 à janvier 2003. Partenaires : CRF (Fiat), Daimler-Chrysler, PSA, Renault, Magneti-Marelli, OCC’M, univ. Turin, univ. technique Munich, LIPN. Montant global : 1,8 Meuros, montant LIPN : 146 K€. Participation du LIPN : Philippe DAGUE, Yuhong YAN.
Projet européen ESPRIT : CoFI (Common Framework Initiative, Working Group 29432), oct 1998 – avril 2001. Participation du LIPN : Christine CHOPPY.
Projet européen Alcom-FT (Algorithms and Complexity - Future Technologies), juin 2000 à novembre 2003, project number IST-1999-14186. Participation du LIPN: Cyril BANDERIER.
Contrats nationaux
Projet CNET : “Optimisation multicritère exacte et approchée pour les problèmes de cheminement dans un graphe”, sept. 1999 à fév. 2001. Participation du LIPN : Patrick BOUCHER, Virginie GABREL, Anass NAGIH, Gérard PLATEAU, Babacar THIONGANE. Montant : 466 KF.
Projet MENRT ASP : “Approximabilité et recherche locale”. Partenaires : LaMI, Evry ; LRI, P11 ; LMC, Leibniz, GILCO ; LIRMM, Montpellier II ; LIPN. Durée : 1999 – 2001. Montant global : 200KF. Participation du LIPN : Vassilis ZISSIMOPOULOS, Gérard PLATEAU, Lucian FINTA, Patrick BOUCHER.
Convention CIFRE avec la SNCF dans le cadre du co-encadrement par Anass NAGIH, Laurent ALFANDARI et Gérard PLATEAU de la thèse de Nicolas MARCOS. Durée : 3 ans (2002-2005). Montant : 22.500 Euros.
Projet RNRT ROCOCO (“Recherche Opérationnelle et Contraintes pour la Conception de réseaux”). Partenaires : France Télécom-CNET, ILOG, LRI, INRIA. Durée : 1999 - 2001. Montant global : 5652KF. Participation du LIPN : Vassilis ZISSIMOPOULOS.
Action spécifique MATHSTIC du CNRS "ALEA" coordonnée par Christian LAVAULT. Participation de la sous-équipe CADAD (Combinatoireet Analyse d’ Algorithmes Distribués) d’OCAD (LIPN)et du laboratoire LaRIA. Membres participants : Cyril BANDERIER, Jean-Christophe DUBACQ, Vlady RAVELOMANANA. Durée: 2001-2004.
Plan Pluriformation 1996-2000 entre le LLI et le LIPN : “Traitement de grands corpus”. Montant : 80KF par an. Participation du LIPN : Christophe FOUQUERÉ, Adeline NAZARENKO.
Projet Reanimatic : “Entrepôts de données évolutifs pour le suivi de patients en réanimation”. Action concertée, initiative du MENRT Télémédecine et Technologie pour la santé. Durée : 2 ans (2000-2001), Montant : 1000 KF. Participation LIPN : Sylviane SCHWER.
Action Spécifique du Ministère de la Recherche sur “ La logique linéaire et ses applications ”. Financement : fonctionnement 100 KF, équipement 40kF (juin 2000). Responsable : Jacqueline VAUZEILLES.
Action JemSTIC : Outils combinatoires pour le développement et l’analyse d’algorithmes en physique mathématique (2001-2003). Montant : 170 KF. Responsable : Frédéric TOUMAZET.
Action Spécifique CNRS "Méthodes formelles pour la Mobilité" (2002-2003). Montant LIPN : 7 keuros. Partenaires : LIF (Marseille), PPS (Paris 7), ENS Lyon, LIPN. Participation LIPN : Patrick BAILLOT.
Projet MATHSTIC du CNRS "Logique et sémantique des langages de programmation" coordonné par l’IML (Marseille) et l’équipe PPS (Paris). Sont associés comme membres extérieurs participants : Patrick BAILLOT, Christophe FOUQUERE, Marcel MASSERON, Jacqueline VAUZEILLES. Durée: 2001-2002.
Action Concertée Incitative Nouvelles interfaces des mathématiques: Géométrie du Calcul (GEOCAL), acceptée en 2003 pour 3 ans et avec 10 partenaires. Coordonné par IML (Marseille). Participation du LIPN: Patrick BAILLOT, Christophe FOUQUERE, Virgile MOGBIL, Jacqueline VAUZEILLES. Montant LIPN: 12 keuros.
Action Concertée Incitative Sécurité informatique: Contrôle de ressources et d'interférences pour systèmes synchrones (CRISS), acceptée en 2003 pour 3 ans. Partenaires: LIF (Marseille), INRIA Sophia, LORIA, LIPN. Participation du LIPN: Patrick BAILLOT, Virgile MOGBIL. Montant LIPN: 27 keuros.
Action spécifique du département STIC du CNRS « Traitement des connaissances, apprentissage et NTIC » (TCAN). Projet « Des connaissances à leur réalisation en langue : expérimentations et modèles pour la lexicalisation et l’agrégation en génération de langue naturelle », juillet 2003-juillet 2005. Partenaires : IRIT, LORIA, Laboratoire de linguistique formelle. Montant : 49 000 euros. Participation du LIPN : Françoise GAYRAL
Projet AUF d’Université Virtuelle Francophone : “Représentation logique des connaissances pour les agents intelligents”. Partenaires : Politehnica Bucarest, Univ. Stefan cel Mare de Suceava, LIPN. Durée : fév.1999 à fév. 2000. Montant : 15KF. Participation du LIPN : Daniel KAYSER.
Action spécifique du département STIC du CNRS « Traitement des connaissances, apprentissage et NTIC » (TCAN). Projet « Intervalles temporels et applications à la linguistique textuelle : vers une prise en compte des notions d’ordre, de grandeur et de répétition », juillet 2003- juillet 2005. Partenaires : DYALANG, LIMSI, LIPN (coordinateur) et GREYC. Montant : 40 000 euros. Responsable : François LEVY.
Convention CIFRE avec Thomson-CSF dans le cadre du co-encadrement par Adeline NAZARENKO de la thèse de Thierry POIBEAU. 3 ans (1998-2001). Montant : 30 KF.
Projet RNRT ASTUXE (Nov.1999–Juil.2001) pour l'analyse automatique de mails adressés à un centre de support technique. Partenaires : LIPN (Adeline NAZARENKO, resp. scientifique), le Laboratoire Central de Recherche de THALES, le Laboratoire de Recherche en Informatique (LRI, Université Paris-Sud & CNRS) et la société SpartaCom remplacée par Prologue. Montant : 1 MF.
Projets Caderige 1 (Nov.2000-Nov.2001) et Caderige 2 (Nov.2001-Nov.2003) pour le repérage d'interactions géniques dans la bibliographie en génomique. Ces projets sont soutenus par l’action Bio-Informatique (CNRS, INSERM, INRA). Partenariat : LIPN (Adeline NAZARENKO resp. scientifique, et Thierry HAMON), LRI, INRA, IMAG, IRISA.
Projet RNTL ExtraPloDocs (déc. 2002, juin 2005) pour le repérage d'interactions géniques dans la bibliographie en génomique. Partenariat : LIPN (coordination ; Adeline NAZARENKO resp. scientifique, et Thierry HAMON), la société Isoft et l'unité Mathématique, Informatique et Génome de l'INRA. Montant : 170 k€.
Projet Technolangue EVALDA/CESART «Campagne d'Evaluation de Systèmes d'Acquisition de Ressources Terminologiques» (2003-2006). Partenaires: EDF, LIA/EPFL, Lille 3, LIPN (Thierry HAMON), Xerox. Montant: 8K euros.
Projet RNTL Technolangue ATONANT (2003-2005) pour le développement d’ontologies spécialisées. Partenariat : EADS, LaRIA, LIP6, CEA, CHU Rouen, Araknyde, PSI-INSA et LIPN (Brigitte BIEBOW et Sylvie SZULMAN). Montant : 31 keuros.
Projet Céderillic (2002) pour l’élaboration assistée d’un index d’un recueil d’articles scientifiques. Projet financé par France Télécom R&D. Partenariat : LIPN (Adeline NAZARENKO, resp. scientifique, et Touria AÏT EL MEKKI), l’AP-HP, ERSS.
Projet avec la société NumSight Consulting : MAXEEM. Participation du LIPN : Khalid BENABDESLEM, Younès BENNANI, Rushed KANAWATI, Sylvie SALOTTI, Farida ZEHRAOUI. Durée : 3 ans (2000-2003). Montant : 1 MF.
Projet THALWEG : Action de Recherche Coopérative avec le projet AIR de l’INRIA « Modèles de traitement d’image pour les données turbulentes ». Partenaires : LIPN, LMD-Ecole Polytechnique, LPS-ENS-Ulm, INRIA-Rocquencourt. Participation LIPN : Younès BENNANI. Durée : 2 ans (2002-2004). Montant : 91 K€.
Convention CIFRE avec Géobs dans le cadre de l’encadrement par Younès BENNANI de la thèse de Sébastien GUÉRIF. Durée : 3 ans (mars 2003- février 2006). Montant : 24 K€.
Convention CIFRE avec la société toulousaine ACTIA dans le cadre du co-encadrement par Philippe DAGUE de la thèse de Pierre-Philippe FAURE. 3 ans (1997-2000). Montant : 90KF.
Projet CNET : « Modélisation, Diagnostic et Supervision de Réseaux de Télécommunication », oct. 97 à sept. 2000. Partenaires : CNET, IRISA-INRIA, LIPN. Participation du LIPN : Philippe DAGUE, François LÉVY, Francine KRIEF, Aomar OSMANI. Montant : 1,1 MF.
Projet exploratoire RNRT : MAGDA , « Modélisation et Apprentissage pour une Gestion Distribuée des Alarmes », nov. 98 à nov. 2001. Partenaires : France Telecom R&D, Alcatel, Ilog, IRISA-INRIA, LIPN. Participation du LIPN : Philippe DAGUE, François LÉVY, Francine KRIEF, Aomar OSMANI. Montant : 625 KF.
Contrat avec le CNES : « Architecture logicielle pour les satellites autonomes », juin 2001 à nov. 2001. Partenaires : LIPN, LAAS-CNRS. Participation du LIPN : Philippe DAGUE. Montant : 18 K€.
Sous-contractant du LAAS-CNRS dans le cadre du contrat de l’ESA « Autonomy requirements and technologies for future constellations of satellites ». Partenaires : Astrium, CERT-Onera, LAAS-CNRS. En charge avec le LAAS de l’étude « Characterization of FDIR (Fault Detection, Isolation and Recovery) Component Technologies », juin 2000 à janv. 2002. Participation du LIPN : Philippe DAGUE. Montant : 48 KF.
Contrat avec Thomson-CSF Detexis (maintenant Thales Systèmes Aéroportés), « Utilisation d’agents autonomes pour la conception de systèmes complexes », sept. 2000 – déc. 2000. Participation du LIPN : Philippe DAGUE, Amal EL FALLAH SEGHROUCHNI, Aomar OSMANI, Guillaume VAUVERT. Montant : 8750 K€.
Projet précompétitif RNTL : RESEDA, « Réalisation d’un Environnement Système Evolutif pour le Diagnostic Automobile », juin 2001 à déc. 2003. Partenaires : Silicomp, Trialog, Renault, LIPN. Participation du LIPN : Younès BENNANI, Christine CHOPPY, Philippe DAGUE, Aomar OSMANI, Henri SOLDANO. Montant : 200 K€.
Projet exploratoire RNRT : MAGDA2, « Modélisation et Apprentissage pour une Gestion Distribuée des Alarmes de Bout en Bout », nov. 2001 à nov. 2003. Partenaires : France Telecom R&D, Alcatel, Ilog, IRISA-INRIA, LIPN. Participation du LIPN : Larbi AIT-MOHAMED, Philippe DAGUE, Francine KRIEF, Aomar OSMANI, Henri SOLDANO, Emmanuel VIENNET. Montant : 180 K€.
Contrat avec le Ministère de la francophonie : « Inforoutes et Université Virtuelle Francophone (UVF) ». Partenaires : EMI (Maroc), Université de Strasbourg, Université de Montréal, LIPN. Durée : 2 ans (1999- 2001). Participation du LIPN : Amal EL FALLAH SEGHROUCHNI.
Contrat du Ministère de l'Industrie : « Télé-enseignement et visioconférence sur MARWAN ». Partenaires : INSA de Rouen, A6 - Média-Guide (PME), Université Louis Pasteur de Strasbourg, LIPN. Durée : 2 ans (janvier 2000 - décembre 2001), prolongation jusqu'à août 2002. Participation du LIPN : Amal EL FALLAH SEGHROUCHNI.
Convention CIFRE avec Dassault – Aviation dans le cadre du co-encadrement par Amal EL FALLAH SEGHROUCHNI de la thèse de Frédéric MARC. Durée : 3 ans (janvier 2002- décembre 2004). Montant : 24 K€.
Projet CNRS-Action BioInformatique : « Caractérisation et recherche des motifs de fixation des transposases dans les génomes ». Partenaires : Institut Jacques Monod UMR 7592 (équipes DGE, « Dynamique du Génome et Evolution » et SDG, « Structure et Dynamique du Génome »), Atelier de Bio-Informatique - Université Paris 6 (ABI), LIPN. Durée : 2 ans. Participation du LIPN : Dominique BOUTHINON, Nahla EL ZANT, Henry SOLDANO. Montant total : 300 KF.
Projet RNRT IP-SIG, « SIGnalisation générique du monde IP », d'une durée de 24 mois, labellisé en 2002. Partenaires : LIP6 (Univ. Paris 6), LIPN, ENST, UTT, ISEP, Thales, Alcatel. Participant du LIPN : Francine KRIEF.
Actions de recherche internationales
Projet de coopération bilatérale CNRS-PAN (Académie Polonaise des Sciences) : “Analyse transitoire des systèmes à évènements discrets”. Durée : 2 ans (2000-2002). Participation du LIPN : Ferhan PEKERGIN.
Projet de coopération bilatérale CNRS-TUBITAK (Turquie) : “Méthodes approchées pour l’optimisation combinatoire”. Durée : 2 ans (1999-2000). Participation du LIPN ; Vassilis ZISSIMOPOULOS, Ferhan PEKERGIN.
Projet de coopération France-Québec : “Extension de requêtes locatives sur le Web”. Partenaires : Gireil-UQAM-LIPN-LLI. Durée : 2 ans (1999-2001). Participation du LIPN : Christophe FOUQUERÉ.
Action de coopération internationale : "Nouvelles tehnologies de l’information, la communication interculturelle, la linguistique computationnelle", Durée : 4 ans (1997-2000). Partenaires : UQAM-LIPN-LAPSIC. Participant du LIPN : Christophe FOUQUERÉ.
Coopération ERASMUS-SOCRATES de Christian LAVAULT avec l'université Polytechnica de Bucarest (Roumanie) : juin 2000 et 2001(responsables : V. CRISTEA et A. FLOREA).
Action de coopération binationale: projet d'échanges d'enseignants et chercheurs entre Paris et Rome dans le cadre du programme franco-italien "Vinci 2001" proposé par l'Université franco-italienne. Avec les universités Paris VII et Rome III. Durée: 1 an (a été réconduite en 2002 et 2003). Participants du LIPN: Patrick BAILLOT, Christophe FOUQUERÉ.
Projet LAFMI (Laboratoire franco-mexicain d'Informatique): "Conception et développement d'un langage de programmation orienté-objet". Partenaires: LIP6, LANIA. 2002-2004. Participants du LIPN: Christophe FOUQUERE, Patrick BAILLOT, Pascal COUPEY.
Daniel KAYSER est responsable pour la partie française d'une convention de recherche 2002-05 franco-algérienne C.M.E.P. (accord programme n°02 MDU 542) sur le thème "modèles d'action". Il collabore également à un programme de l'Association des Universités Francophones pour l'établissement d'un cours sur le Web "agents intelligents" (ce programme est dirigé par le Professeur Adina Magda FLOREA (Univ.Politechnica, Bucarest, RO et comprend également Amal EL FALLAH et le Professeur Gheorghe PENTIUC (Univ. Stefan Cel Mare, Suceava, RO).
Projet I2P « Intelligent Information Processing » du Programme franco-yougoslave de Coopération Scientifique en collaboration avec le « Mathematical Institute » de Belgrade (1998 – 2001). Participant : Younès BENNANI.
Projet de coopération FS-KD&DM, « Feature Selection for Knowledge Discovery and Data Mining » avec l'Université St. Cyril & Methodius à Skopje, Macédoine, et l'University of Sheffield, UK (1998-2002). Participant : Younès BENNANI.
Réseau d'excellence européen MONET II (« Model-Based and Qualitative Reasoning Systems Network of Excellence ») dans le cadre du 5ième PCRDT, créé en décembre 2001 pour 3 ans (en continuation de MONET). Participant et responsable du nœud LIPN : Philippe DAGUE, qui est membre des deux actions « Automotive » et « BRIDGE » et participe à ce titre à la soumission en juin 2002 de deux EoI dans le cadre du 6ième PCRDT.
Accords de coopération SOCRATES :
. avec les universités d’Udine (depuis 1999) et de Turin (depuis 2002), Italie. Responsable : Philippe DAGUE.
. avec l'université de Rome 3 (depuis 2003). Responsable : Virgile MOGBIL.
Réseau d'excellence européen AgentLink II. Participant et responsable du nœud LIPN : Amal EL FALLAH SEGHROUCHNI.
Amal EL FALLAH SEGHROUCHNI a participé à la délégation française soutenue par le ministère des affaires étrangères dans le cadre des journées franco-japonaises sur le thème « Objets répartis et Agents », Kyoto, Japon, décembre 2000.
Suite aux journées franco-mexicaines en Informatique et Automatique (JFMIA'99), auxquelles Amal EL FALLAH SEGHROUCHNI participait au sein de la délégation française, et dont l'objectif était de mettre en place des projets de collaboration entre laboratoires français et mexicains en vue de créer un laboratoire mixte regroupant des laboratoires des deux pays, le LAFMI, Laboratoire Franco-Mexicain d’Informatique (http://www.lania.mx/LAFMI), a été crée en janvier 2002.
Participation à des Groupes de travail
Laure PETRUCCI participe au processus de normalisation des réseaux de Petri (ISO/IEC 15909).
GDR-PRC A.L.P. (Algorithmique, Langage et Programmation) : groupe de travail ALÉA (resp. Ph ; FLAJOLET). Participation du LIPN : Cyril BANDERIER, Christian LAVAULT, Jean-Marie LE BARS, Vlady RAVELOMANANA.
Projet MathSTIC (CNRS) : équipe CADAD (Combinatoire et Analyse d’Algorithmes Distribués) d’ALEA (LIPN et LaRIA). Responsable : Christian LAVAULT.
GDR Algorithmique, Langage et Programmation : groupe Collaboration de Solveurs (1998-2001). Participation du LIPN : Said BELHADJI, Hachemi BENNACEUR, Idir GOUACHI, Gérard PLATEAU.
GDR-PRC I3 : sous-axe "Modèles et raisonnements" , Sylviane SCHWER.
GDR Algorithmique, Langage et Programmation : groupe SVS pôle Objets (Sémantique, Vérification et Spécification dans les langages Objets), Participation du LIPN : Christine CHOPPY.
Club SEE Systèmes Informatiques de Confiance, participation du LIPN : Christine CHOPPY.
Sylvie SZULMAN a animé (2000-2002) le groupe français “Terminologie et Intelligence Artificielle”, rattaché au GDR-I3 auquel participe également Brigitte BIÉBOW et Adeline NAZARENKO.
Brigitte BIÉBOW, Daniel KAYSER, Adeline NAZARENKO et Sylvie SZULMAN participent au groupe de travail ASSTICOT, action spécifique du département CNRS Sciences et Technologies de l'Information pour la constitution de produits terminologiques à partir de corpus.
Adeline NAZARENKO co-anime le groupe de travail A3CTE (Applications, Acquisition et Apprentissage de Connaissances à partir de Textes, GDR-I3, AFIA, Cognitique) auquel participent également Touria AÏT EL MEKKI, Brigitte BIÉBOW, Françoise GAYRAL, Daniel KAYSER, Thierry HAMON et Sylvie SZULMAN.
Françoise GAYRAL et Adeline NAZARENKO participent au groupe d’étude RIP-web (recherche d’information précises sur le web) du département SHS du CNRS (animé par B. Grau, LIMSI).
Dans le cadre du projet RNTR « Outiller les Alliances » du LIMSI-CNRS, Jérôme NOBÉCOURT participe à la réalisation d'une plateforme (TMI-Workbench) d'intégration d'outils de TAL. Il participe également, depuis sa création en décembre 2000, au groupe de travail « comparaison de formalisme de représentation des connaissances » du LaRIA.
GDR-PRC-IA : groupe “MARCIA” sur les systèmes multi-agents. Participation du LIPN : Amal El Fallah SeghrouchnI.
GDR-PRC IA : groupe "Approches formelles de l'apprentissage et de la généralisation dans les réseaux de neurones". Participation du LIPN et co-création : Younès BENNANI.
GDR-PRC I3 : sous-axe “Apprentissage, Data Mining“. Participation du LIPN : Younès BENNANI.
GDR-PRC Automatique, GDR-PRC I3 et AFIA : groupe IMALAIA, « Intégration de Modèles ALliant l’Automatique et l’Intelligence Artificielle », démarré fin 1997. Participation du LIPN : Philippe DAGUE, François LEVY (co-responsable).
Action Spécifique STIC : sous-groupe Gafoumm (Usages multiples des motifs fréquents) du groupe GaFoDonnées (Fouille de bases de données). Participant du LIPN : Aomar OSMANI.
Groupe de travail "Fouille de données complexes". Participation du LIPN : Younès BENNANI.
E. Liens avec d'autres laboratoires
Accueil de chercheurs étrangers
Le Laboratoire a bénéficié de la présence de chercheurs étrangers soit en qualité de professeurs invités, soit de chercheurs invités dans le cadre coopérations internationales (CNRS (DRI) ; CMEP), soit sur postes rouges CNRS :
Mihir CHAKRABORTY (Université de Calcutta, Inde, 2000) ;
Tadeusz CZACHORSKI (Académie des Sciences de Gliwice, Pologne, 2000, 2002, 2003) ;
Monique GUIGNARD-SPIELBERG (Univ. Pennsylvanie, 2001, 2002) ;
Cüneyt GÜZELIS (Université Technique d'Istanbul, Turquie, 2001) ;
Maritta HEISEL (Université de Magdeburg, Allemagne, 2000, 2001, 2002, 2003) ;
Max KANOVITCH (Russian State University for the Humanities, Moscou, 2000, 2001, 2002, 2003) ;
Ronald KING (University of Southampton, 2002, 2003, 2004) ;
Nelson MACULAN (Université Fédérale de Rio de Janeiro, 2000, 2001, poste rouge CNRS 1 ans en 2002, 2003) ;
Omer MORGÜL (Université de Bilkent, Turquie, 2001) ;
Gianna REGGIO (DISI, Université de Gênes, Italie, 2000, 2001, 2002, 2003) ;
François SOUMIS (Ecole Polytechnique de Montréal, Canada, 2001) ;
Alfredo VIOLA (Université de Montevideo, Uruguay, poste rouge CNRS 6 mois en 2003) ;
Alexandre ZAMULIN (Division sibérienne de l’Académie des Sciences de la Russie, Novossibirsk, 2001, 2002, 2003) .
et a reçu la visite, dans le cadre du partenariat avec l’USTHB d’Alger de plusieurs enseignants-chercheurs de cette Université (Mmes MOKHTARI, AIDER, ALIMAZIGHI, AKLI, KHELLAF, MAZOUZ MM. BOUKALA, ZAFOUNE).
Visites des enseignants-chercheurs du LIPN dans des laboratoires étrangers
Cyril BANDERIER a effectué, en tant que chercheur invité, un séjour de deux mois au Max-Planck-Institüt für Informatik (Kurt Mehlhorn, Saarbrücken, Allemagne) en juillet-octobre 2002.
Christine CHOPPY a effectué un séjour en juillet 2001 à l’université d’Ilmenau, Allemagne, et au GMD de Berlin, Allemagne, et en août 2003 à l’université de Gênes, Italie..
Philippe DAGUE a effectué, en tant que professeur invité dans le cadre SOCRATES, un séjour d’une semaine à l’Université d’Udine (juin 2000), Italie. Il a effectué en 2003 un séjour de 2 semaines à l’institut CNRC de Fredericton, New Brunswick, Canada.
Amal EL FALLAH SEGHROUCHNI a effectué, en tant que professeur invité, deux séjours de deux semaines (août 2000 et septembre 2001) à l’Université de Veracruz, Mexique ; deux séjours de deux semaines à l’université polytechnique de Bucarest (juin 2000 et juin 2001) ; un séjour d’une semaine à l’Université d’Udine (juin 2000), Italie.
Daniel KAYSER a été conférencier invité à l’Université des Sciences et Technologies d’Alger (mai 2002 et mai 2003), à l’Université Politehnica de Bucarest (juin 2001 et juin 2003) et à l’Université Stefan Cel Mare de Suceava (RO) (juin 2003).
Christian LAVAULT a effectué, en tant que professeur invité, deux séjours à l’étranger depuis 2000 : Max-Planck-Institüt für Informatik (Kurt Mehlhorn, Saarbrücken,Allemagne, août 2002) et Dagstuhl-Seminar, IBFI-Geschäftsstelle (ReinhardWilhelm, Schloss Dagstuhl, Universität des Saarlandes, Saarbrücken),août 2000.
Anass NAGIH a effectué, en qualité de chercheur invité, plusieurs séjours (1 semaine en avril 2000, 2 mois en juillet-août 2000, 1 semaine en février 2001) au GERAD (Montréal, Canada).
Ferhan PEKERGIN a effectué des séjours à l’Institut d’Informatique Théorique et Appliquée de l’Académie des Sciences de Pologne IITiS-PAN en 2000-2001, dans le cadre du projet de coopération bilatérale CNRS-PAN POL2724. Il a effectué une mission de 3 semaines à l’université Dokuz Eylül, Izmir en 2000, dans le cadre d’un projet de coopération CNRS-TUBITAK (Projet 6806). MM. T. CZACHORSKI (2000, 2001) et S. JEDRUS (2001) ont effectué des séjours au LIPN suivant les échanges prévus par ces programmes de coopération.
Frédéric TOUMAZET a été invité à l’Institut de Physique Copernic, Torun, Pologne par Bryan Wybourne en février 2001.
Contacts avec les laboratoires et entreprises
L'équipe Optimisation Combinatoire et Algorithmique Distribuée a des contacts suivis avec :
en France,
CERMSEM, Paris 1 LIA, Avignon
I.N.R.I.A., Rocquencourt France Télécom R&D, Issy les Moulineaux
GREYC, Univ. Caen LAMIH, Valenciennes
PRiSM, Versailles LAAS, Toulouse
LRI, Orsay LaRIA, Univ ; d’Amiens
LRIA, Univ. Paris VIII LaBRI, univ. Bordeaux
LAMA, CNRS univ. Versailles LIRM, univ. Marseille
LaMI, Evry COSYTEC, Orsay
ILOG BOUYGUES
EDF, Clamart LAMSADE, Dauphine
Air France SNCF
Gaz de France
à l'étranger,
Univ. Libre de Bruxelles (Belgique) GERAD, Montréal (CAN)
Istituto di Cibernetica, Naples (I) Technion, Haïfa (Israël)
Université d’Oran Es-Sénia (Algérie) Université de Fès (Maroc)
Wharton School, University of Pennsylv.(USA) Université du Colorado (USA)
Carleton Univ., Ottawa (CAN) Inst. d’Informatique Théo.& App-PAN- (PL)
Queen’s Univ., Kingston (CAN) Université Fédérale de Rio de Janeiro (BR)
Université Bilhent (Turquie) Université Dokuz Eylül (Turquie)
Max-Planck-Institüt für Informatik (Allemagne) Université de Montevideo (Uruguay)
Université de Florence (Italie)
L’ équipe Logique, Calcul et Raisonnement est en rapport permanent avec les équipes suivantes :
en France,
LIMSI (CNRS, Orsay) Équipe de Logique de Paris VII
L.O.R.I.A., Nancy LIFAR – Université de Rouen
Lab. de Linguistique Informatique, Paris XIII Université de Nantes – IRIN
Université Paris 6 – LIAFA ONERA
INSA de Lyon – LISI SUPELEC
ENSAT Lannion LAMI, Université d’Evry
I.M.L. Marseille (Institut de Mathématiques de Luminy) Université Paris 5, IUT Paris
Direction des Études et Recherches d'E.D.F., Clamart LSV, ENS Cachan
Université Paris VII - Équipe de Catégories et Structures
Institut Gaspard Monge, Marne la Vallée (Phalanstère de Combinatoire algébrique)
I.R.I.T. Toulouse (Equipe de Formalisation du Raisonnement)
Université Paris VII (Equipe Preuves, Programmes, Systèmes)
à l'étranger,
Université de Montréal Université du Québec à Montréal
Université de Gênes, Italie Université de Rome III
Université de Pennsylvanie Université d’Etat de Moscou
Centre Scientifique de Novosibirsk Université Rome I, La Sapienza
Institut de physique de Torun, Pologne Université de Magdeburg, Allemagne
Institut de mathématiques et physique, Téhéran, Iran Université de Tunis II, Tunisie
Université d’Aarhus, Danemark Université de South Australia, Australie
Université d’Adelaide, Australie Université de Southampton
L’équipe Représentation des Connaissances et Langage Naturel a des contacts suivis et des collaborations avec les équipes suivantes :
en France,
Dépt de Psycho.de Paris VIII L.O.R.I.A., Nancy
G.R.E.Y.C., Université de Caen Laboratoire Lattice, ENS Montrouge
I.S.H.A., (Univ. Paris IV et EHESS) C.N.E.T., Lannion
Université d’Angers L.L.I., Université Paris XIII
LaRIA, Amiens LIM&Bio
CRIP5, Paris IRIT, Toulouse
LLI (Paris XIII) Unité MIG (INRA)
SIM-DIAM (AP-HP) ERSS (Univ. Toulouse-Le-Mirail & CNRS)
Maison des Sciences de l'Homme (commune avec Paris 8)
EDF (Clamart) Hybrigenics (Paris)
Isoft (Palaiseau) Sinequa (Ivry sur Seine)
Thales (Technology & Research) Synomia (Boulogne-Billancourt)
ENST Paris CRIM (INALCO)
à l’étranger :
Indian Institute of Technology, Bombay Université "Politechnica", Bucarest
Université "Stefan cel Mare", Suceava, Roumanie Université de Fribourg en Brisgau, Allemagne
Université de Sciences et Techniques d’Alger Université de Calcutta
Université du Québec à Montréal Université d’Athènes, Grèce
LIRIA, Alger, Algérie Jadavpur University, Calcutta, Inde
L’équipe Apprentissage, Diagnostic et Agents a des contacts suivis avec :
en France,
ABI (Univ. P. et M. Curie) LRI (Univ. Paris 11, Orsay)
ACTIA (Toulouse) Alcatel (Marcoussis)
CEA (Saclay et Cadarache) CNES (Toulouse)
CNAM/CEDRIC France Telecom R&D (Issy-les-Moulineaux,
Institut Jacques Monod UMR 7592 Lannion, Sophia-Antipolis)
Dassault Aviation (St Cloud) Ecole Polytechnique
Ecole des Mines d’Alès A6- Média Guide
ENST (Paris) EDF (Clamart)
IFP (Paris) GDF/DETN (Saint-Denis)
INRETS (Paris) ILOG (Paris)
INSA (Rouen) Université de Lille (LAIL-CNRS)
ISEP Université de Technologie de Troyes
LAAS-CNRS (Toulouse) L’Oréal (Paris-Nord)
LIP6 (Univ.P et M Curie) LAMSADE (Univ. Paris 9)
Astrium (Toulouse) INRIA-IRISA (Rennes)
ODYC (Univ. P. et M. Curie) Thalès Systèmes Aéroportés (St Quentin en Y.)
ORBICANTES Neuristique (Paris) Sligos (Clamart)
PSA (Paris) Renault (Paris)
TEAM NumSight
Université de Valenciennes Orlogia
Silicomp (Grenoble) Trialog (Paris)
Adersa (Palaiseau) Kxen
à l'étranger,
ESA, ESTEC, Noordwijk, Pays-Bas Daimler-Chrysler, Allemagne
Fiat, Italie OCC’M, Allemagne
Motorola, CA, USA Magneti-Marelli, Italie
Université technique de Munich, Allemagne Université d'Aberystwyth, Pays de Galles, UK
Université de Chile, Santiago du Chili Ecole Mohammédia des Ingénieurs, Maroc
Université de Veracruz, Mexique Université de Turin, Italie
Université d'Udine, Italie Mathematical Institute, Belgrade
Université St Cyril & Methodius, Skopje, Macédoine Université Polytechnique de Bucarest, Roumanie
Séminaire Logique, Calcul et Raisonnement : (Responsable : Patrick BAILLOT)
2001
Patrick BAILLOT (LIPN), Typage et complexité polynomiale, 22 Octobre 2001.
Christophe TOLLU (LIPN), Stabilité des coefficients de Littlewood-Richardson, 12 Novembre 2001
Marcellin Julius NKENLIFACKI (IUT de Bandjoun, Ecole Polytechnique de Yaoundé, Cameroun), Modélisation Objet et développement d'un atelier de simulation des automatismes industriels hybrides, 26 Novembre 2001.
Marco PEDICINI (Instituto per le Applicazioni del Calcolo, CNR, Rome, Italie), A parallel implementation for optimal lambda reduction, 10 Décembre 2001.
2002
Russel HARMER (University of Sussex, School of cognitive and computing sciences, Brighton, UK), Game semantics : an introduction, survey and future directions, 10 Janvier 2002.
Olivier LAURENT (Equipe Preuves, Programmes, Systèmes, CNRS, Paris), Logique classique et programmation (expose introductif), 4 Mars 2002.
Vincent DANOS (Equipe Preuves, Programmes, Systèmes, CNRS, Paris), Communication et contrôle, 8 Avril 2002.
Jacqueline CASTAING (LIPN), Système de recherche guidé par le contenu : une application à la musique, 27 Mai 2002.
Alexandre ZAMULIN (A.P. Ershov Intitute of Informatics Systems, Siberian Division of Russian Academy of Sciences Novosibirsk, Russie), Implicit State Approach for Formalization of Sequential Java-like Programs, 3 Juin 2002.
Max KANOVITCH (University of Pennsylvania, Philadelphia, EU), Bijective Proofs in Combinatorics by Two-Directional Rewriting Techniques, 8 Juillet 2002.
Kazem LELLAHI (LIPN, Université Paris 13), Un Point de vue Algébrique de Transformation d'Etat, application aux bases de données, 30 Septembre 2002.
Thierry JOLY (IUT de Villetaneuse), Lambda-définissabilité et génération de types, 7 Octobre 2002.
Francois MAUREL (Equipe Preuves, Programmes, Systèmes, Université Paris 7), Ludique probabiliste, 5 Novembre 2002.
Jean-Yves GIRARD (Institut de Mathématiques de Luminy, CNRS, Marseille), Entre logique et quantique, 18 novembre 2002.
Virgile MOGBIL (LIPN), Modules pour la logique non commutative (multiplicative), 25 Novembre 2002.
Kazem LELLAHI (LIPN), Transformation d'état, un point de vue algébrique, 16 Décembre 2002.
2003
Virgile MOGBIL (LIPN), Modules et bi-orthogonalité, 20 Janvier 2003.
Marc AIGUIER (Laboratoire de Méthodes Informatiques, Université d'Evry Val d'Essonne), Une axiomatisation de la réécriture, 27 janvier 2003.
Christophe FOUQUERE (LIPN), Extension en théorie des graphes de la ludique, Application à la modélisation de la concurrence stricte, 3 Mars 2003.
Dale MILLER (INRIA Futurs , Ecole Polytechnique), Encryption as an abstract data type, 17 Mars 2003.
Dominique LAURENT (Université de Tours), Maintenance des entrepôts de données, 24 Mars 2003.
Lorenzo TORTORA DE FALCO (universita Roma Tre, Italie), Logique linéaire et logique classique (exposé introductif), 2 Juin 2003.
Denis BÉCHET (IRISA, INRIA Rennes), Standardisation des interfaces des modules de MLL, 23 Juin 2003.
Kazushige TERUI (National Institute of Informatics, Tokyo, Japon), Light affine set theory: a naive set theory of polynomial time, 30 Juin 2003.
Lionel KHALIL (LIENS, Paris), Généralisation des réseaux d'interaction avec l'agent amb de McCarthy: propriétés et applications, 7 Juillet 2003.
Max KANOVICH (University of Pennsylvania, Philadelphia, USA), Why did Briareus succeed in doing what the modern planners fail, or, Coping polynomially with numerous but identical elements (joint paper with Jacqueline VAUZEILLES, LIPN), 7 Juillet 2003.
Séminaire Combinatoire, Informatique et Physique (co-organisé avec G. Duchamp, Université de Rouen et D. Barsky, LAGA, Université Paris 13)
2002
Abdelmalek ABDESSELAM (LAGA, CNRS et univ. Paris 13), Combinatoire en théorie constructive des champs, 9 octobre 2002.
Gérard DUCHAMP (LIFAR, université de Rouen), Algèbres de Hopf de fonctions symétriques et quasi-symétriques, 9 octobre 2002.
Frédéric TOUMAZET (LIPN), Caractères non compacts et physique, 6 novembre 2002.
Jean-Gabriel LUQUE (IGM, CNRS et univ. de Marne-la-Vallée), Pfaffiens et Hafniens dans l'algèbre de shuffle, 6 novembre 2002.
Karol PENSON (LPTL, CNRS et univ. de PARIS 6), Dobinski formula revisited, 4 décembre 2002.
Jean-Yves THIBON (IGM, CNRS et univ. de Marne-la-Vallée), Un monoïde plaxique pour les arbres binaires, 18 décembre 2002.
2003
Christophe TOLLU (LIPN), Réalisabilité des algèbres de Weyl déformées, 8 janvier 2003.
Alain LASCOUX (IGM, CNRS et univ. de Marne-la-Vallée), Chern, Yang et glace carrée, 5 février 2003.
Nicolas THIERY (LaPCS, université de Lyon 1), MuPAD-Combinat, une plateforme libre de développement collaboratif pour la combinatoire algébrique, 12 février 2003.
Gérard DUCHAMP (LIFAR, Université de Rouen), Combinatoire des dérivations et des opérateurs caténatifs, 5 mars 2003.
Daniel BARSKY (LAGA, CNRS et université de Paris 13), Matrices de Seidel, 19 mars 2003.
Cyril BANDERIER (CNRS, LIPN), Combinatoire formelle et calcul analytique, 30 avril 2003.
Emmanuel BRIAND (IGM, Université de Marne-la-Vallée), Théorie des invariants et informatique quantique, 30 avril 2003.
Gérard DUCHAMP (LIFAR, université de Rouen), Combinatoire et facteurs de commutation, 14 mai 2003.
Séminaire OCAD (responsable : J.-C. DUBACQ)
2002
Christian LAVAULT (LIPN), Un algorithme d’élection optimal de temps d’éveil est Log-logarithmique, oct. 2002 (avec Vlady RAVELOMANANA).
Jean-Christophe DUBACQ (LIPN), Signaux pour automates cellulaires en dimension 2 ou plus, 21 nov. 2002.
Lélia BLIN (LIPN), The first approximated distributed algorithm for the minimum degree spanning tree problem on general graphs, 5 décembre 2002 (avec F. BUTELLE).
Monique GIGNARD (Univ. Pennsylvanie), Ordonnancement de production en batch, avec une approche modulaire, 19 décembre2002 (avec S. WANG).
Gabriel PAILLARD (LIPN), Génération de Nombres Premiers en Distribuée, 3 juillet 2002.
2003
Sidi Mohamed SEDJELMACI (LIPN), Méthode de perturbation pour les algorithmes de type diviser pour régner, 23 janvier 2003.
Babacar THIONGANE (LIPN), Réoptimisation dans le dual lagrangien du biknapsack en variables 0-1, février 2003.
Lucas LÉTOCART, Résolution des problèmes multicoupes minimales et de multiflots maximaux en nombres enties dans les arbres et les anneaux, 13 mars 2003.
Christian LAVAULT (LIPN), Récurrences bisymétriques : Somos 4-5-6-7-, solutions entières, polynômes de Laurent, courbes elliptiques, etc., avril 2003.
Gabriel PAILLARD (LIPN), Le crible de la roue en distribué, juin 2003.
Alfredo VIOLA (Un. Montevideo, Uruguay), Zero of Polynomials in Finite Fields : Rabin's Test, juillet 2003.
Alfredo VIOLA (Un. Montevideo), Adaptive Sampling for Quickselect ,23 sept. 2003.
Condado MARTINEZ (Un. Polithechnique de Catalogne), Forty Years of Quicksort and Quickselect : a personal view, 8 octobre 2003.
JOURNEES THEMATIQUES
Journée "Exploration de données issues d'Internet", 2 mars 2001, organisée par Younès BENNANI de l'équipe ADAge.
Michele ABRUSCI (université Rome III), Jean-Marc ANDREOLI (Xerox, Grenoble), Jean-Yves GIRARD (IML, Marseille), Dale MILLER (Université de Pennsylvanie), Logique linéaire et applications, 15 décembre 2000, journée organisée par l'équipe LCR.
Les après-midi «Connaissances, Langue et Informatique» de l'équipe RCLN (Responsables : Brigitte BIÉBOW et François LÉVY)
Rose DIENG-KUNTZ (INRIA) – Camille ROSENTHAL-SABROUX (LAMSADE), La mémoire d’entreprise, 30 Novembre 2001.
Yorick WILKS (Univ. de Sheffield, GB) - Patrick SAINT-DIZIER (IRIT), La sémantique lexicale et ses applications, 8 Mars 2002.
Claude VANDELOISE (Université de Louisiane, USA) – Bernard VICTORRI (CNRS, ENS Montrouge), La spatialité dans la langue et sa modélisation, 22 Mai 2002.
Max KISTLER (Institut Jean Nicod) – Jean-Marc LEVY-LEBLOND (Université de Nice), La causalité, 19 novembre 2002.
Monique SLODZIAN (INALCO) – Igor MEL’CUK (Université de Montréal), Les fonctions lexicales, 11 mars 2003.
Laurent GOSSELIN (Université de Rouen) – Gérard LIGOZAT (LIMSI, Paris X), Le temps : systèmes formels et représentation du langage naturel, 24 juin 2003.
Séminaire inter-labos LAGA-L2TI–LIPN (Co-responsable : Younès BENNANI)
Depuis mars 2001, Younès BENNANI anime un séminaire inter-laboratoires de Paris 13 : le LAGA (Laboratoire d’Analyse Géométrie et Applications - UMR 7539), le L2TI (Laboratoire de Traitement et Transport de l’Information, EA 3043 MENRT) et le LIPN. La fréquence des interventions est tous les mois, les thèmes abordés portent essentiellement sur l'apprentissage numérique, la reconnaissance des formes et le traitement d'images (http://www-lipn.univ-paris13.fr/equipes/ADAge/seminaire).
Hussein YAHIA (Chercheur, INRIA-Rocquencourt) : « Mise en correspondance de surfaces 3D ».
Jacqueline CASTAING (MC, Institut Galilée) : « Logique et reconnaissance de l'écriture chinoise manuscrite ».
Francois SOUMIS (Professeur, Ecole Polytechnique de Montréal) : « Méthodes d'optimisation pour le problème d'horaires mensuels d'équipages aériens ».
Omar CHERKAOUI (Professeur, Université du Québec à Montréal (UQAM)) : « La gestion des OVPN (Réseau Virtuel Privé Optique) ».
D. ZIOU (Professeur, Université du Québec à Montréal (UQAM)) : « Perception 3D : estimation simultanée et coopérative des indices de profondeur (partie 2) ».
D. ZIOU (Professeur, Université du Québec à Montréal (UQAM)) :« Perception 3D : estimation simultanée et coopérative des indices de profondeur (partie 1) ».
Francois FLEURET (Chercheur, INRIA-Rocquencourt) : « Detection et localisation rapides de visages par apprentissage statistique ».
Yali AMIT (Professeur, Univ. Chicago) : « Efficient object detection in images ».
Yann GOUSSEAU (Chercheur au CMLA-ENS Cachan) : « Statistiques morphologiques des images naturelles et occlusion ».
N. Maculan (Professeur à l’Université Fédérale de Rio de Janeiro) :"Column generation method for network design".
SEMINAIRES JUNIOR
2002
Touria AIT EL MEKKI , « Elaboration d’un outil d’aide à la construction d’index », 28 février 2002.
Babacar THIONGANE , « Optimisation combinatoire », 27 Mars 2002.
Nahla EL ZANT, « Recherche des répétitions dans les séquences biologiques », 25 Novembre 2002.
Farida ZEHRAOUI, « Utilisation du raisonnement à partir de cas pour la prédiction de l'évolution d'une séquence à partir d'une grande base de séquences », 10 juin 2002.
Gabriel PAILLARD, « Génération de nombres premiers par algorithmes distribués », 13 juin 2003.
SEMINAIRES EXTERIEURS
Patrick BAILLOT a donné un séminaire sur « Type inference in light logic » à l’Université de Cambridge, Grande-Bretagne (mars 2003) et Padoue, Italie (mai 2003).
Cyril BANDERIER a donné une série de mini-cours sur la combinatoire analytique au Max-Planck-Institüt für Informatik (Saarbrücken, Allemagne), septembre-octobre 2002.
Hachemi BENNACEUR a donné un séminaire sur le "Raisonnement à base de contraintes" au Laboratoire de Recherche en Informatique d’Amiens, mars 2002.
Faouzi BOUFARES a fait un exposé à Doha à l’University of Qatar en décembre 2002 sur le thème « Consistency Problems in Databases ».
Il fera des séminaires à l’Université de Tunis en Tunisie en décembre 2003 sur les thèmes « Bases de Données Avancées et DataWareHouse».
Christine CHOPPY a fait un exposé dans le cadre d’une réunion du groupe de travail IFIP WG1.3 en mai 2003 sur le thème « Towards a formally grounded software development method », au GMD (National Research Center for Information Technology) à Berlin en juillet 2001, et au Workshop on Algebraic Development Techniques à Gênes en avril 2001 sur le thème « Method patterns for system specification using CASL » .
Philippe DAGUE co-organise depuis le début 2000 avec des collègues de 5 autres universités le nouveau séminaire d’Intelligence Artificielle de l’Ile de France.
Amal EL FALLAH SEGHROUCHNI a assuré plusieurs séminaires autour du thème de "Coordination d'agents cognitifs : Modèles, Algorithmes et Protocoles" dans les établissements suivants : PSI-INSA de Rouen (février 2000), Ecole des Mines de Saint-Étienne (mars 2000), LIP6 (Séminaire OASIS, juin 2000), LAMSADE, Paris Dauphine (Séminaire Rationalité et I.A.), Université de Caen (Séminaire du GREYC, février 2000), Dassault-Aviation (mai 2001), Paris 5 (Séminaire du CRI, Mai 2002), Université de Nantes (juin 2002).
Françoise GAYRAL, François LÉVY, Daniel KAYSER : "Les références du pluriel". Exposé à la journée de l'ATALA sur "référence et TAL", 18 nov. 2000.
Rushed KANAWATI, Maria MALEK, "CoWing : Un système de gestion coopérative de signets", séminaire du groupe de travail collecticiels, GDR I3 GT 4.2, Lyon, juin 2001 ; "Cobra: A CBR Approach for Automatic Web site Personnalisation", AgentLink - Group AIA Meeting, 5 décembre 2001.
Daniel KAYSER :"Pourquoi représenter formellement ses connaissances ? Exemples et limites des méthodes utilisées en Intelligence Artificielle", (Séminaire du Laboratoire Vulnérabilité Adaptabilité Psycho-pathologie, CNRS Paris, déc. 2000).
"Intelligence Artificielle et Cognition Humaine" (Séminaire du LISI, Lyon, Déc. 2000),
“Abstraction et Univers d'interprétation” (atelier "Abstraction" de l'action Cognitique, Paris Juin 2001),
“Langage et Modélisation” (atelier "Modèles" du réseau d'Ile de France de Sciences Cognitives, Paris Juin 2001),
"Causalité et réseaux bayésiens" (LRIA, Alger, Avr. 2002),
“Various natures of knowledge and their representation” et “Multi-agent Modal Logics” (École d'été Socrates, Bucarest, Juin 2001 et LRIA, Alger, Avr. 2002).
"Unification de la logique des défauts et de la logique auto-épistémique (d'après Denecker, Marek, Truszczynski 2003)" (LRIA Alger, Mai 2003),
"L’Intelligence Artificielle est-elle une Science" (rencontres AGORA de l’INRETS, Arcueil, juin 2002),
"L’Intelligence Artificielle : son histoire et ses promesses" (Savantes Banlieues, Villetaneuse, oct.2003).
Christian LAVAULT : "Quasi optimal leader election algorithms in radio networks with Log-log awake time slots", Max-Planck-Institüt für Informatik (Saarbrücken, Allemagne), août 2002 ; "Protocoles d’élection optimaux et efficaces en énergie dans les réseaux mobiles", Séminaire du GREYC, université de Caen, novembre 2003.
Kazem LELLAHI a exposé ses travaux dans le cadre du séminaire Catégories et Structures de l‘Université Paris 7 (janvier 2001).
Anass NAGIH : "Agrégation des contraintes de ressources dans un problème de plus court chemin", Séminaire du LAMSADE, Algorithmes et Modèles d’Optimisation : Théorie et Applications, 19 janvier 2000.
Jérôme NOBÉCOURT : “Utiliser des formalismes de représentation des connaissances” (Séminaire de l'équipe PSI-INSA, Rouen, Juil. 2000) ; “De la modélisation à la représentation : Md.un exemple de langage de modélisation multi-formalisme” (Séminaire de l'équipe LIR du LIMSI, Orsay, Mars 2001).
Gérard PLATEAU a été invité à donner une conférence « Hybrid methods for 0-1 programming. Applications to knapsack and SAT problems » au IV ALIO/EURO Workshop on Applied Combinatorial Optimization, Pucon, Chili, 4-7 novembre 2002, et une conférence « Reoptimization methods for solving the lagrangean dual of the 0-1 biknapsackproblem » à la rencontre internationale organisée en l’honneur de Nelson MACULAN, Buzos, Brésil, 09-12 novembre 2003.
Christophe TOLLU et Frédéric TOUMAZET ont donné des séminaires sur leurs travaux sur la stabilité des coefficients de Littlewood-Richardson dans le cadre du séminaire inter-projets à l’Inria Rocquencourt (Septembre 2001), dans le cadre du séminaire de combinatoire algébrique de l'Institut Gaspard Monge (Mai 2002), à l’institut de physique de Torun (février 2001) et aux IXèmes journées du LIPN.
Sylvie SZULMAN : “Terminae : un outil pour la construction d'ontologies de domaine à partir de textes” (Séminaire du LIMSI, Orsay, Déc.2000) ; “Vers un environnement intégré pour la structuration de terminologies: Terminae”, (Journée sur la structuration de terminologies organisée par l'Atala, Paris, mars 2001), exposé sur la plate-forme Terminae au symposium professionnel TELMI'02 le 14 nov. 2002.
GROUPES DE TRAVAIL DU LIPN
Younès BENNANI est l’organisateur du groupe de travail “Apprentissage Connexionniste” : GT-AC, qui se réunit au LIPN tous les 15 jours depuis octobre 1993.
Denis BECHET a été l’organisateur du groupe de travail Logique Linéaire.
Christophe TOLLU et Frédéric TOUMAZET organisent avec G. DUCHAMP (LIFAR, université de Rouen) un groupe de travail Combinatoire, Informatique et Physique.
Pré-soutenances de thèse
Depuis 2000, la formation doctorale en Informatique a mis en place des pré-soutenances de thèse à deux ans pour tous les doctorants. Ont déjà présoutenu :
Thierry POIBEAU, directeur de thèse Daniel Kayser – encadrant : Adeline Nazarenko, le 4 juillet 2000.
Alejandro GUERRA-HERNANDEZ, directeur de thèse Amal El Fallah Seghrouchni, le 15 décembre 2000.
Guillaume VAUVERT, directeur Amal El Fallah Seghrouchni, le 16 juillet 2001.
Rafael CASTRO DE ANDRADE, directeur Gérard Plateau, le 4 mars 2002.
Babacar THIONGANE, directeurs Gérard Plateau et Anass Nagih, le 11 avril 2002.
Farida ZEHRAOUI, « Techniques d’apprentissage et de raisonnement à base de cas pour le traitement des séquences », directeur Younès Bennani, le 31 octobre 2003.
Khalid BENABDESLEM, « Approches connexionnistes pour la visualisation et la classification de données complexes », directeur Younès Bennani, le 31 octobre 2003.
Younès BENNANI a présenté des démonstrations de plusieurs prototypes, lors de visites du LIPN par des universitaires, des membres du CNRS ou des industriels ou lors de manifestations telles que les journées « Science en fête » : systèmes de reconnaissance vocale, de reconnaissance visuelle, de détection et d’identification de perturbations sur le réseau téléphonique commuté, de diagnostic autonome et évolutif, de localisation et d’identification d’objets.
Claude HENRY, Jérôme NOBÉCOURT. Projet RNRT : Outiller les Alliances. Présentation du poster au colloque 2001 du RNRT, Toulouse, Mars 2001. (aussi publication LIMSI)
Jérôme NOBÉCOURT. Md : Langage et méthodologie de modélisation pour représenter en LD ou GC. Démonstration à IC'2000, Mai 2000.
Gérard DUCHAMP, Christophe TOLLU et Frédéric TOUMAZET ont présenté un poster q-shuffle product and q-Weyl algebras au 24ème colloque Group Theoretical Methods in Physics, Paris, Juillet 2002.
Gabriel PAILLARD a présenté un poster : “Le crible de la roue (algorithme de test de primarité) ” aux Journées Science en fête de juin 2003, et y a obtenu une mention.
Younès BENNANI est membre du ENNS (European Neural Network Society). Il a déposé, en collaboration avec la société NumSight Consulting, deux brevets sur un procédé de traitement de fichiers de requêtes Internet et un procédé de création de cartes 2D. Il a obtenu une délégation au CNRS de deux ans (1/9/2001- 31/8/2002).
Pascal COUPEY a été chef du département Informatique de l'IUT de Villetaneuse de 1999 à 2002.
Philippe DAGUE est vice-président depuis 2001 de la commission de spécialistes 27ième section de l’université Paris 13. Il est responsable de la formation doctorale en Informatique depuis la rentrée 1995 et a obtenu en février 2000 la réhabilitation pour 5 ans du DEA Intelligence Artificielle et Optimisation Combinatoire (anciennement Intelligence Artificielle), cohabilité avec Paris 8. Il a obtenu une délégation au CNRS de deux ans (1/10/1999 – 31/08/2001). Il est directeur adjoint chargé des relations internationales et industrielles de l'Institut Galilée depuis juillet 2002.
Amal El Fallah SeghrouchnI a été experte auprès du ministère de la recherche pour les appels d’offre RNTL’2001 et RNTL’2002. Elle a obtenu une délégation au CNRS d’un an (1/10/2001 – 31/08/2002).
Christophe FOUQUERE est directeur adjoint chargé de la recherche de l’institut Galilée depuis juin 2002, après avoir été président du département d’informatique de 1998 à 2002. Il fait partie du conseil d’administration de l’Institut Galilée depuis 1998.
Françoise GAYRAL est membre du Conseil d’Administration de l’université, du conseil de la documentation, de la commission laïcité et du conseil des sports. Elle est directrice des études 1ere année au département informatique de l’IUT.
Daniel KAYSER est membre du Comité National du CNRS (section 45) depuis février 2003, il a été membre du Conseil Scientifique de l'action Cognitique du Ministère de la Recherche (de sept. 1999 à déc. 2002) ; il est membre (depuis oct. 1998) et président (depuis avr. 2000) du Comité Scientifique du LORIA (Nancy), du LIFIA (Grenoble, de janv.1994 à déc.1995), du Crip5 (Université René-Descartes, Paris, depuis 2001) ; membre élu du conseil scientifique du réseau Sciences Cognitives d'Île de France (de oct. 1998 à oct. 2002). Il a été évaluateur responsable de la synthèse du programme 3A "Bases de données, bases de connaissances, systèmes cognitifs" de l'INRIA (oct. 2001). Il a dirigé de 1997 à 2001 l'École Doctorale “Galilée” (ED 146) et est depuis janv. 2002 président du département Informatique de l'Institut Galilée. Il est membre d'honneur (Juin 2000) de l'Association Française d'Intelligence Artificielle et « fellow » de l’Association Européenne d’Intelligence Artificielle (juillet 2002).
Christian LAVAULT a été président de la commission de spécialistes 27e section de l’université Paris 13 jusqu’en octobre 2001 et en est membre depuis. Par ailleurs, il est membre suppléant de deux autres commissions de spécialistes (27e des Universités d’Amiens et de Cergy-Pontoise). En position de délégation CNRS au LIPN en 2000-2001, il a bénéficié d’un congé pour recherche de deux semestres pour l’année 2003-2004.
François LÉVY est membre du comité de direction du GDR I3 et membre du comité de pilotage du Rescif (Réseau Ile de France des Sciences Cognitives). Il est Vice-Président du Conseil d’Institut et Président du Conseil Restreint de l’IUT de Villetaneuse depuis 2000. Il est Président de la Commission de Spécialistes de la 27ème section de l’université Paris 13.
Anass NAGIH est membre élu (2002–2003) au Bureau national de la ROADEF (Société Française de Recherche Opérationnelle et d’Aide à la Décision) et deuxième vice-président chargé de la publication du Bulletin de la ROADEF. Il est membre des commissions de spécialistes 27ème section de l’Université Paris 13 et de l’Université de Cergy-Pontoise (période 2001-2004).
Adeline NAZARENKO est membre du CA de l’ATALA (Association pour le Traitement Automatique des Langues) depuis 1996 et responsable de l’organisation des journées d’étude de l’ATALA. Elle a été évaluateur de projets de recherche soumis dans le cadre des appels à projet du Comité Régional ITIC (mars 2001), du Programme Cognitique (avril 2001), du Réseau National des Technologies Logicielles (RNTL, mars 2002), d’un projet de recherche personnel canadien. Elle est membre suppléant de la commission 27ème section de l’Université Paris 13 et de la commission mixte (linguistique, informatique) de l’Université Paris IV.
Gérard PLATEAU a été directeur adjoint chargé de la recherche de l’institut Galilée depuis février 1998 (fin du mandat en juin 2002). Jusqu'en juin 2002, il a été membre des instances de l’Institut Galilée : conseil scientifique depuis juin 1991, commission du personnel depuis mars 1995, et membre invité du conseil d’administration, de la commission des moyens et de l’école doctorale depuis février 1998. Il a assuré la responsabilité du DESS de génie Informatique de septembre 1989 à septembre 2000. Il a été membre des instances de l’université Paris 13 : conseil de l’innovation et de la valorisation de la recherche (octobre 98-décembre 2001) et du bureau des relations internationales (cellule Socrates) (1998-2001). Il est membre de la commission de spécialistes 27ème section de l’université Paris-Dauphine (titulaire), de l’université de Valenciennes (titulaire). Il a également été membre de la commission d’audition mixte 37-61-63ème sections de l’institut Galilée (2000 et 2001). Il a effectué des expertises nationales : dossiers d’écoles doctorales auprès de la DS1 du Ministère de l’Education Nationale, de la Recherche et de la Technologie (2000) ; ACI « Jeunes chercheurs » (2001) ; comités scientifiques du Laboratoire d’Informatique d’Avignon (mai 2001) et de l'’UMR 6599, HEUDIASYC CNRS-UTC (octobre 2002) ; expertises pour deux réseaux scientifiques canadiens : RCM2 (Réseau de Calcul et de Modélisation Mathématique) (2000) et MITACS (the Mathematical of Information Technology and Complex Systems) (2001). Il est membre du comité scientifique du L2TI (Laboratoire de Traitement et Transport de l'Information, EA 3043 de l'université Paris 13) qui s'est réuni en juillet 2003.
Sylvie SALOTTI a t membre nomme de la 27me section du Conseil National des Universits de dcembre 1999 octobre 2003.
Jacqueline VAUZEILLES est directrice du laboratoire depuis novembre 1997. Elle a été membre nommé du Conseil National des Universités de décembre 1999 à mai 2003, et est membre élu depuis octobre 2003. Elle a été, de septembre 1999 à décembre 2002, Vice-Présidente du Conseil Scientifique de l’Université Paris 13 et, à ce titre, membre invité permanent du Conseil d’Administration, membre du Bureau des Relations Internationales, du Conseil de la Valorisation de la Recherche, de la commission des moyens de l’université. Elle est membre du Conseil Scientifique de l’Université, de la sous-commission chargée des équivalences (mars 1998-décembre 2002), du Conseil Scientifique de l’Institut Galilée et du Conseil de l’Ecole Doctorale de celui-ci depuis novembre 1997. Elle a été “expert étranger“ pour le Ministère des Universités et de la Recherche Italienne, pour l’évaluation de projets d’intérêt national (juin 2000 et mai 2002), et est “expert étranger permanent“ pour ce ministère depuis avril 2003. Elle a été membre du jury d’audition pour le recrutement des chargés de recherche de 2ème classe de l’INRIA-Lorraine en mai 2003.