Icon lifo

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

26/02/2025

Bonjour à tous, Le LIFO propose 2 postes de maître ou maîtresse de conférences en informatique. L’intégration recherche est - respectivement - dans l’équipe : - Contraintes et Apprentissage : intelligence artificielle, apprentissage automatique et apprentissage profond, avec un focus sur l’explicabilité des modèles, l’apprentissage sous contraintes et les modèles de langage. - Langages, Modèles et Vérification : Vérification et Sémantiques pour la Programmation Réactive. Les enseignements sont au @[Département informatique \| Université d'Orléans](urn:li:organization:80069707) de l’@[UFR Sciences & Techniques - Orléans](urn:li:organization:88658026). N’hésitez pas à nous contacter pour plus de détails, et à partager l’information avec vos contacts !

Image par défaut
Actualité

13/06/2025

Journée du LIFO 2025

Programme

Local:  Amphithéâtre IRD

09 :00 - 09 :20   Accueil 

09 :20 - 09 :30   Introduction/Programme de la journée 

09 :30 - 10 :15   Séminaire 1 (35 +10) : Nicolas Anciaux (DR INRIA Saclay, SDS-PETSCRAFT, LIFO): Attaques d’inférence d’appartenance sur les LLM : un benchmarking biaisé par nature

Résumé: Les attaques d’inférence d’appartenance (MIA) cherchent à détecter si un document a été utilisé pour entraîner un modèle de langage. Mais leur évaluation est faussée par des biais structurels, comme les décalages temporels ou les similarités lexicales. Nous proposons une méthode de génération de jeux de données « non-biaisés » pour une évaluation plus juste.

10 :15 - 10 :30   Pause 

10 :30 - 10 :50   Présentation flash APRI (ED MIPTIS) 

10 :50 - 11 :35   Séminaire 2  (35 +10) :  Céline Rouveirol (PR LIPN CNRS UMR 7030, Paris 13) : Apprentissage relationnel et explications,  promesses, point d'étape et défis. 


Résumé: Les explications et l'apprentissage automatique  donnent lieu à de nombreux travaux récents. Après une brève introduction sur les approches, notamment formelles, d'explications de l'apprentissage supervisé en logique propositionnelle, je parlerai dans cet exposé de travaux récents qui adaptent les approches formelles de l'explication à l'apprentissage relationnel supervisé (Programmation Logique Inductive). Nous présenterons de premiers résultats et les nombreux développements possibles de ces travaux, qui ont été réalisés dans le cadre de la thèse de Malik Kazi Aoual, chez Nukkai.     

11 :35 - 11 :45   Annonces et clôture de la matinée

Local: Hall Bât 3IA

11: 45 - 14 :00   Déjeuner (buffet)  + session posters (12 :45 -14 :00) 

Locaux: différentes salles

14 :00 - 15 :10   Atelier projet : avec des interventions de Frédéric Loulergue, Benjamin Nguyen et Guillaume Cleuziou (IRD)

15 :15 - 16 :40   Ateliers Avenir LIFO (3 salles) : discussions par pôle de recherche

  • Cybersécurité (SR1), animé par B. Nguyen

  • IA & Sciences des données (IRD), animé par B. Dao

  • Algorithms & Modélisation (SR3), animé par I. Todinca

16 :45 - 17 :30   Restitution des ateliers (15 minutes/atelier), discussions/questions  et clôture de la journée  (IRD)

17:30 - 17:50 - Discussions générales et clôture (IRD)

 

Journéee LIFO 2025
Actualité

11/06/2025 - 12/06/2025

Séminaire CA 2025

Mercredi 11 juin 

  • 8h30 - 9h  Café d'accueil

  • 9h - 9h45  Matthieu

    • Les travaux VP Numérique

  • 10h15 - 10h45  Ousmane, Syphax, Christel 

    • Travaux dans le cadre du projet Involvd

  • 10h45 - 11h15  Mohamed, Bich 

    • Travaux dans le cadre du projet Optimedias pour la santé

  • 11h15 - 11h30  Pause

  • 11h - 12h15 Pratik

    • Tutorial Reinforcement Learning 

  • 12h15 - 14h Déjeuner

  • 14h00 - 15h Etienne 

    • Prédiction sur les nappes phréatiques : utilisation d'équations physiques et variables non observables

  • 15h00 - 15h30  Trung Anh 

    • L'apprentissage continu avec prompts

  • 15h30 - 15h45  Pause

  • 15h45 - 17h45  Bich et l'équipe vietnamienne

    • Atelier: langue et culture vietnamienne

  • 19h - Restaurant : Flamme Viet - 158 Rue de Bourgogne, Centre ville, Orléans

Jeudi 12 juin

  • 8h30 - 9h  Café d'accueil

  • 9h - 10h Thibaut, Guillaume

    • Apprentissage de représentations de programmes sous contraintes utilisateur   

  • 10h - 10h30  Yousif

    • Query by example for spoken languages

  • 10h30 - 10h45  Pause

  • 10h45 - 11h15  Aymeric 

    • Mesurer l'adéquation d'une contrainte à un modèle pour le calcul d'ensembles de correction minimaux

  • 11h15 - 12h15 Duy Dao

    • Signal-aware Attention for Temporal Relation Extraction

  • 12h15 - 14h Déjeuner

  • 14h00 - 15h Hai Yen

    • PU learning with knowledge

  • 15h - 15h30  Guillaume

    • Présentation du projet DescolIA

  • 15h30 - 17h Équipe CA permanents : discussion projet et animation d’équipe

Participants

  1. Thi Hai Yen VU

  2. Anaïs Halftermeyer

  3. Etienne Lehembre

  4. Christel Vrain

  5. Duy Dao DO

  6. Trung Anh DANG

  7. Bich Dao

  8. Guillaume Cleuziou

  9. Thibaut Martinet

  10. Mathieu Exbrayat

  11. Yousif Elias

  12. Syphax Fennouch

  13. Ousmane Dramé

  14. Mohamed Boussad

  15. Marcílio de Souto

  16. Vincent Nguyen

  17. Aymeric Beauchamp 

  18. Mathieu Guilbert

  19. Franck Anaël Mbiaya

  20. Chris Mathevet

  21. Nedra Amara

  22. Pratik Gajane

  23. Phuong Pham 

Image séminaire