Rapport scientifique du LIFL Laboratoire d'Informatique Fondamentale de Lille

R. Olejnik

Description

Niveau: Supérieur
Rapport scientifique du LIFL Laboratoire d'Informatique Fondamentale de Lille UPRESA CNRS 8022 Juin 1999 UNIVERSITE DES SCIENCES ET TECHNOLOGIES DE LILLE LIFL - UPRESA CNRS 8022 - Bât. M.3 - UFR IEEA – 59655 VILLENEUVE D'ASCQ CEDEX Tél. : Fax:

• structures des axes et des equipes de recherches


• équipe opac


• axe scope


• composition du conseil scientifique


• directeur

Sujets

• Petitot
• Olejnik
• Laboratoire d'Informatique Fondamentale de Lille
• Boulet
• De Keyser
• Mathieu
• Ad-Din

Informations

• Publié par: profil-nechor-2012
• Publié le: 01 juin 1999
• Nombre de lectures: 64
• Langue: Français

Extrait

Rapport scientifique du LIFL
UPRESA CNRS 8022
UNIVERSITE DES SCIENCES ET TECHNOLOGIES DE LILLE
LIFL - UPRESA CNRS 8022 - Bât. M.3 - UFR IEEA –
: 0 3 20 43 44 92 Fax : [phone]
[e-mail]
Tél.
59655 VILLENEUVE D’ASCQ CEDEX
Juin 1999
Laboratoire d’Informatique Fondamentale de Lille'I
2
http://www.lifl.fr/
ILLE L ONDAMENTALE DE F NFORMATIQUE ABORATOIRE D LLIFL UPRESA CNRS 8022
:
:
3
El Ghazali Talbi, Responsable de l'axe SCOPE
Michel Petitot, Responsable de l'axe CBS
axe CIM Jean-Marc Geib, Responsable de l'
Bernard Toursel, Membres
Philippe Devienne Responsable
Composition du conseil scientifique
Jean-Stéphane Varré, Jean-Philippe Vandeborre
Collège des doctorants
Gilles Carin, Annie Dancoisne
Collège des ingénieurs techniciens administratifs
Tison. Sophie
Eddine Oussous, Michel Petitot, Christophe Gransart, Philippe Mathieu, Nour
Christophe Chaillou, Max Dauchet, Pierre Boulet, Philippe Devienne, Jean-Marc Geib,
Collège des chercheurs et enseignants-chercheurs
Bernard Toursel Directeur:
Composition du conseil de laboratoire
IEEA (Informatique, Electronique, Electrotechnique et Informatique)
: Jean-Pierre Steen Directeur de l’UFR IEEA
: Christophe Chaillou Président de la CSE Informatique (27)
Responsable du DEA Informatique : Jean-Luc Dekeyser
Responsable Communication : Richard Olejnik
Responsable équipe technique : Samuel Degrande
: Bénédicte Fievet Bibliothécaire et secrétaire DEA
: Annie Kaczmarek Secrétaire
: Michèle Driessens Secrétaire de direction
: Philippe Devienne Directeur adjoint
: Bernard Toursel Directeur
RAPPORT SCIENTIFIQUE DU LIFL'I
Table des matières
................................ ................................ .......
................................ ...........................
page 19
................................ ................................ .............................
................................ ................................ ..........................
................................ ...........................
................................ .............................
................................ ...................
................................ ................................ ................................ .......
................................ ..............
................................ ......................
page 49
................................ ................................ ................................ ...........
................................ ................................ ................................ .........
................................ ................................ ................................ ...
................................ ................................ ................................ .........
page 71
................................ ................................ ................................ ............
................................ ................................ ................................ .......
................................ ................................ ................................ ..........
................................ ................................ ................................ ........
................................ ................................ ................................ .......
page 95
................
................................ ................................ ............................
................................ ................................ ........
6796429175179876145911032321334177510727835737
Résumés des thèses et habilitations
Habilitations et thèses
Listes permanents, doctorants, chercheurs invités et personnel technique
Annexes,
Équipe Grappa
Équipe Associée (de Lille III)
Équipe SMAC
Équipe RD2P
Équipe Graphix
Équipe Goal
Axe CIM,
Équipe WEST
Équipe PALOMA
Équipe OPAC
Équipe MAP
Axe SCOPE,
Équipe Complexité, Algorithme et Applications
ates et Langages, Semi-commutations Équipe Autom
Équipe GNOM
Équipe Programmation Logique avec Contraintes
Projets 97-99
Équipe Logique, Automates et Contraintes
Équipe Spécifications, Test et Certifications
Équipe Bioinformatique
Équipe Calcul Formel
Projets en cours
Axe CBS,
Structures des Axes et des Equipes de Recherches
Présentation du laboratoire et de ses projets
ILLE L ONDAMENTALE DE F NFORMATIQUE ABORATOIRE D L page 127
................................ ................................ ................................ .........
................................ ................................ .....................
................................ .................
................................ ................................ ...............................
................................ ................................ ................................ ..
................................ ................................ ................................ ....
................................ ................................ .............................
................................ ................................ ...............................
................................ ................................ ................................ .......
................................ ................................ ................................ ......
................................ ................................ ................................ ....
................................ ................................ ..............................
................................ ..............
RD2P ................................ ................................ ................................ .....
................................ ................................ ................................ ...
WEST ................................ ................................ ................................ ....
1301321291431501281311411341491461391485137151138
Équipe
SMAC Équipe
Équipe
Programmation Logique avec Contraintes Équipe
PALOMA Équipe
OPAC Équipe
MAP Équipe
LAC Équipe
GRAPPA Équipe
GRAPHIX Équipe
GOAL Équipe
GNOM Équipe
CALFOR Équipe
Complexité, Algorithme et Applications Équipe
Bioinformatique Équipe
AL Équipe
Liste classée des publications,
RAPPORT SCIENTIFIQUE DU LIFLFaculté des Sciences de Lille en 1961. L'appellation actuelle, Laboratoire d'Informatique
au CNRS, l’ERA 771 "Architectures et Systèmes" d'une part, la Jeune Equipe "Informatique
cours a été renouvelée en 1997 (UPRESA 8022) pour quatre années et le présent rapport d'activité
§




§
§
§
Le Conseil de Laboratoire a été renouvelé en Décembre 1998 (cf liste des membres en page 3) et
Philippe Devienne, a été nommé Directeur-adjoint en remplacement de Jean-Paul Delahaye.
responsabilité de Philippe Devienne et constitué des coordonnateurs des axes, du Directeur et du
prospective sur la politique scientifique du Laboratoire et d’être une source de propositions au
Conseil de Laboratoire. Son rôle a été prépondérant au cours du premier semestre 1999 sur la
Depuis plusieurs années, le laboratoire est organisé selon trois axes. Depuis le début de 1999, ces
trois axes sont
et Mobilité) et SCOPE (Simulation, Calcul, Optimisation Parallèles et Environnements distribués –
ex axe PARDIS). Le rôle de ces axes comme espaces de coopération, comme unités de réflexion
pour les moyens ou pour la politique scientifique de l’unité a tendance à s’accroître. Leur existence
n’interdit évidemment pas les échanges et le travail en commun entre tous les acteurs qui les
Chacun des axes a un fonctionnement en équipes de recherche et s’appuie sur la mise en commun
L’axe CBS (Calcul formel, Bioinformatique et Spécifications), rassemble près de 38 personnes
(dont 17 permanents à Lille-1). L’axe CALC (Calcul formel, Automates, langages et
Complexité) a fait l’objet d’une recomposition en quatre équipes depuis janvier 1999 a pris
7
et
-
des moyens techniques et administratifs de l’unité (11 ITA et IATOS).
composent.
: CBS (Calcul formel,Bio-Informatiqueet Spécifications), CIM (Coopération, Image
définition des orientations scientifiques, le fonctionnement interne et la politique de recrutement.
Directeur-adjoint. La fonction de ce Conseil Scientifique est de mener une mission de reflexion et de
Conseil de Laboratoire a mis en place en Janvier 1999, un Conseil Scientifique de l’unité, sous la Le
La structure du Laboratoire
Une production scientifique importante
De