Ent?te

• 
• 

1. Recherche

Navigation

Accueil

• Accueil
• Présentation
  • Environnement
    • Structure fonctionnelle
    • Tutelles
    • Partenaires
  • Rapports d'activités
• Recherche
  • Thèmes
  • Actions transversales
  • Plates-formes
  • Équipes
    • ADAM
    • bioComputing
    • Bonsai
    • Calcul Formel
    • COCOA
    • DaRT
    • Dolphin
    • Fox-Miire
    • MAP
    • mint
    • MOSTRARE
    • NOCE
    • 2XS
    • RMoD
    • SequeL
    • Shacra
    • SMAC
• Formation doctorale
  • Le doctorat
    • Thèses en cours
    • Thèses soutenues
    • Sujets proposés
    • Accompagnement
  • HDR
  • Masters
• Publications
  • Rapports d'activité
• Actualités
  • Manifestations
    • Colloquium Polaris
    • Seminaires
    • Colloques
  • Soutenances
    • Thèses
    • HDR
  • Autres
• Recrutement
  • Enseignants-chercheurs
  • Contractuels

Utiles

• Calendrier détaillé
• Contact, Accès
• Annuaire
• Flux RSS

Recherche

Equipe Calcul Formel

Calcul Formel

Présentation / Membres / Thèses / Publications HAL

Membres (11)

Permanents (7)	Non permanents (4)
Professeurs : François Boulier [R*] Nour-Eddine Oussous Michel Petitot Maîtres de Conférences : Charles Bouillaguet François Lemaire Adrien Poteaux Alexandre Sedoglavic	Doctorants : Alexandre Temperville Autres (contractuels ingénieurs, stagiaires, etc.) : Ainhoa Aparicio Monforte (ATER) Ainhoa Aparicio-monforte (ATER) Laurent Grémy (Master Recherche (DEA))

* _{R: Responsable}

Agenda

• 16 mai 2013

  Colloquium Polaris : 16ème édition

• 20 juin 2013

  Colloquium Polaris : 17ème édition

• 1 - 5 juil. 2013

  Plate-forme de l'Intelligence Artificielle

Ours

• 
• 
• 
• 

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster