La revue scientifique The Reasoner de l’Université de Kent publie une interview d’Emiliano Lorini, Directeur de Recherche CNRS – département IA – équipe LILaC, en logique et en intelligence artificielle.
Dans le cadre de la Graduate School du Eurographics Symposium on Geometry Processing (SGP), Nicolas Mellado, Chargé de recherche CNRS au département SI – équipe STORM, est intervenu sur le concept de reproductibilité en informatique graphique. Dans l’interview qu’il nous a accordé, Nicolas Mellado nous présente les avantages de la reproductibilité dans la recherche.
Nous publions la sixième vidéo de la série d’interviews présentant des travaux de recherche de nos différents départements. Jean-Michel BRUEL, enseignant-chercheur au département FSL – Équipe Sm@rt, explique son travail de recherche sur le génie logiciel.
L’IRIT est laboratoire d’accueil de 5 postes d’enseignants-chercheurs recrutés au 01/09/2021.
Les profils de ces postes sont disponibles sur le site Galaxie :
Responsables : et La plateforme TouIST propose un langage de haut niveau pour modéliser en logique divers problèmes de manière très compacte en faisant appel à des solveurs. Elle se compose : d’une interface graphique permettant la saisie interactive du modèle visé ; d’un module de traduction (compilateur) du langage d’entrée de TouIST vers un langage directement compréhensible par différents solveurs ; d’un module de visualisation des modèles calculés
Une délégation de l’Université NUAA (Nanjing University of Aeronautics and Astronautics), de Nanjing (Chine) était accueillie à l’IRIT le 20 Septembre. Cette visite fait suite à une collaboration de longue date avec l’équipe ACADIE (Assistance à la Certification d’Applications DIstribuées et Embarquées) qui portait principalement sur des aspects logiciels (Langages d’architecture). Au cours de cette rencontre fructueuse, il a été convenu d’approfondir nos échanges scientifiques à d’autres branches de l’informatique.
Responsable :
Responsable :
Responsable :
Responsable :
