N° de section CNU : 27
Numéro du poste : 27MCF0499
Référence Odyssée : 251277
Profil succinct : Pour la recherche, le poste est ouvert aux candidats ou candidates proposant une intégration à l’équipe CA du LIFO (Laboratoire d’Informatique Fondamentale d’Orléans). Enseignement en informatique.
Article de recrutement : 26 .l.1
Date de publication : 3 mars 2025
Quotité de travail : 100 %
Niveau d’études demandé : Doctorat
Nombre de postes ouverts : 1
Domaine de recherche Euraxess : Computer Sciences
Mots clés Odyssée : informatique - intelligence artificielle - apprentissage automatique
Date de recrutement : 01/09/2025

Ordre du jour de l'assemblée générale du LIFO :

1.  VOTE de la liste de  membres LIFO

   Nous vous prions de bien examiner la liste avant la réunion. Elle est organisée par équipe et peut être consultée en suivant le lien :

   https://www.univ-orleans.fr/lifo/intra/intranet/vie-lifo-departement-informatique/assemblee-generale-et-conseil-de-laboratoire-lifo/conseil-et-ag-2025/liste-de-membres-2025-a-voter-en-ag/view

    En cas d'absence, merci de donner votre procuration. 
   
   Les procurations doivent être envoyées par email à la direction du LIFO et à la personne qui prend la procuration, au plus tard le 10/février/ 2025  à 10h.  Une personne ne peut pas prendre plus de 2 procurations. Merci de faire l'email avec le sujet:  AG-procuration

2. Situation du budget et évolution nécessaire
3. Informations diverses 
4. Questions diverses

Date : Mercredi 8 janvier 2025 à 10h

Lieu :  Salle de Thèse - Bâtiment S - UFR ST

Titre : Information extraction from social networks through text/image representation learning. Application to natural disaster management

Date : vendredi 13 décembre 2024 à 14:00

Lieu : INSA Centre Val de Loire - 88 Bd Lahitolle - 18000 BOURGES - Amphithéâtre Sapphira

Titre : Méthodes d'évaluation des systèmes biométriques cardiaques

Date : lundi 9 décembre 2024 à 14:00

Lieu : INSA Centre Val de Loire - 88 Bd Lahitolle - 18000 BOURGES

Titre : Modèle d'évaluation des besoins et de prévision d'une aide à domicile, encadré d'un point de vue éthique

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.

 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.