Les actualités du LIFO

Soutenance

23/10/2024

Soutenance HDR de Frédéric Dabrowski (5-11-24)

Titre :
Méthodes formelles pour la synchronisation des programmes concurrents et parallèles

Résumé :

Les travaux présentés portent sur l’application des méthodes formelles à la sémantique des langages de programmation concurrente et parallèle. Il s’agit de manière générale de s’assurer que les programmes ont une sémantique bien définie et de vérifier, à priori, qu’ils ne provoqueront pas d’erreur à l’exécution. Dans ce contexte, la bonne synchronisation des différents composants d’un programme est un point essentiel. Nous verrons comment les méthodes formelles peuvent, pour différents types de modèle de programmation concurrente et parallèle, permettre d’atteindre cet objectif. Pour une grande partie des travaux présentés, l’utilisation de l’assistant de preuve Coq permet de renforcer la confiance dans les résultats qui reposent sur des développements mathématiques entièrement vérifiés par ordinateur. Les domaines d’application sont la détection d’erreur de synchronisation pour le langage Java, la formalisation de la notion de bonne synchronisation pour un langage parallèle à base de sections atomiques supportant le parallélisme imbriqué et la vérification de propriétés de bonne formation pour des programmes utilisant la librairie de programmation parallèle BSPlib.

Image thèse
Conférence

21/10/2024 - 24/10/2024

BDA'2024 à Dupanloup

 Les 40èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications » se dérouleront cette année à Orléans du 21 au 24 octobre 2024, au Centre International Universitaire pour la Recherche (Hôtel Dupanloup), en  plein centre ville.

La conférence BDA est un événement annuel incontournable de la communauté gestion de données en France, qui met en exergue les nombreux thèmes de recherche liés à la gestion de données tels que les entrepôts de données, le big-data, la gestion de flux, la qualité, la sécurité, la théorie de bases de données, le web sémantique, la fouille, l’analyse ou encore la visualisation de données, etc.

A travers ces thèmes très nombreux et variés, BDA 2024 offre l'opportunité aux  académiques et industriels à se rencontrer dans un cadre accueillant afin de discuter des dernières innovations et travaux liés à ce domaine de recherche, ainsi que de confronter leurs méthodes et applications.

BDA 2024 invite donc académiques et industriels à soumettre et présenter leurs travaux récents pour rendre compte des avancées scientifiques et industrielles dans ce domaine dont le dynamisme est reconnu année après année.

bda
Événement

19/06/2024

Journée du LIFO 2024

  • MATIN: 
    CIOM 2024 – rencontre de la direction LIFO avec la gouvernance UO (et répresentant INSA)
  • PROGRAMME 19 JUIN APRES-MIDI AU LIFO (SALLE SR1):
    • 14h 05min: Ouverture (direction LIFO)
    • 14h 15min: La bibliothèque physique du LIFO (bilan et questions) - Nathalie Aguirre (BU)
    • 14h 45min: Science Ouverte (HAL, Atelier de la donnée CVL (Centre Val de Loire),
      Nouvelle version de thèses.fr )- Pascale Solon (BU)
    • 15h 30min: Ressources électroniques (APC, ressources numériques en informatique,
      projet de Libguides, e-books) - David Johanny (BU)
    • 16h 15min: HAL et Licence logiciel - Matthieu Sammut (SPCGC)
    • 17h  Clôture suivi d’une réunion conviviale
Image LIFO