Des chercheurs de l’IRIT sur le Kiosque du Museum “Sciences et Handicaps”

Le dimanche 7 décembre 2014 aura lieu au Museum de Toulouse un kiosque sur le thème “Sciences et Handicaps”. Une dizaine de chercheurs de l’IRIT, aux côtés d’autres scientifiques de laboratoires toulousains, participeront à cette journée, qui sera l’occasion de rencontres, discussions et démonstrations qui feront le lien entre recherches fondamentales et défis technologiques. De nombreux sujets scientifiques seront abordés autour des : Systèmes de rééducation et de suppléance Langue

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