Lifo - Laboratoire d'Informatique Fondamentale d'orléans Université d'Orléans université d'Orléans ENSI Bourges ENSI Bourges

Lifo > Les Actions de Recherche du LIFO

English Version



Contact

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

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Les Actions de Recherche du LIFO

Actions en cours

  • ANR AGAPE : Algorithmes de graphes exacts et à paramètre fixe
  • ANR EMC : Émergence dans les modèles de calcul
  • ANR ExaViz : Exa-scalable interactive visual analysis for life & materials sciences
  • ANR LYRICS : Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact
  • ANR PaPDAS (et JST) : Parallel Program Development with Algorithmic Skeletons
  • GDR GPL : Groupe de travail FORWAL : Formalismes et Outils pour la Vérification et la Validation
  • HPIAF : Haute Performance en Intelligence Artificielle pour la Finance
  • INEX : Informatique en nuage : expérimentations
  • Projet Européen Seed4C : Secured Embedded Element for Cloud
  • Projet région FDTE : Fouille de données temporelles - Application à des données environnementales
  • SPEED : Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes

Actions terminées

  • 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)
  • 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)