Le séminaire « Mégadonnées : questions de recherche en Midi-Pyrénées » s’est déroulé ce jeudi 20 novembre 2014 à l’IRIT et a regroupé 80 personnes. Cette journée scientifique était à l’initiative des chercheurs de l’IRIT, fédérés au sein de l’axe « Masses de données et calcul », en concertation avec les chercheurs de l’Institut de Mathématiques de Toulouse (IMT) qui forment le groupe de réflexion sur le Big Data, mis
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
Emiliano LORINI, chargé de recherche CNRS depuis 2009, au sein de l’équipe LiLaC de l’IRIT vient d’être récompensé de la Médaille de bronze 2014 du CNRS. La Médaille de bronze récompense le premier travail d’un chercheur, qui fait de lui un spécialiste de talent dans son domaine. Cette récompense représente un encouragement du CNRS à poursuivre des recherches bien engagées et déjà fécondes. Emiliano LORINI travaille sur l’analyse formelle des
