Action stratégique Calcul, Données, IA

Responsables :  et Cette action stratégique concerne les différentes facettes du traitement et du calcul de données massives et couvre à la fois les infrastructures et les algorithmes. Dans ce contexte le caractère massif des données sera lié non seulement à la volumétrie mais aussi à la complexité de traitement, à la dynamicité et à la difficulté d’accès. La notion d’infrastructure recouvre l’ensemble des fonctions nécessaires à l’exploitation d’équipements, de

Lire la suite…

Leslie LAMPORT, le prix Turing 2013 présent à Toulouse, lors de la conférence ABZ 2014

Leslie LAMPORT, le prix Turing 2013 présent à Toulouse, lors de la conférence ABZ 2014

La conférence internationale ABZ 2014 (Abstract State Machines, Alloy, B, TLA, VDM and Z), se tiendra à l’INP-ENSEEIHT à Toulouse, du 2 au 6 juin 2014. Yamine Ait Ameur, enseignant-chercheur INP-ENSEEIHT / Laboratoire IRIT – Equipe ACADIE, est co-président de cette 4e édition d’ABZ. Il a convié Leslie LAMPORT, chercheur chez Microsoft Research Mountain View Silicon Valley, en tant que conférencier invité. Leslie LAMPORT, spécialiste de l’algorithmique répartie, vient d’obtenir

Lire la suite…