Laboratoire LIX

Présentation . Organisation . Membres . Contact . . Liens Utiles . Equipes . Publications . Proposition de Thèse . Proposition de Stage . Flash Info . Séminaire . Soutenances de Thèse . Colloques . Distinctions . Intranet . Webmail . Webmaster . Modèles Combinatoires .

Site officiel du Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA) de PARIS 7 (Université Denis Diderot)

English Version . Version Française . Equipes de Recherche . Algorithmique et Combinatoire . Automates et Applications . Modélisation et Vérification . Organigramme . Annuaire . Invités . Mot du Directeur . . Posters (2004) . Outils Développés au LIAFA . . Postes 2005 . Liens Utiles . . Thème SED . Projet GAMES .

LACO - Équipe Arithmétique, Cryptographie, Codage

. . . . . . . . . . . . . . . . . . .

Laboratoire des Sciences de l'Images, de l'Informatique et de la Télédétection

Accueil . Personnel . Evénements . Séminaires . Thèses &Hdr . Localisation . . Informatique Géométrique et Graphique . Apprentissage et Fouille de Données . Réalité Virtuelle et Augmentée, Simulation et Calcul Intensif . . . . . . . . . .

Laboratoire Preuves Programmes et Systèmes (PPS)

Présentation . Séminaire . Groupes de Travail . Annonces . Membres . Visiteurs . Publications . Intranet . Jean-Louis Krivine . Anne-Gwenn Bosser . Delia Kesner . Stéphane Lengrand . . . . . . . .

Site web du Loria - Actualités

Actualités . Recrutement . Logiciels . E-Thèque . Archives . |Chercheurs| . Rechercher . Plan du Site . Accès . . . Accueil . Présentation . Recherche . Formation . Transfert . Rel. Internationales . Extension LORIA . Connexion Intranet .

LaBRI Laboratoire Bordelais de Recherche en Informatique

Présentation . Organigrammes . Effectifs . Annuaires . Equipes . Projets . Groupes de Travail . Publications . Labri Transfert . France . Europe . Monde . Doctorats . Département Info. . Remerciements . Le Mot du Directeur . . . .

Laboratoire d'Informatique Fondamentale de Lille

Johan Brichau . Annuaire . Contact . . Plan du Site . Présentation Générale . Les Équipes . Les Formations Doctorales . Recrutement . Événements . Intranet . . . . . . . . .

Laboratoire Valoria, Université de Bretagne Sud

Membres . Publications . . Pour Nous Trouver . Architecture du Logiciel . ALCC . ARCHLOG . SE . Intergiciels . CASA . Interaction & Intelligence . APRIM . RIMH . SAMSARA . Master Recherche IHM . Master Recherche Informatique . EWMT 2005 . GW 2005 . Sites Hébergés au Valoria .

Le L3I

. . . . . . . . . . . . . . . . . . .

Le LISI est un laboratoire de recherche en informatique inter-établissements (insa de Lyon-Université Lyon1) spécialisé dans les systèmes d'information

. . . . . . . . . . . . . . . . . . .

Laboratoire de Recherche en Informatique

Coordonnées du Laboratoire . . . . . Organigramme . Annuaire des Membres du LRI . Conseil de Laboratoire . Commission de Spécialistes 27eme Section de Paris Sud . Séminaires . Thèses et Habilitations . Événements Extraordinaires . Théorie des Graphes et Fondements des Communications . Algorithmique et Complexité . Programmation - Génie Logiciel . Bases de Données . Démonstration et Programmation . Architectures Parallèles . Parallélisme .