le 23 juin 2016 à 14:00
“Analyse des flux de travail centrés sur les données”.
Les systèmes logiciels centrés sur les bases de données sont devenus omniprésents dans une grande variété d’applications, y compris la gestion des soins de santé, le commerce électronique, les processus commerciaux, les flux de travail scientifiques et l’administration électronique. Ces applications prennent en charge des flux de travail complexes impliquant de nombreux acteurs en interaction, d’où le besoin critique de divers outils d’analyse. Contrairement aux systèmes logiciels arbitraires, les applications basées sur les données sont de plus en plus spécifiées à l’aide d’outils logiques de haut niveau, ce qui facilite grandement la tâche d’analyse. Cette nouvelle opportunité a donné lieu à un domaine de recherche florissant à l’intersection des bases de données et de la vérification assistée par ordinateur, tant dans le milieu universitaire que dans l’industrie. Cette conférence présentera un aperçu des recherches récentes dans ce domaine, menées avec des collaborateurs de l’UC San Diego, de l’ENS-Cachan et de l’INRIA.
Lieu : Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq
En savoir plus...
français
English