TYREX - 2014

Section: Partnerships and Cooperations

National Initiatives

Investissements d'avenir


  • Title: Community Learning through Adaptive and Interactive multichannel Resources for Education

  • Call: Technologies for e-education

  • Duration: March 2012 - February 2014

  • Coordinator: OpenClassrooms, ex-SimpleIT

  • Others partners: LIRIS

  • See also: http://www.projet-claire.fr/

  • Abstract: Project CLAIRE aims at developing an open-source tool for collaborative authoring in an e-learning environment (Learning Content Management System), targeting teachers and students in high-school and universities. Its innovative features include:

    • a platform for collaborative structured editing of rich media and “semantic” content, e.g.: tools for chaptering video, and for generating interactive evaluation tests

    • processes for continuous enhancement of content, e.g.: social annotation, behaviour analysis, accessible multi-support publishing, e.g.: web, PDF, ODT, LaTeX, smartphones, tablets.


  • Title: Entrepôt Intelligent pour Big Data hétérogènes. Investissements d’Avenir Développement de l’Economie Numérique.

  • Call: Cloud Computing, num 3 – Big Data.

  • Duration: May 2013 - November 2016

  • Coordinator: Business & Decision Eolas

  • Others partners: Groupement des Mousquetaires, Inria Saclay (OAK EPC), LIG (Hadas and Erods teams), LIRMM (Montpellier), LIFL (Lille).

  • See also: http://www.datalyse.fr/

  • Abstract: Project Datalyse aims at designing and deploying an infrastructure for big data storage, collection, certification, integration, categorisation, enrichment and sharing over very large heterogeneous data sets. It relies on an industrial platform, to be made available on the cloud, and focuses on three flagship applications, showcasing three uses of big data over different data sets:

    • Data-Center Monitoring: The goal of this application is to provide features such as traceability, reporting, optimisation and analysis of abnormal behaviour regarding energy efficiency and security issues. The application will be built with an existing application called ScopeBR (Eolas) and will be deployed in two different green data centers, those of Eolas and GDF SUEZ.

    • “Territoire de données ouvertes et liées”: This application aims at extracting and provisioning public open data collected from the city of Grenoble and its suburbs. The goal is to make public data available to third-party application developers and to federate local actors around a single platform.

    • Real-time Business Intelligence for the management and processing of points of sale: this application will focus on real-time data analytics and will be deployed within “Groupement des Mousquetaires” in support of their business intelligence platforms.



  • Title: Typeful certified XML: integrating language, logic, and data-oriented best practices

  • Call: Programme Blanc

  • Duration: January 2012 - December 2014

  • Coordinator: PPS (CNRS - Paris 7 Diderot)

  • Others partners: LRI (Orsay)

  • See also: http://typex.lri.fr

  • Abstract: The highly ambitious and final goal of this project is to produce a new generation of XML programming languages stemming from the synergy of integrating three approaches into a unique framework:

    • a logical approach based on solvers

    • a programming language (PL) approach

    • a data-oriented approach

    These languages will feature precise and polymorphic type systems that merge PL typing techniques with logical-solver-based type inference. They will be implemented efficiently using the latest research on tree automata and formally certified using modern theorem prover technology. They will offer the capacity to specify and formally verify invariants, business rules, and data integrity, and will have a direct and immediate impact on standardization processes.