• Accueil du LIFO
• Personnes (Annuaire)
• Équipes
• CA
• GAMoC
• LMV
• Pamda
• SDS
• Actions de Recherche
• Thèses en cours
• Séminaires et Evénements
• Séminaires
• Evénements au LIFO
• Evénements hors LIFO
• Publications et logiciels
• Publications
• Thèses et Habilitations
• Rapports de Recherche
• Logiciels
• Transfert de technologie

• Renseignements pratiques
• Organisation
• Accès
• Enseignement
• Pôle Informatique
• IUT Informatique
• INSA Centre-Val de Loire

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

Les Actions de Recherche du LIFO

Actions en cours

• ANR CoMeMoV : Modèles mémoires collaboratifs pour la vérification formelle
  
• ANR ForCoaLa : Formalisation de langages de configuration
  
• APR IA AcceptAlgo : Acceptabilité des algorithmes
  
• ASTRID Maturation VéDySec : Vérification Dynamique de propriétés de Sécurité
  
• DOING : Données Intelligentes
  
• INRIA-CAPPRIS : Collaborative Action on the Protection of Privacy in the Information Society
  
• Projet ROV-Chasseur : Apprentissage auto et semi-supervisé et modèles profonds efficaces déployés sur un ROV pour la détection et la classification des objets sous-marins
  

Actions terminées

• ANR HERELLES : Hétérogénéité des données - Hétérogénéité des méthodes : Un cadre collaboratif unifié pour l’analyse interactive de données temporelles (2021 - 2024)
  
• ANR InvolvD : Elicitation interactive de contraintes pour la fouille de données supervisée et semi-supervisée. (2021 - 2024)
  
• BQR SeSTeRce : Sémantiques des systèmes temporels et réactifs (2023 - 2024)
  
• AI.iO (Intelligence Artificielle à Orléans) : Apprentissage à partir de données hétérogènes et de connaissances du domaine. Applications en Géologie et Sciences de l’Environnement (2020 - 2023)
  
• ATHENA DeSSUF : A Methodology for the Design of a Safe, Secure and User-Friendly Reactive Programming Language for the Internet of Things (2022 - 2023)
  
• Projet ACHS : (programme coopération scientifique financée par l’ambassade de France au Vietnam) Détection d'anomalies dans les données de santé des capteurs du smartphone (2022 - 2023)
  
• RTR DIAMS : RTR Données, Intelligence Artificielle, Modélisation, Simulation (2019 - 2023)
  
• SENDUP : The SEmantic Network of Data: Utility and Privacy (2018 - 2023)
  
• REMIA : Projet Région REMIA (2020 - 2021)
  
• ANR PARSEME-FR : Analyse syntaxique et expressions polylexicales en français (2015 - 2020)
  
• IOT-CIA (2018 - 2020)
  
• ODIL : Outiller les données pour le développement des industries de la langue (2015 - 2019)
  
• RAVIOLI : Reconnaissance Automatique des Valeurs Injonctives à l’Oral, Langue en Interaction (2018 - 2019)
  
• FUI ATELYN : trAçabiliTE Longitudinale hYbride uNitaire (2015 - 2018)
  
• MAP : CAPES (Brésil) /COFECUB (France) MAP - Apprentissage automatique : une approche multi-stratégie (2015 - 2018)
  
• MASTODONS : écouverte et exploitation des connaissances pour l’aide à la décision en chimie thérapeutique (DECADE) (2017 - 2018)
  
• COST PARSEME : analyse syntaxique et expressions composées, vers une plus grande précision linguistique et une meilleure efficacité computationnelle en Traitement Automatique des Langues (2013 - 2017)
  
• GIRAFON : Grands graphes: interrogation, fouille et analyse (2015 - 2017)
  
• ARCADIA : Reconnaissance automatique de motifs pour l'analyse archéologiques de tessons céramiques (2014 - 2016)
  
• Centre de recherche en apprentissage automatique et analyse des données (2012 - 2016)
  
• SWANS : Analyse des masses de données en consomation d'énergie (2014 - 2016)
  
• ANR LYRICS : Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact (2012 - 2015)
  
• Apprentissage Automatique et Bioinformatique (2011 - 2015)
  
• DIASEMIE : Discrimination Automatique des Sens d’Emploi des Mots par l’Intonation. (2013 - 2015)
  
• GDR GPL : Groupe de travail FORWAL : Formalismes et Outils pour la Vérification et la Validation (2006 - 2015)
  
• Projet Européen Seed4C : Secured Embedded Element for Cloud (2012 - 2015)
  
• ANR EMC : Émergence dans les modèles de calcul (2010 - 2014)
  
• ANR ExaViz : Exa-scalable interactive visual analysis for life & materials sciences (2011 - 2014)
  
• ANR PaPDAS (et JST) : Parallel Program Development with Algorithmic Skeletons (2011 - 2014)
  
• FDTE : Fouille de données temporelles - Application à des données environnementales (2012 - 2014)
  
• PEPS TransSem : vers un transfert fondé sur une représentation sémantique pour la traduction automatique entre l'allemand et le français (2013 - 2014)
  
• ANR AGAPE : Algorithmes de graphes exacts et à paramètre fixe (2009 - 2013)
  
• HPIAF : Haute Performance en Intelligence Artificielle pour la Finance (2011 - 2013)
  
• INEX : Informatique en nuage : expérimentations (2011 - 2013)
  
• PEPS AMISC : Analyse et Modélisation des Interactions dans les Systèmes Complexes (2012 - 2013)
  
• ANR DEFIS CODEX : Efficiency, Dynamicity and Composition for XML: Models, Algorithms and Systems (2009 - 2012)
  
• CLEVER : Cloud-Based Latin America Environmental Virtual Observatory (2011 - 2012)
  
• ECOS-Conicyt : Programme franco-chilien sur la réalisation de graphes avec contraintes de degrés (2010 - 2012)
  
• SPEED : Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes (2010 - 2012)
  
• ANR GRAPHEM : Aide à l'expertise paléographique et à l'accès au contenu dans les écritures médiévales (2008 - 2011)
  
• eXTenGIS : Extensibilité de moyen de calcul pour les systèmes d'information géographique (2009 - 2011)
  
• GDR GPL : groupe de travail LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications (2006 - 2011)
  
• Modules Composés : Plate-forme pour la construction et la vérification de modules composés ( - 2011)
  
• PEPS GraphIQ : Informatique quantique et théorie des graphes : étude des états graphes (2010 - 2011)
  
• ANR DALIA : Transfert de données pour les applications interactives de grande taille (2006 - 2010)
  
• ANR FVnano : un laboratoire virtuel pour modéliser les systèmes moléculaires nanoscopiques en biologie et dans les matériaux (2008 - 2010)
  
• ANR SEC&SI : un système d’exploitation cloisonné et sécurisé pour l’internaute (2008 - 2010)
  
• CRoTAL : Conditional RandOm Fields for TAL (2008 - 2010)
  
• ANR CANAR : CANAR (2006 - 2009)
  
• ANR GD2GS : From genomic data to graph structure (2005 - 2008)
  
• ACI SATIN : Analyse de la Sécurité pour des Protocoles et Infrastructures de Confiance (2004 - 2007)
  
• CASCIMODOT : CAlcul SCIentifique et MODélisation Orléans et Tours (2004 - 2007)
  
• ESMERALDA : Une grille pour le calcul intensif et la réalité virtuelle ( - 2007)
  
• PROPAC : Programmation Parallèle Certifiée ( - 2007)
  
• VEHICULAIRE : Vérification Efficace de Haut-nIveau multi-proCesseur et modULAIRE ( - 2007)
  
• ACI BIOTIM : Exploitation de Gisements Texte-Image en Biodiversité (2003 - 2006)
  
• GDR ALP : Groupe de travail SLOVO : Sémantiques Logiques et Opérationnelles, Vérification et Optimisation (SLOVO) (2000 - 2005)
  
• ACI CARAML : Coordination et répartition des applications multiprocesseurs en Objective Caml (2002 - 2004)
  
• RNTL GEOBENCH : Visualisation immersive de données (géo)scientifiques (2003 - 2004)
  
• RNTL OADymPPaC : Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (2000 - 2004)
  
• SECURYPTO : Réseau de recherche France-Québec sur la sécurité des protocoles cryptographiques. (2002 - 2004)
  
• STUDIUM sécurité : Security of Information Flow: A multi-paradigm Approach (2003 - 2004)
  
• The Solar System : Apprentissage de solveurs (2002 - 2004)
  
• Contrat CEA Filtrage : Filtrage associatif et associatif-commutatif dans l'analyse des programmes (2001 - 2002)