Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > LIFO seminars (french)

Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



LIFO seminars (french)


Accès par année : 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

Sauf exception, les séminaires se déroulent le lundi de 14h à 15h, Salle de réunion 1, bâtiment IIIA (voir plan du campus).


03/03/2025 : Stratégies gagnantes pour deux jeux asymétriques dans les graphes
Caroline Brosse (LIFO) Résumé

27/01/2025 : Eclat : un langage synchrone pour la programmation sûre, expressive et efficace de circuits FPGA
Loïc Sylvestre (Sorbonne Université, LIP6) Résumé

16/01/2025 : Bridging Resilient, Accountable, Intelligent Networked Systems
Oshani Seneviratne (Rensselaer Polytechnic Institute (Troy, NY)) Résumé
Attention : Débute à 16 h. Lieu : online

13/01/2025 : Des motifs à leur exploration : comment prendre en compte l'intérêt d'une experte ?
Etienne Lehembre (LIFO - Université d'Orléans) Résumé

Résumés des séminaires


Stratégies gagnantes pour deux jeux asymétriques dans les graphes Caroline Brosse, LIFO
On se place dans un graphe fini. Deux adversaires, Alice et Bob, prennent tour à tour le contrôle d'un sommet en respectant une règle simple. Le jeu s'arrête lorsque plus aucun nouveau sommet ne peut être contrôlé, soit parce qu'il ne reste plus de sommets libres, soit parce que la règle ne serait plus respectée. Il existe plusieurs variantes pour les conditions de victoire ; dans tous les cas, les hypothèses que nous faisons permettent d'invoquer le célèbre théorème de Zermelo - von Neumann : Alice ou Bob a une stratégie gagnante. Mais qui d'Alice ou de Bob peut s'assurer la victoire ? Très souvent, cette question pose en fait un problème PSPACE-complet. C'est le cas pour les deux jeux dont je parlerai dans cet exposé. Cette difficulté invite à se restreindre à des variantes de règles plus contraignantes ou à des classes de graphes plus structurées. J'exposerai des stratégies gagnantes pour Alice, découvertes en 2024 avec Nicolas Martins, Nicolas Nisse et Rudini Sampaio, pour le jeu de convexité asymétrique et pour le jeu de coloration dans les grilles finies.


Eclat : un langage synchrone pour la programmation sûre, expressive et efficace de circuits FPGA Loïc Sylvestre, Sorbonne Université, LIP6
Cet exposé portera sur la conception et l’implantation d’applications embarquées réactives et de calcul intensif sur du matériel reconfigurable FPGA (Field Programmable Gate Array). Il présentera Eclat : un langage de programmation parallèle généraliste (inspiré d’OCaml) avec un sémantique synchrone dérivée de l’horloge physique du FPGA cible. Eclat permet de programmer (et composer) à la fois des calculs orientés flot de contrôle et des interactions orientées flot de données. Le modèle de calcul proposé est suffisamment précis et expressif pour développer des abstractions de programmation de haut niveau (telles que des squelettes algorithmiques et des machines virtuelles) avec des performances prédictibles. Cela vise à répondre aux besoins d’efficacité et aux contraintes de sûreté des applications matérielles, notamment temps réel. Eclat se veut accessible aux programmeuses et programmeurs de logiciel ; il est d'ailleurs utilisé comme langage support dans un cours de compilation.


Bridging Resilient, Accountable, Intelligent Networked Systems Oshani Seneviratne, Rensselaer Polytechnic Institute (Troy, NY)
Lien visio : https://inria.webex.com/meet/nicolas.anciaux The rapid evolution of decentralized systems, from the early days of the Web to the transformative advancements in artificial intelligence, blockchain technologies, knowledge graphs, and the Internet of Things, offers unprecedented opportunities to revolutionize data sharing, collaboration, and decision-making. This talk highlights key innovations in developing privacy-preserving data-sharing infrastructures and end-to-end knowledge representation systems that ensure transparency and incentivize participation in decentralized ecosystems. We explore advancements in vertical and hybrid federated learning, which enable secure and collaborative data analysis, as well as the implementation of credit allocation and incentive mechanisms to encourage widespread adoption. To ensure the integrity of these systems, we examine cutting-edge approaches to fraud and misuse detection in decentralized networks. The talk also introduces emerging research on integrating foundation models with decentralized technologies, including federated foundation models, data distillation techniques for large tabular datasets, and large transaction models, illustrating how these innovations enhance the efficiency, scalability, and accountability of decentralized systems. If you want a short bio, please check out my website: https://oshani.info or my faculty profile: http://faculty.rpi.edu/oshani-seneviratne.


Des motifs à leur exploration : comment prendre en compte l'intérêt d'une experte ? Etienne Lehembre, LIFO - Université d'Orléans
Mes travaux de thèse aborde le rôle d'une experte dans l'évaluation de l'intérêt des motifs structurés ainsi que la caractérisation d’éléments remarquables dans un ensemble de motifs dans le cadre de la chémoinformatique. La première concerne l'extraction de motifs dont les caractéristiques sont jugées surprenantes vis-à-vis d’un ensemble de motifs étudiés et de leur jeu de données. Ainsi, les motifs obtenus constituent pour l'experte des points d'entrée pour le début d’une analyse comparative mettant en relief les motifs et leur qualité afin de faire ressortir leur pertinence locale. Nous définissons un motif comme remarquable si sa qualité diverge suffisamment de son voisinage. En chémoinformatique, les motifs sélectionnés constituent un ensemble de motifs dont les fonctions biologiques s'avèrent surprenantes pour les expertes. La seconde partie présente une méthode d'exploration interactive nommée WaveLSea (Wave top-k random-d Lineage Search) dont la particularité est qu'elle ne nécessite pas la déclaration de descripteurs sur les données explorées. Pour un ensemble de motifs donné, cette méthode a pour but d’orienter une experte dans son exploration de manière itérative. La troisième partie aborde une amélioration des méthodes d'évaluation des algorithmes de fouille interactive. Cette amélioration se fait à travers l'introduction d'erreurs contrôlées permettant d'évaluer la robustesse de ces algorithmes. Ainsi, les algorithmes de fouille interactive ne sont plus évalués avec des oracles ne commettant jamais d'erreurs, mais avec des devins dont le comportement se rapproche de celui d'un humain.