Aller au contenu principal
Accueil
Logo de l'université d'Orléans Logo de l'INSA Centre Val de Loire
×
Main navigation
  • Actualités
    • Toutes les actualités
    • Derniers posts sur LinkedIn
    • Séminaires
    • Fermetures institutionnelles
  • Présentation
    • Le laboratoire
    • Membres
    • Effectif
    • Organigramme
    • Venir au LIFO
    • Intranet
  • Recherche
    • Équipes de recherche
    • Projets
    • Actions de recherche / GT / Réseaux
    • Fédération ICVL
    • Plateforme régionale
  • Publications
    • Thèses du LIFO
    • HDR du LIFO
    • Logiciels
    • Archives ouvertes (HAL)
  • Formation
    • Implication du LIFO dans les formations
    • Doctorat
      • Le Guide du Doctorat
      • École doctorale
  • Offres d'emploi
...

Laboratoire d'Informatique Fondamentale d'Orléans

UR 4022 - Université d'Orléans - INSA Centre-Val-de-Loire

...

Laboratoire d'Informatique Fondamentale d'Orléans

UR 4022 - Université d'Orléans - INSA Centre-Val-de-Loire

...

Laboratoire d'Informatique Fondamentale d'Orléans

UR 4022 - Université d'Orléans - INSA Centre-Val-de-Loire

Fil d'Ariane

Icon lifo

LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

23/10/2025

Logo LinkedIn

Congratulations !

Image par défaut
Événement

23/10/2025 - 24/10/2025

JIRC 2025

Les Journées Informatiques en Région Centre-Val de Loire ont lieu cette année à Blois le 23 et 24 octobre 2025.
Voir plus de détails le site web de l'événement.

Image fédération ICVL
Soutenance

15/10/2025

Soutenance de thèse de Jordan Ischard

Date : Mercredi 15 octobre 2025 à 14h00

Lieu : Amphi Herbrand  - Bâtiment 3IA

Titre : Sémantique de langages de programmation fonctionnels réactifs avec effets

Image thèse

Agenda

17 novembre


Séminaire de Meven Lennon-Bertrand


Méta-théorie mécanisée pour un assistant à la preuve vérifié --- Formalised meta-theory for a certified proof assistant kernel


24 novembre


Séminaire de Arnold HIEN


TBA (Arnold Hien)


Voir les actualités
Actualités
  • Toutes les actualités
  • Derniers posts sur LinkedIn
  • Séminaires
  • Fermetures institutionnelles
Présentation
  • Le laboratoire
  • Membres
  • Effectif
  • Organigramme
  • Venir au LIFO
  • Intranet
Recherche
  • Équipes de recherche
  • Projets
  • Actions de recherche / GT / Réseaux
  • Fédération ICVL
  • Plateforme régionale
Publications
  • Thèses du LIFO
  • HDR du LIFO
  • Logiciels
  • Archives ouvertes (HAL)
Formation
  • Implication du LIFO dans les formations
  • Doctorat
Offres d'emploi

Carte

Carte régionale

Informations

contact.lifo[at]listes.univ-orleans.fr

+33 (0)2 38 41 99 29


LIFO - Bâtiment IIIA
6, rue Léonard de Vinci
B.P. 6749
45067 Orléans Cedex 2 - France

Université d'Orléans
INSA CVL

© 2025 LIFO. All rights reserved. | Mentions légales