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

Utiles

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

Recherche

Equipe Calcul Formel

Calcul Formel

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

Membres (8)

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

* _{R: Responsable}

Agenda

• 13 - 14 déc. 2012

  GTGC 2012

• 14 déc. 2012

  ENS Cachan

• 14 déc. 2012

  workshop

• 20 déc. 2012

  Colloquium Polaris : 11ème édition

• 20 déc. 2012

  Conseil lifl-lagis

• 11 janv. 2013

  Conseil - LIFL

• 17 janv. 2013

  Colloquium Polaris : 12ème édition

Soutenances

• 13 déc. 2012

  Geoffroy Cogniaux

Ours

• 
• 
• 
• 

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

Page respectant XHTML et CSS.