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.

Date : Mercredi 15 octobre 2025 à 14h00

Lieu : Amphi Herbrand  - Bâtiment 3IA

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

Date : Jeudi 9 octobre 2025 à 14h00

Lieu : Thalès Research & Technology : salle Auditorium

Titre : Vérification formelle de couches de confiance dans les logiciels : application à la TPM Software Stack

Une assemblée générale de rentrée a été organisée par le LIFO à l'amphi IRD, lundi 29 septembre 2025 à 14h , avec l'ordre du jour suivant : 

• Nouvelles concernant les membres LIFO
  • Accueil des nouveaux membres
  • VOTE sur la liste de membres
• Budget
• Campagne d’emploi 2026
• Préparation de la visite du comité scientifique/organisation autour de trois pôles de recherche
• Nouveaux sites web (page LIFO, intranet LIFO, administration LIFO)
• Informations diverses
• Questions diverses

Date : Lundi 29 septembre 2025 à 9h

Lieu : Salle des thèses - Bâtiment des Sciences & Techniques

Titre : Clustering sous contraintes : intégration incrémentale et active des retours utilisateur

Date : Vendredi 12 septembre 2025 à 9h

Lieu : Amphithéâtre IRD, 5 rue du Carbone, 45100 Orléans

Titre : Intégration de connaissances dans des architectures profondes pour la classification d'images

Une école d'été a été organisée par le LIFO du 30/06/2025 au 04/07/2025 à Nouan-le-Fuzelier.

Durant cette école, trois cours ont été proposés :

• Complexité paramétrée et noyaux, par Eunjung Kim et Stefan Kratsch
• Informatique quantique appliquée aux graphes, par Frédéric Magniez
• Graphes et polynômes, par Stéphan Thomassé

Les cours ont été donnés en anglais.

Similarité de données complexes et massives.

Ce colloque se veut le point de départ de la structuration d'une communauté de recherche pluridisciplinaire travaillant sur l'analyse de données par des études de similarités de gros volumes de données complexes. Il vise à rassembler des chercheurs intéressés par les verrous scientifiques soulevés par ces approches.