Visite du CRIStAL par les élèves de l'ENS Cachan

La journée est organisée sur deux sites : le matin au bâtiment M3 du campus de l'université de Lille 1 et l'après-midi au bâtiment de l'IRICA. Pour tout renseignement contacter ou .

Offres de stages

Stage de l'équipe 2XS

Autour du proto-noyau Pip [.pdf]

Stage de l'équipe Biocomputing

Metabolic networks and abstract interpretation

Prediction algorithms from computer science become increasingly relevant to guide the engineering of synthetic biological systems. An important instance is the prediction of gene knockouts from metabolic gene networks, as needed for the bio-active products by bacteria (antibiotics, anti-pesticides, etc). A main difficulty here is to reason about reaction networks with partially known kinetics.

Abstract interpretation provides a methods for reducing reasoning task with with partial information to constraint solving problems. This general idea was applied for knockout prediction from reaction networks in a very novel approach by John, Niehren et al. [1, 2]. Their abstract interpretation for reaction networks, however, makes a too coarse approximation, so that it cannot distinguish Mass-Action and Michaelis-Menten kinetics. While approximations are unavoidable for reasoning with partial information, too coarse approximations lower the reasoning quality. In this internship, we intend to develop a more fine grained abstract interpretation for reaction networks that can distinguish Mass-Action and Michaelis-Menten kinetics, understand whether parameters of Michaelis-Menten kinetics can be safely abstracted away, develop the corresponding constraint solving methods, and if time permits, see whether better predictions can be obtained for knockout prediction for the metabolic networks of E. Subtilis.)

[1] https://hal.inria.fr/hal-00692499, [2] https://hal.inria.fr/hal-01163391

Contact: cristian.versari@univ-lille1.fr

Stages de l'équipe Bonsai

Traitement efficace des données de séquençage ADN

Le contexte de ce sujet de stage est la bioinformatique liée au séquençage de l’ADN. Aujourd’hui, les séquenceurs ADN produisent des milliards de courtes séquences pour élucider le génome d’un organisme. Chaque séquence peut être vue comme une chaîne de caractères sur l’alphabet A,C,T,G. Il est courant de construire un graphe représentant les k-mers présents dans ces séquences, où un k-mer est une sous-chaîne de taille k. Du fait du large volume de données séquencées, il est nécessaire d’avoir des algorithmes astucieux pour la construction de ce graphe. Par exemple, impossible de stocker explicitement tous les noeuds (k-mers) dans une liste ou une table de hachage qui résiderait en mémoire vive. Du coup, des structures de données un peu plus avancées jouent un rôle important (par ex: filtres de Bloom, la transformée de Burrows-Wheeler). Dans ce stage, nous proposons de fournir un algorithme et une implémentation pour la construction de ces graphes de k-mers, qui soient plus rapides que l’existant. Il n’est pas nécessaire d’avoir des connaissances en biologie pour traiter ce sujet, il s’adresse à un étudiant imaginatif et intéressé par l’algorithmique et les structures de données, étant aussi motivé par l’aspect implémentation logicielle.

Contact : rayan.chikhi@univ-lille1.fr

Automate Universel de Levenshtein

L'automate universel de Levenshtein est un automate qui permet de décrire le voisinage d'un mot P, c'est-à-dire l'ensemble des mots proches de P au sens de la distance d'édition. Son originalité est de travailler sur un alphabet de vecteurs de bits et de ne pas dépendre du motif P en entrée, ce qui en fait un outil très efficace en stringologie. L'objectif du stage est de proposer des extensions de l'automate universel de Levenshtein à des expressions régulières arbitraires, voire à des grammaires. Ce sujet peut plaire à un étudiant qui à un goût prononcé pour la théorie des langages et l'algorithmique. Il peut s'accompagner d'un travail de développement (en Java), mais ce n'est pas obligatoire.

Contact : helene.touzet@univ-lille1.fr

Stage de l'équipe CHFP

Contribution à l’algèbre intégro-différentielle [.pdf]

Stage de l'équipe INOCS

Models and algorithms for the computation of robot trajectories under connectivity constraints [.pdf]

Stages de l'équipe Links

Contrôle d’accès dans les bases de données : conception et vérification [.pdf]
Terminaison de la procédure de Chase sur les bases de connaissances [.pdf]
Linux Packages and Tree Transducers [www]

Stages de l'équipe Magnet

Discovering Good Peers in Decentralized and Personalized Machine Learning [.pdf]
Private and Decentralized Machine Learning [.pdf]
Spectral Graph-Based Methods for Learning Word Embeddings [.pdf]

Stage de l'équipe Mocis

Traitement du signal d'IRM multiparamétrique du cancer de la prostate [.pdf]

Stages de l'équipe RMOD

High-level IDEs for BlockChain Technologies

With Ethereum, BlockChain technology moves from being an implementation technology for virtual currency to being the basis for developing a new kind of software with smart contracts. The goal of this project is to analyse and improve high-level development and analysis tools for this new kind of software.

Users like banks and insurance companies need tools that model their processes and level of confidentiality of the information shared though blockchain technology, especially on public blockchains. For this, users need a solution that provides a higher level way to model systems than solidity code or even low-level byte-code. In addition, blockchain based solutions often employ multiple programming languages. Especially the later poses a risk for later software maintenance.

This project can be done in collaboration of a company (utocat).

The goal of this project is to work on high level IDE / modelling tools for blockchain technology like Ethereum.

The plan is to - Analyse the current state: tools and languages in the context of blockchain technologies. - Analyse the current state: modelling tools and processes with a focus in decision processes both in communities and commercial use. - Explore how to improve the state of the art, especially with a focus on providing tools for users of blockchain solutions in industry. - Implement prototypes for IDEs/modelling tools for Ethereum, possibly using Pharo. Directions to explore will be both related to generating and analysing solidity code as well as complete solutions used in industrial projects. - Results will be submitted to be publish in international conferences and journals. - A possible path is also to understand if a language capturing smart contracts and workflow can be proposed to end-users with adequate tools.

Contact: marcus.denker@inria.fr and stephane.ducasse@inria.fr

A language based on pure traits

Keywords: Object-Oriented Programming, Language Design, Multiple inheritance, Mixins, Traits, Dynamically Typed Languages.

Context: We define traits [BSD03],[CDW07]. Traits are units of reuse that are essentially composed of methods. Traits can be applied to different classes orthogonally to inheritance. Traits can be composed of subtraits. The composer of traits is responsible of handling conflict. Traits while initially developed in Squeak (a Smalltalk implementation ancestor of Pharo, got ported to various languages such as Perl 6, Squeak [IKM+97], PhP, Slate. They influenced also Scala and Fortress of SUN Microsystems. Several extensions have been proposed [Qui04, BDNW07, DWBN07] as well as type systems [FR03, SD05, NDS06, LS07].

Subject: Traits as originally defined do not include state and there is a competition between classes and traits. A trait defines methods but cannot define state but a class can and a class can have instance while a trait cannot. In this design a trait acts as a kind of macros and it is static. It can only apply at compile-time. This aspect was part of the idea that traits could be removed (or flattened) and that the classes with flattened traits would be equivalent to their counterpart without traits.

The goal of this work is to revisit traits. Can we get one dynamically typed language with only traits: objects that can be composed, have states and methods and can define instances. In addition can we have dynamic traits as in Talents? Pablo Tesone proposed an alternate implementation showing that talents can be proposed to mainstream developers.

A possible roadmap is the following - Understanding how to use traits as in Pharo - Looking at extensions or other models such as Eiffel inheritance, self prototypes or subObjects developed by Marko van Dooren, or Talents - Propose one or two models - Take a little Pharo image: such as candleLight (which contains only a little core) and implement different models. - The implementation may also use reflectivity the reflective layer of Pharo to perform some advanced lookup or implementation tricks.

References

[Talents] Jorge Ressia, Tudor Gîrba, Oscar Nierstrasz, Fabrizio Perin, and Lukas Renggli. Talents: Dynamically Composable Units of Reuse. In Proceedings of International Workshop on Smalltalk Technologies (IWST 2011), p. 109—118, 2011. DOI PDF →

[BSD03] Andrew P. Black, Nathanael Schärli, and Stéphane Ducasse. Applying traits to the Smalltalk collection hierarchy. In Proceedings of 17th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’03), volume 38, pages 47–64, October 2003.

[BDNW07] Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, and Roel Wuyts. Stateful traits. In Advances in Smalltalk — Proceedings of 14th International Smalltalk Conference (ISC 2006), volume 4406 of LNCS, pages 66–90. Springer, August 2007.

[DWBN07] Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, and Oscar Nierstrasz. User-changeable visibility: Resolving unanticipated name clashes in traits. In Proceedings of 22nd International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’07), pages 171–190, New York, NY, USA, October 2007. ACM Press.

[CDW07] Damien Cassou, Stéphane Ducasse, and Roel Wuyts. Redesigning with traits: the nile stream trait-based library. In Proceedings of the 2007 International Conference on Dynamic Languages (ICDL 2007), pages 50–79. ACM Digital Library, 2007.

[DNS+06] Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, and Andrew Black. Traits: A mechanism for fine-grained reuse. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(2):331–388, March 2006.

[FF98] Matthew Flatt and Matthias Felleisen. Units: Cool modules for hot languages. In Proceedings of PLDI ’98 Conference on Programming Language Design and Implementation, pages 236–248. ACM Press, 1998.

[for] The Fortress language specification.

[FR03] Kathleen Fisher and John Reppy. Statically typed traits. Technical Report TR-2003-13, University of Chicago, Department of Computer Science, December 2003.

[LS07] Luigi Liquori and Arnaud Spiwack. FeatherTrait: A modest extension of Featherweight Java. ACM Transactions on Programming Languages and Systems (TOPLAS), 2007.

[Qui04] Philip J. Quitslund. Java traits — improving opportunities for reuse. Technical Report CSE-04-005, OGI School of Science / Engineering, Beaverton, Oregon, USA, September 2004.

[Sla] Slate.

[sca] The scala programming language.

[SD05] Charles Smith and Sophia Drossopoulou. Chai: Typed traits in Java. In Proceedings ECOOP 2005, 2005.

Contact: stephane.ducasse@inria.fr

Advanced Debugging in Pharo.

Pharo provides a very advanced debugging infrastructure. Over the last releases, the Debugger model, the UI as well as the reflective foundations have seen major improvements.

Based on these new foundations, new research can be carried out in a much simpler way than before.

One example is the idea to enhance a debugging sessions optionally with aliasing information. Research on this topic has been done in the past [1] but the resulting system needs a modified Virtual Machine to run and showed problems with the amount of memory used.

The goal of this internship is:

1) Realise the Alias execution infrastructure without the need to change the Virtual Machine based on the new reflective foundation found in Pharo6.

2) Analyse the use of Memory. Evaluate the new 64bit virtual machine for allocating large amounts of memory, evaluate possible other solutions (store on disk, send to other machine...)

3) Explore the new "moldable" Debugger UI for providing a user interface to the Alias data. Here both interactive UIs as well as interactive queries are interesting directions to explore.

[1] Lienhard, Girba, Nierstrasz: Practical Object-Oriented Back-in-Time Debugging, Proceeding ECOOP '08

Contact: stephane.ducasse@inria.fr

First Class Relationships

Keywords: Object-Oriented Programming, Language Design, Relationships, Dynamically Typed Languages.

Context: Object-oriented methodologies promote the use of relationships. However, programming languages do not represent relationships and as such forced to use low level data structures such as dictionaries. Since Pharo 50, Pharo supports first class instance variables named Slots. The developer can define instance variables and associate to them compilation behavior. For example, active values are special instance variables with notification behavior. The programmer can then reuse logic encapsulated inside first class instance variables.

Subject: The goal of this project is to do develop an extension to default the object-oriented model (class, method and fields). Such extension should offer a variety of first class relationships.

Here is a possible outline of work:

  • The student will study Streamlined-Object-Modeling-Patterns-Implementation [SOMP] since it defines a list of patterns and relationships.
  • The student will study how new slots can be defined.
  • He will design a library of first class relationships.
  • A validation on reimplementing part of the FAMIX metamodel will be proposed.

Pré-requis

- Willing to learn
- Pharo is a plus but not mandatory

References

Contact: stephane.ducasse@inria.fr

Taming Global Variables using Reification

Keywords: Object-Oriented Programming, Language Design, Dynamically Typed Languages.

Context: Shared and often global state is a simple and handy mechanism to share state between different objects. It is also a simple persistency mechanism: state hold by it will persist as long as the program is alive and running. Now global state poses multiple problems. Now having global state poses several problems as described in [Poli14].

- Logic duplication. Each developer may reimplement its own logic for LRU or other cache strategies.
- Non-explicit. When bootstrapping [Poli 14], serializing objects [Dias 11], or transporting objects between environment [Unga 05] there is a need to understand exactly the state of the object graphs. Without explicit properties it is really difficult for the tools to take appropriate actions.
- Often incomplete. Often programmers develop partial solutions for their particular needs. This hampers    future reuse.

Subject: The goal of this project is to introduce first class variables and to identify key characteristics to describe based and to show the benefits of such representations on key scenarios.

Here is a possible outline of work:

  • The student will study [Poli 14].
  • He will study the preliminary representation of first class variables in Pharo.
  • He will design a library of first class variables.
  • He will evaluate the benefits in the context of
    • the Fuel object serializer [Dias 11]
    • the bootstrapping process and object initialization.

Pré-requis - Willing to learn :) - Pharo is a plus but not mandatory

References

  • [Poli 14] Guillermo Polito, Noury Bouraqadi, Stéphane Ducasse, Luc Fabresse, Understanding Pharo’s global state to move programs through time and space, IWST 2014.
  • [Unga 05] David Ungar. Annotating objects for transport to other worlds. In Proceedings of the tenth annual con- ference on Object-oriented programming systems, languages, and applications, OOPSLA ’95, pages 73–87, New York, NY, USA, 1995. ACM.
  • [Dias 11] Martín Dias, Mariano Martinez Peck , Stéphane Ducasse, and Gabriela Arévalo, Fuel: A Fast General Purpose Object Graph Serializer, Softw. Pract. Exper. 2011.
  • [Poli 14 ] G. Polito, S. Ducasse, L. Fabresse, N. Bouraqadi, and B. van RyseghemBootstrapping Reflective Systems: The Case of Pharo, Computer Programming - Journal - Elsevier. 2014.

Contact: stephane.ducasse@inria.fr, guillermo.polito@mines-douai.fr

Stage de l'équipe SigMA

Insertion de Messages Cachés dans des Images (Stéganographie) – Sécurité de l’Information

Enseignants encadrant le stage :

Patrick BAS (Centrale Lille) et Wadih SAWAYA (Telecom-Lille)

Descriptif du projet :

En stéganographie, l’émetteur (Alice) communique secrètement avec le destinataire (Bob) en insérant des messages cachés dans des contenus tels que des images numériques. L’objectif étant de transmettre le plus d’information possible tout en s’assurant qu’une personne observant les contenus échangés (généralement appelée EVE), ne puisse distinguer un contenu original (appelé Cover) d’un contenu transportant le message (appelé Stégo). L’objectif de ce projet de recherche est de mettre en place une méthode de codage pour la stéganographie. Cette méthode, basée sur un codage linéaire, permet de minimiser la distorsion statistique entre le contenu Stégo et le contenu Cover, tout en insérant un message de taille donnée. L’élève devra dans un premier temps comprendre les principes de la stéganographie et de la méthode de codage utilisée (codage par syndrome en treillis), puis l’implémenter dans sa version simple sur des images binaires ou en niveau de gris. Dans un deuxième temps, l’élève analysera les performances de cette méthode par rapport aux limites théoriques. Enfin l’élève pour implémenter une version ou le message inséré est codé dans un alphabet de taille Q (insertion Q-aire).

Connaissances et compétences mises en œuvre :

Connaissances en théorie des codes, en représentation des images et en python nécessaires.

Contacts :

Patrick.Bas@ec-lille.fr Wadih.Sawaya@telecom-lille.fr

Stage de l'équipe Spirals

Une nouvelle approche pour la réparation automatique de programmes [www]

Stage de l'équipe SyNer

Modélisation et identification des rythmes biologiques des bivalves

Le rythme circadien est responsable de l'activité des organismes vivants sur Terre. Il est provoqué par certaines hormones dont les concentrations oscillent au cours de la journée et qui pré-définissent les modèles d’activité. Certains troubles du rythme circadien sont responsables de nombreuses maladies et d'inconvénients pour la santé. Par exemple, le problème de décalage horaire correspond à la remise en phase de l'oscillation du rythme circadien par rapport à l'influence de la lumière exogène actuelle après un vol à longue distance. Bien qu’il existe des modèles circadiens bien développés pour certains organismes (pour la Drosophila ou le Neurospora, par exemple), en général, il n’y a pas d’approche commune pour leur design. Cela est particulièrement vrai pour les animaux marins, car leur activité est également fortement influencée par les marées. L'idée de ce projet est de développer des modèles mathématiques pour le rythme circadien et circatidal du comportement des bivalves en utilisant des mesures réelles de leur activité. Cette activité est évaluée en fonction de l’angle d’ouverture mesuré des deux valves. Ensuite, des algorithmes d'estimation en temps réel doivent être synthétisés. Un objectif final du projet est de concevoir un algorithme de contrôle pour la réinitialisation de phase du rythme circadien, cette solution est en partie liée à traitement du jet lag pour les humains.

Contact :

Rosane Ushirobira, Denis Efimov

Aperçu du programme

09:00 - 09:15 Café arrivée
09:15 - 09:45 Présentation de CRIStAL
09:45 - 10:45 CO2, GL, Dating
10:45 - 11:00 Pause café
11:00 - 12:30 RMOD, Spirals, CHFP, Bonsai, Biocomputing, SyNer
12:30Déjeuner
14:30 - 15:30 INOCS, 2XS, SigMA, Defrost
15:30 - 16:30 2XS, Magnet, SequeL, Bonsai, RMOD, Biocomputing, MINT
16:30 - 17:00 Pause café
17:00 - 17:30 Mocis, Links

Programme

09:00 - 09:15 Café arrivée (Espace convivialité (M3))

09:15 - 09:45 Présentation de CRIStAL(Amphitéâtre Turing (M3))

Olivier Colot (Université de Lille 1, )

09:45 - 10:45 Présentations de groupes thématiques (Amphitéâtre Turing (M3))

09:45 - 10:05 Présentation du groupe thématique CO2 (CHFP, Defrost, SyNer)

Jean-Pierre Richard (Centrale Lille, )
CO2 : Control and scientific Computing

Le défi du groupe CO2 tient dans son interdisciplinarité. Tout en restant ancrées dans leurs champs disciplinaires respectifs (informatique, calcul numérique, automatique), les équipes de CO2 bâtissent des ponts entre le calcul scientifique et le contrôle, en suivant aujourd'hui trois grands thèmes de recherche :

  • le contrôle et l’estimation robustes (automatique, équipe SyNeR accueillant l'équipe-projet commune Inria NON-A),
  • le calcul formel et haute performance (informatique, équipe CFHP),
  • la modélisation temps réel pour le contrôle de robots déformables (informatique et automatique, équipe commune Inria DEFROST).

Si la recherche menée dans CO2 a une forte composante mathématique, notre volonté stratégique est aussi de l'inscrire dans des champs d'application interdisciplinaires :

  • systèmes cyber-physiques et communications (systèmes embarqués/en réseau, Internet des objets, cryptographie) ;
  • robotique (robots mous, collaboration, interaction, robotique chirurgicale, handicap) ;
  • mécanique des fluides et micro/nanotechnologies (contrôle d’écoulements) ;
  • mathématiques (homogénéité, fonctions de matrices, algèbre différentielle) ;
  • biologie et information (modélisation, capteurs ‘vivants’ ;
  • génie électrique (convertisseurs, commande sans capteur mécanique...

10:05 - 10:25 Présentation du groupe thématique GL (Caramel, Carbon, RMOD, Spirals)

Lionel Seinturier (Université de Lille 1, )
GL : Génie Logiciel

Le groupe thématique GL mène ses recherches dans le domaine du génie logiciel. Nous nous focalisons plus particulièrement sur les solutions pour gérer les besoins changeants et les environnements dynamiques, pour concevoir des systèmes logiciels passant à l'échelle et auto-adaptatifs, pour modulariser et remodulariser le logiciel, pour concevoir des environnements d'exécution résiliants. Nous couvrons un large spectre d'activités de recherche dans le cycle de vie du génie logiciel, des phases amonts de modélisation et d'ingénierie dirigée par les modèles, à la définition de langages et de plates-formes d'exécution, ainsi qu'à l'évolution du logiciel et à la réingénierie. La complémentarité des équipes vient du fait que, prises ensemble, les quatre équipes couvrent un large spectre d'activités de recherche en génie logiciel, qu'aucune, prise séparément, ne pourrait couvrir.

10:25 - 10:45 Présentation du groupe thématique Dating (Links, Magnet, SequeL, SigMA)

Philippe Preux (Université de Lille 3, )
Dating : Data Intelligence Group

L'intelligence des données s'intéresse à la manière dont des données sont acquises, manipulées, gérées, enrichies, traitées, ... afin d'en extraire ou de révéler l'information qu'elles contiennent, cela dans le but de prendre une décision ou d'aider à la prise de décision. Le mot « donnée » doit être entendu dans un sens très large ; les données proviennent de sources de différents types (capteurs, bases de données, réseaux sociaux, etc), combinant des informations de différents types (images, textes en langue naturelle, nombres, etc). Dans ce contexte, les données doivent être organisées ; des volumes de données énormes doivent être pris en compte ; les données sont souvent disponibles sous forme de flux dont les caractéristiques peuvent changer au cours du temps ; l'information utile doit être extraite de ce flux de données. Le champ d'applications est extrêmement étendu : si les mondes des affaires et de la finance sont bien connus, les applications abondent dans les sciences (physique, astronomie, biologie, médecine, ...).

Dans CRIStAL, le groupe « intelligence des données » (DatInG) est composé de 4 équipes de recherche : Links, Magnet, SequeL et Sigma. DatInG combine des compétences fortes en bases de données, apprentissage automatique, fouille de données et traitement de signal. Links s'intéresse aux collections de bases de données liées et aux requêtes logiques pour en extraire des informations. Magnet s'intéresse aux graphes d'objets, incluant notamment des textes en langue naturelle. Sigma s'intéresse aux signaux, i.e. des entités mathématiques issues de mesures physiques. SequeL s'intéresse aux données séquentielles et l'apprentissage d'un comportement optimal dans un environnement bruité, dynamique, non stationnaire.

Ensemble, ces 4 équipes de recherche étudient les étapes les plus importantes du pipeline de l'intelligence des données. Les activités dans DatInG vont de la recherche fondamentale aux applications, notamment en collaboration avec des entreprises.

10:45 - 11:00 Pause café (Espace convivialité (M3))

11:00 - 12:30 Présentations des équipes RMOD, Spirals, CHFP (Amphitéâtre Turing (M3))

11:00 - 11:30 Présentation de l'équipe RMOD

Stéphane Ducasse (INRIA, )
RMOD : Analyses et construction de langage pour l'évolution d'applications orientées objet

RMOD travaille sur de nouveaux langages de programmation en prenant l’hypothèse forte qu’un programme ne doit pas s’arrêter et ce même pour ce mettre a jour. Dans ce cadre nous étudions et développons des langages réflexifs (qui ont une connaissance de leur propre execution) et nous revisitons les éléments essentiels de la programmation à objets. Certains travaux comme les traits ont été intégrés a Php et Perl-6 et ont influencé Scala. L’équipe développe Pharo un langage dynamique et réflexif utilisé dans une trentaine d’universités et une quinzaine de groupes de recherche dans le monde. Pharo tourne aussi bien sur des machines à café que sur le cloud. Nous présenterons certains de nos travaux.

11:30 - 12:00 Présentation de l'équipe Spirals

Martin Monperrus (Université de Lille, )
Spirals : Self adaptation for distributed services and large software systems

Spirals mène des recherches dans les domaines des systèmes répartis et des sciences du logiciel. Spirals a pour but d'introduire plus d'automatisation dans les mécanismes d'adaptation des systèmes logiciels, en particulier pour assurer la transition entre des systèmes adaptatifs et auto-adaptatifs. Spirals vise plus particulièrement deux propriétés : l'auto-réparation et l'auto-optimisation. Avec l'auto-réparation, Spirals vise à étudier et adapter des solutions de fouille de données et d'apprentissage automatique pour la conception et l'implémentation des systèmes logiciels. Cela contribue à l'objectif d'obtenir des solutions pour la réparation automatique du logiciel. Avec l'auto-optimisation, Spirals vise à partager, collecter, et analyser des comportements et des données distribuées pour continuellement adapter, optimiser et conserver en fonctionnement les systèmes logiciels. Cela participe à l'objectif d'obtenir des systèmes logiciels éternels.

12:00 - 12:30 Présentation de l'équipe CHFP

Adrien Poteaux (Université de Lille 1, )
CHFP : Calcul Formel et Haute Performance

L’équipe CFHP a une expertise reconnue en calcul formel (équations différentielles ou aux différences, manipulation de coordonnées implicites, modèles paramétriques, algèbre différentielle, systèmes polynomiaux, avec développement de logiciels associés) et en calcul haute performance (paradigmes et langages pour l’exa-informatique, outils mathématiques associés dont l’algèbre linéaire, applications industrielles). Ces deux aspects conduisent à un pôle fort dédié au calcul scientifique et partageant des centres d’intérêt liés au calcul symbolique, au développement de logiciels dédiés, aux mathématiques.

CFHP applique sa recherche dans des champs interdisciplinaires variés, comme :

  • l’automatique (calcul symbolique pour l’estimation de systèmes dynamiques) ;
  • la biologie et l’information (modélisation de systèmes biologiques, cryptographie) ;
  • la simulation à très grandes échelles.

11:00 - 12:30 Présentations des équipes Bonsai, Biocomputing, SyNer (Salle du conseil (M3))

11:00 - 11:30 Présentation de l'équipe Bonsai

Hélène Touzet (CNRS, )
Bonsai : Algorithms for large-scale sequence analysis

L'objectif principal de l'équipe BONSAI est de développer des algorithmes et des modèles pour l'analyse des séquences biologiques. Cela comprend les domaines d'application suivants : l'annotation des génomes, l'analyse des données de séquençage à haut débit, la métagénomique, la structure des gènes et des génomes, les ARN non-codants, les peptides non ribosomiques. Les méthodes employées viennent de l'algorithmique discrète, empruntant à l'algorithmique du texte, la théorie des graphes, les structures d'index... Ce travail se matérialise par la diffusion de logiciels libres, et la validation sur des données biologiques.

11:30 - 12:00 Présentation de l'équipe Biocomputing

Émilie Allart (), Cristian Versari (Université de Lille 1, )
Biocomputing : Programming Languages for Biological Modeling and Simulation

L'équipe biocomputing s'intéresse à la modélisation et à la simulation de systèmes biologiques. Ces systèmes, du point de vue cellulaire, sont composés d'un grand nombre d'agents biologiques (protéines, gènes, etc.) et d'intéractions entre ces agents. Ces dernières peuvent dépendre de distributions spatiales (gradiants de concentrations, compartimentalisation, etc.) et leur dynamique peut être approximée de façon non déterministe, stochastique ou déterministe. Dans notre approche, un modèle de système biologique est un programme écrit dans un langage de réactions chimiques dont la sémantique est formellement définie et dépend du niveau d'abstraction choisi. Ces modèles doivent permettre de prédire le comportement dynamique des systèmes biologiques et répondre à des questions d'interêt pour les biologistes. Pour ce faire, nous analysons les modèles au moyen d'outils d'analyse de programme (tels que le model checking ou l'interprétation abstraite). Nous pourrons, lors de la démonstration, discuter de travaux que nous réalisons actuellement sur la simplification de modèles qui préservent une notion d'équivalences de modèles (non déterministe et déterministe).

12:00 - 12:30 Présentation de l'équipe SyNer

Lofti Belkoura (Université de Lille 1, )
SyNer : Systèmes hybrides, non linéaires et à retards

L’équipe SyNeR a une expertise reconnue en estimation et contrôle robustes pour les systèmes dynamiques à forte complexité : phénomènes non linéaires (pas de principe de superposition ou de séparation), effets de latence (équations à retards, en dimension infinie), hybridation de flots continus et de modes discrets (commutations, impulsions). Elle accueille le projet Inria Non-A (Non-Asymptotic estimation for online systems), focalisé sur des algorithmes en temps fini, avec deux concepts : l’homogénéité non-linéaire (incluant les modes glissants) et l’algèbre différentielle. SyNeR traite diverses applications interdisciplinaires, comme la robotique (systèmes cyberphysiques embarqués/en réseau, Internet des objets, handicap) ; la mécanique des fluides & micro/nanotechnologies (contrôle d’écoulements) ; la biologie (capteurs ‘vivants’) ; le génie électrique (convertisseurs, commande sans capteur mécanique) ; mathématiques (homogénéité, fonctions de matrices, algèbre différentielle).

12:30Déjeuner (Restaurant Universitaire Barrois)

14:30 - 15:30 Présentations des équipes INOCS, 2XS (Salle du conseil (Ircica))

14:30 - 15:00 Présentation de l'équipe INOCS

Luce Brotcorne (INRIA, ), Diego Cattaruzza (Centrale Lille, ), Maxime Ogier (), Frédéric Semet (Centrale Lille, )
INOCS : INtegrated Optimization with Complex Structure

Dans INOCS, nous considérons qu'un problème d'optimisation présente une structure complexe (SC) lorsque deux types de décisions sont considérés conjointement de façon interdépendante. C’est le cas, par exemple, de décisions de différents types ou natures (stratégique, tactique ou opérationnelle), et/ou lorsqu’une structure leader-suiveur hiérarchique est présente. Les problèmes avec SC sont extrêmement difficiles puisqu’un optimum global par rapport à l'ensemble des variables de décision et des contraintes doit être déterminé. INOCS modélise et développe des méthodes de résolutions innovantes pour des problèmes avec SC selon trois types de paradigmes : - l’optimisation mathématique, - l’optimisation bi-niveaux, et - l’optimisation robuste/stochastique.

Les problèmes avec CS sont omniprésents. Ils apparaissent dans un large éventail de domaines tels que :

  • le secteur de l'énergie où les décisions de nature distincte, comme la production et la distribution sont déterminées conjointement ;
  • la gestion de la supply chain où des décisions liées à la localisation et au routage doivent être prises simultanément, même si elles se réfèrent à différents horizons temporels ;
  • la gestion du revenu où la détermination des prix des services ou des produits nécessite de prendre en compte explicitement la stratégie de comportement des consommateurs stratégiques.

Des progrès significatifs ont été réalisés en optimisation pour la résolution de problèmes académiques. Aujourd'hui, certains problèmes NP-difficiles, même pour des instances de grande taille, sont systématiquement résolus à l’optimum. Notre vision au sein d’INOCS est de faire les mêmes progrès pour des problèmes d'optimisation avec SC. Pour atteindre cet objectif, nous visons le développement d’approches globales à l'opposé de la tendance actuelle.

15:00 - 15:30 Présentation de l'équipe 2XS

Pip: un noyau de système d’exploitation conçu pour et par la preuve formelle

David Nowak (CNRS, )
2XS : eXtra Small, eXtra Safe

L'équipe 2XS travaille sur les systèmes embarqués fortement contraints et en particulier sur la conception de logiciels et matériels apportant sécurité, fiabilité et efficacité à ces derniers. La recherche de l'équipe 2XS s'oriente particulièrement sur la définition de nouvelles architectures de systèmes ou de nouveaux langages pour permettre la conception rapide de logiciels fiables, adaptés à des contraintes fortes en terme de consommation mémoire, de consommation énergétique, de puissance de calcul et de sécurité. Les compétences mises en oeuvre par l'équipe pour adresser ces verrous vont de la vérification formelle à la conception conjointe logicielle et matérielle en passant par l'architecture de systèmes d'exploitation.

14:30 - 15:30 Présentations des équipes SigMA, Defrost (Amphitéâtre (Ircica))

14:30 - 15:00 Présentation de l'équipe SigMA

Patrick Bas (CNRS, ), Pierre Chainais (Centrale Lille, )
SigMA : Signal, Models and Applications

Les compétences de l’équipe SIGMA reposant sur des fondements solides en statistiques et en géométrie, ses membres s’intéressent aux objets mathématiques extraits de mesures physiques comme par exemple les images, la lumière polarisée, les sons, les vidéos ou encore les capteurs chimiques ou de turbulence. Ces signaux et leurs propriétés sont traités en utilisant le formalisme Bayésien, la théorie des fonctions de croyance, la géométrie de l’information ou la théorie de l’information.

Avec pour dénominateur commun le traitement et la modélisation statistique des signaux, nos activités de recherche s’inscrivent dans les communautés relevant de l’inférence Bayésienne, de la théorie de la décision évidentielle, de l’imagerie polarimétrique ou de la sécurité de l’information.

L’équipe SIGMA s’appuie également sur des relations fortes avec le master Décision et Analyse de Données de l’École Centrale Lille et l’option de traitement statistique du signal de Telecom-Lille.

Illustrations de nos recherches :

  • Approches bayésiennes et inférence par méthodes de Monte Carlo : problèmes inverses en traitement d'image, suivi d’objet dans des séquences vidéos,…
  • Fusion de données : prise de décision à partir d’un réseau de capteurs
  • Sécurité de l’information : détection d’intrusion et de signaux faibles ; authentification automatique de documents imprimés
  • Imagerie polarimétrique : détection d’artefacts sur des matériaux.

15:00 - 15:30 Présentation de l'équipe Defrost

Jérémie Dequidt (Université de Lille 1, )
Defrost : DEFormable RObotic SofTware

La robotique déformable va apporter un nouveau souffle à la conception mécatronique des robots de demain : ils ne seront plus uniquement rigides mais seront composés de structures complexes, qui créent le mouvement par déformation, proches des tissus organiques que l’on peut trouver dans la nature. Ces robots déformables ouvrent des perspectives en terme d’applications, de réduction des coûts de fabrication, de robustesse, et de sécurité... Cela pourrait constituer une avancée majeure en robotique dans les années à venir. Or le principal obstacle actuel, qui a été identifié par tous les états de l’art sur le sujet, c’est que les méthodes de conception, modélisation, contrôle et interaction utilisées en robotique ne sont pas adaptées : Les déformations ne sont plus uniquement une perturbation autour d’un modèle rigide articulé classiquement utilisé en robotique. C’est sur ce point que notre équipe propose une vision radicalement différente. Nous proposons d’intégrer une modélisation précise et temps-réel des déformations du robot et de nouvelles approches inverses pour permettre l’interaction avec son environnement. Ce qui est un véritable défi...

15:30 - 16:30 Démonstrations et Posters des équipes 2XS, Magnet, SequeL, Bonsai, RMOD, Biocomputing (Hall (Ircica))

15:30 - 16:30 Présentation de l'équipe 2XS

David Nowak (CNRS, )
2XS : eXtra Small, eXtra Safe

L'équipe 2XS travaille sur les systèmes embarqués fortement contraints et en particulier sur la conception de logiciels et matériels apportant sécurité, fiabilité et efficacité à ces derniers. La recherche de l'équipe 2XS s'oriente particulièrement sur la définition de nouvelles architectures de systèmes ou de nouveaux langages pour permettre la conception rapide de logiciels fiables, adaptés à des contraintes fortes en terme de consommation mémoire, de consommation énergétique, de puissance de calcul et de sécurité. Les compétences mises en oeuvre par l'équipe pour adresser ces verrous vont de la vérification formelle à la conception conjointe logicielle et matérielle en passant par l'architecture de systèmes d'exploitation.

15:30 - 16:30 Présentation de l'équipe Magnet

Aurélien Bellet (INRIA, )
Magnet : MAchine learninG in information NETworks

Le projet de l'équipe Magnet consiste en la définition de méthodes et modèles d'apprentissage automatique au sein de réseaux d'informations. Ces réseaux sont des collections d'informations hétérogènes organisées sous la forme de grands graphes dont les liens sont explicitement fournis (réseaux d'interactions, hyperliens, réseaux sociaux) ou sous-jacents induits par une similarité. On s'intéresse de façon privilégiée aux réseaux d'information présents dans Internet qui se caractérisent par de grands volumes de données hétérogènes où la dimension textuelle est omniprésente. Les objectifs envisagés sont les systèmes de veille, de recherche et d'extraction d'informations, et de recommandation. Dans ce but, on entend étudier les tâches de détection d'entités et de co-références, d'extraction de structures temporelles et rhétoriques, et de fouille d'opinions dans un cadre multi-documents.

Nous proposons des approches basées sur l'apprentissage statistique, en présence de données représentées sous forme de graphes, dans un cadre semi-supervisé et non supervisé. Les recherches peuvent se décliner selon les axes suivants :

  • Découverte de structures : prédiction structurée pour les textes, prédiction de liens, clustering, estimation de densités dans les graphes.
  • Combinaisons de représentations et de méthodes d'apprentissage pour la manipulation de données hétérogènes.
  • Exploitation de la structuration sous forme de graphes des données pour la classification, la diffusion et la recommandation.

15:30 - 16:30 Présentation de l'équipe SequeL

Bilal Piot (Université de Lille 1, )
SequeL : Sequential Learning

SequeL est une équipe de recherche travaillant dans le domaine de l'apprentissage automatique ; plus précisément, SequeL est dédié à l'étude du problème de décision séquentielle dans l'incertain, c'est-à-dire, comment un « agent » ayant une certaine tâche à accomplir peut acquérir un comportement optimal afin de réaliser cette tâche, dans un environnement inconnu. SequeL est composé d'environ 25 membres. Les activités vont de la recherche fondamentale à la coneption d'algorithmes et la valorisation de ses recherches auprès d'entreprises. Les questions étudiées sont par exemple « Que peut apprendre efficacement une machine de Turing ? », ou dans un contexte budgétisé « étant donné une quantité de ressources de calcul, quelle est le meilleur comportement qui puisse être appris ? », ou encore des questions plus orientées vers des applications dans la recommandation de produits en ligne.

Les recherches menées dans SequeL ont produit le programme de jeu de Go multi-récompensé Crazy Stone ; plusieurs doctorants de l'équipe ont vu leurs travaux récompensés par des prix Gilles Kahn, Jacques Neveu, ou encore ECCAI. SequeL a remporté la compétition "ICML 2011 Exploration vs. Exploitation" et la compétition "ACM RecSYS 2014", toutes deux dans le cadre des systèmes de recommandation. L'expertise présente dans SequeL a débouché sur des collaborations avec de nombreuses entreprises internationales, nationales et des PMEs locales, parmi lesquelles nous citons Orange Labs, Intel, Technicolor, Deezer.

15:30 - 16:30 Présentation de l'équipe Bonsai

Maude Pupin (Université de Lille 1, )
Bonsai : Algorithms for large-scale sequence analysis

L'objectif principal de l'équipe BONSAI est de développer des algorithmes et des modèles pour l'analyse des séquences biologiques. Cela comprend les domaines d'application suivants : l'annotation des génomes, l'analyse des données de séquençage à haut débit, la métagénomique, la structure des gènes et des génomes, les ARN non-codants, les peptides non ribosomiques. Les méthodes employées viennent de l'algorithmique discrète, empruntant à l'algorithmique du texte, la théorie des graphes, les structures d'index... Ce travail se matérialise par la diffusion de logiciels libres, et la validation sur des données biologiques.

15:30 - 16:30 Présentation de l'équipe RMOD

Marcus Denker (INRIA, ), Clément Béra (INRIA, )
RMOD : Analyses et construction de langage pour l'évolution d'applications orientées objet

RMOD travaille sur de nouveaux langages de programmation en prenant l’hypothèse forte qu’un programme ne doit pas s’arrêter et ce même pour ce mettre a jour. Dans ce cadre nous étudions et développons des langages réflexifs (qui ont une connaissance de leur propre execution) et nous revisitons les éléments essentiels de la programmation à objets. Certains travaux comme les traits ont été intégrés a Php et Perl-6 et ont influencé Scala. L’équipe développe Pharo un langage dynamique et réflexif utilisé dans une trentaine d’universités et une quinzaine de groupes de recherche dans le monde. Pharo tourne aussi bien sur des machines à café que sur le cloud. Nous présenterons certains de nos travaux.

15:30 - 16:30 Présentation de l'équipe Biocomputing

Émilie Allart (), Cristian Versari (Université de Lille 1, )
Biocomputing : Programming Languages for Biological Modeling and Simulation

L'équipe biocomputing s'intéresse à la modélisation et à la simulation de systèmes biologiques. Ces systèmes, du point de vue cellulaire, sont composés d'un grand nombre d'agents biologiques (protéines, gènes, etc.) et d'intéractions entre ces agents. Ces dernières peuvent dépendre de distributions spatiales (gradiants de concentrations, compartimentalisation, etc.) et leur dynamique peut être approximée de façon non déterministe, stochastique ou déterministe. Dans notre approche, un modèle de système biologique est un programme écrit dans un langage de réactions chimiques dont la sémantique est formellement définie et dépend du niveau d'abstraction choisi. Ces modèles doivent permettre de prédire le comportement dynamique des systèmes biologiques et répondre à des questions d'interêt pour les biologistes. Pour ce faire, nous analysons les modèles au moyen d'outils d'analyse de programme (tels que le model checking ou l'interprétation abstraite). Nous pourrons, lors de la démonstration, discuter de travaux que nous réalisons actuellement sur la simplification de modèles qui préservent une notion d'équivalences de modèles (non déterministe et déterministe).

15:30 - 16:30 Démonstration de l'équipe MINT (Salle réalité virtuelle (Ircica))

15:30 - 16:00 Présentation de l'équipe MINT

Laurent Grisoni (Université de Lille 1, )
MINT : Méthodes et outils pour l'Interaction à gestes

L'équipe de recherche MINT s'interesse à l'interaction tactile et gestuelle, c'est-à-dire à l'étude du geste pour l'interaction homme-machine (IHM). Un geste se définit comme le mouvement d'une partie du corps, le plus souvent de la main ou de la tête, pour exprimer une idée ou une commande. Dans le contexte spécifique de l'IHM, nous nous intéressons aux mouvements qu'un système informatique peut capter et auquel il peut potentiellement répondre. Un geste, dans ce contexte, peut être vu comme une fonction qui, en fonction du temps, fournit à l'application un ensemble de données captées, qui peut inclure des positions, sans être limités à cela (la pression exercée sur un écran peut par exemple être utilisée comme variable liée au geste d'interaction, sans être à proprement parler une position).

Le geste de pointage par exemple est utilisé depuis longtemps par les systèmes interactifs, et l'arrivée de technologies fiables de captation ont élargi les classes de gestes utilisables. Le " swipe " pour la navigation sur téléphone mobile, l'utilisation de deux doigts pour la rotation ou le zoom sont maintenant standards sur les systèmes tactiles. Pourtant, le potentiel d'expression du geste reste encore sous-exploité ; le potentiel de captation d'information de la main, lui, est quasiment totalement inexploité pour l'interaction. La diversification et la complexité des tâches où l'informatique entre en jeu appelle à mieux comprendre et utiliser tout le potentiel du geste d'interaction. Notre but est d'accompagner l'émergence de ces nouvelles modalités d'interaction, afin de rendre, à terme, l'interaction plus riche. Nous développons les bases scientifiques et technologiques requises pour faciliter le design, l'implantation et l'évaluation de ces interactions. Nos intérêts scientifiques comprennent :

  • L'interaction gestuelle captée en utilisant des objets portés, tenus ou touchés (tels une souris, un gant de donnée, un écran tactile), ainsi que les technologies de captation sans contact non instrumentées (notamment basées vision) ;
  • La génération algorithmique d'événement d'interaction à partir de la captation ;
  • Les méthodes de caractérisation et de reconnaissance ;
  • Les mécanismes de retour d'information, notamment haptiques et tactiles ;
  • Les outils d'ingénierie permettant le prototypage rapide de technique d'interaction gestuelle et tactile ;
  • Les méthodes d'évaluation pour leur utilisabilité ;
  • Les domaines d'applications tels que ceux de la réalité virtuelle, les activités créatives et de loisirs, l'art et la culture.

16:00 - 16:30 Présentation de l'équipe MINT

Laurent Grisoni (Université de Lille 1, )
MINT : Méthodes et outils pour l'Interaction à gestes

L'équipe de recherche MINT s'interesse à l'interaction tactile et gestuelle, c'est-à-dire à l'étude du geste pour l'interaction homme-machine (IHM). Un geste se définit comme le mouvement d'une partie du corps, le plus souvent de la main ou de la tête, pour exprimer une idée ou une commande. Dans le contexte spécifique de l'IHM, nous nous intéressons aux mouvements qu'un système informatique peut capter et auquel il peut potentiellement répondre. Un geste, dans ce contexte, peut être vu comme une fonction qui, en fonction du temps, fournit à l'application un ensemble de données captées, qui peut inclure des positions, sans être limités à cela (la pression exercée sur un écran peut par exemple être utilisée comme variable liée au geste d'interaction, sans être à proprement parler une position).

Le geste de pointage par exemple est utilisé depuis longtemps par les systèmes interactifs, et l'arrivée de technologies fiables de captation ont élargi les classes de gestes utilisables. Le " swipe " pour la navigation sur téléphone mobile, l'utilisation de deux doigts pour la rotation ou le zoom sont maintenant standards sur les systèmes tactiles. Pourtant, le potentiel d'expression du geste reste encore sous-exploité ; le potentiel de captation d'information de la main, lui, est quasiment totalement inexploité pour l'interaction. La diversification et la complexité des tâches où l'informatique entre en jeu appelle à mieux comprendre et utiliser tout le potentiel du geste d'interaction. Notre but est d'accompagner l'émergence de ces nouvelles modalités d'interaction, afin de rendre, à terme, l'interaction plus riche. Nous développons les bases scientifiques et technologiques requises pour faciliter le design, l'implantation et l'évaluation de ces interactions. Nos intérêts scientifiques comprennent :

  • L'interaction gestuelle captée en utilisant des objets portés, tenus ou touchés (tels une souris, un gant de donnée, un écran tactile), ainsi que les technologies de captation sans contact non instrumentées (notamment basées vision) ;
  • La génération algorithmique d'événement d'interaction à partir de la captation ;
  • Les méthodes de caractérisation et de reconnaissance ;
  • Les mécanismes de retour d'information, notamment haptiques et tactiles ;
  • Les outils d'ingénierie permettant le prototypage rapide de technique d'interaction gestuelle et tactile ;
  • Les méthodes d'évaluation pour leur utilisabilité ;
  • Les domaines d'applications tels que ceux de la réalité virtuelle, les activités créatives et de loisirs, l'art et la culture.

16:30 - 17:00 Pause café (Hall (Ircica))

17:00 - 17:30 Présentation de l'équipe Mocis (Salle du conseil (Ircica))

17:00 - 17:30 Présentation de l'équipe Mocis

Belkacem Ouldbouamama (Université de Lille 1, )
Mocis : Méthodes et Outils pour la Conception Intégrée de Systèmes

La thématique générale qui caractérise l’équipe MOCIS est la «conception intégrée de systèmes énergétiques multiphysiques» qui consiste à aborder de façon simultanée et cohérente les différents aspects de la conception de systèmes automatisés que sont la modélisation, l’analyse, la commande et la surveillance ainsi que l’informatisation de ces procédures. Pour cela, nous avons choisi deux approches complémentaires :

la méthodologie Bond Graph pour ses capacités à modéliser avec une approche unifiée et énergétique les systèmes mettant en œuvre plusieurs domaines de la physique, ses aspects graphiques, et ses propriétés causales et structurelles pour l’analyse et le pilotage dynamique de ces systèmes ; les Systèmes de Systèmes pour leur capacité à modéliser des systèmes complexes faisant apparaître plusieurs niveaux hiérarchiques. Ces travaux à caractère fondamental sont valorisés dans deux principaux domaines applicatifs : "Transport et Robotique" et "Energie et Procédés".

17:00 - 17:30 Présentation de l'équipe Links (Amphitéâtre (Ircica))

17:00 - 17:30 Présentation de l'équipe Links

Pierre Bourhis (CNRS, )
Links : Linking Dynamic Data

L'apparition sur internet du "linked data" (le web des données) appelle à réfléchir à de nouvelles techniques de traitement des bases de données. Les défis classiques de la recherche dans les bases de données doivent désormais être relevés pour ce qui concerne le "linked data": comment définir des requêtes exactes et logiques, comment gérer des mises à jour dynamiques, et comment automatiser la recherche de requêtes appropriées ? Par contraste avec le traditionnel "linked open data" (données ouvertes et liées), le projet LINKS sera centré sur la collecte de "linked data" en différents formats, partant de l'hypothèse que les données sont correctes dans la plupart des dimensions. Ces défis restent difficiles à relever du fait de données incomplètes, de schémas peu instructifs et hétérogènes, du fait d'erreurs subsistantes de données ainsi que des ambiguïtés. Nous développerons des algorithmes pour évaluer et optimiser la logique des requêtes dans la collecte de "linked data", des algorithmes d'apprentissage incrémental permettant de contrôler les flux de "linked data" et pouvant gérer des mises à jour dynamiques des recherches, et des algorithmes d'apprentissage symbolique permettant de déduire par l'exemple des requêtes appropriées pour la collecte de "linked data".