2805, 2014

Visite du NICT (National Institute of Information and Communications Technology) à l’IRIT

Afin d’engager de nouvelles collaborations internationales, l’IRIT a reçu le 22 mai 2014 une délégation japonaise du NICT (National Institute of Information and Communications Technology) accompagnée par le Professeur Henri Angelino, professeur invité du National Institute of Informatics Tokyo, et par le Professeur Gilbert Casamatta, Président de l’IRT-AESE. Cette délégation était composée de : Professeur Masao SAKAUCHI, Président du NICT Fumihiko Tomita, Vice Président, Directeur de recherche et Responsable de

1905, 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

1905, 2014

Séminaire de Neha RUNGTA à l’IRIT, le jeudi 15 mai à 15h30

Neha RUNGTA, chercheure à la NASA Ames Research Center, California est invitée à l’IRIT. Elle fera un exposé le jeudi 15 mai à 15h30, à l’auditorium Jacques Herbrand, intitulé : Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans Abstract: The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and

0204, 2014

Séminaire de Wil VAN DER AALST à l’IRIT

Wil VAN DER AALST, professeur de Systèmes d’Informations à l’Université Technique d’Eindhoven (TU/e) est invité à l’IRIT et fera un exposé le Mardi 25 Mars à 15 h, à l’auditorium Jacques Herbrand intitulé : Mine Your Own Business”: Evidence-Based BPM using Process Mining Résumé de la conférence et courte biographie en anglais Abstract: Recently, process mining emerged as a new scientific discipline on the interface between process models and event