Nature du Poste: Professeur des universités
N° section CNU : 27

Profil succinct : 
Le candidat devra participer à des enseignements de type généraliste en informatique. Les besoins en enseignement d'informatique sont variés au sein de l'INSA Centre Val de Loire. Des compétences en sécurité seront appréciées. Aussi, il est attendu que l’enseignant chercheur recruté prenne des responsabilités au sein de l’équipe pédagogique ou plus généralement au sein de l’institut.
La personne recrutée s'intégrera dans le Laboratoire d’Informatique Fondamentale d’Orléans (LIFO, UR 4022), un laboratoire qui mène une recherche à la fois théorique et appliquée ayant de nombreuses collaborations.
Date de recrutement : 01/09/2025  

LIEUX D’EXERCICE :

• Composante de rattachement : INSA Centre Val de Loire
• Lieu où s’exerce principalement le service d’enseignement : Bourges
• Laboratoire de rattachement : LIFO
• Département d’affectation : STI

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.