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

Venez rencontrer les chercheurs de l’IRIT sur l’Innovation IT Day le mardi 27 mai 2014

L’Innovation IT Day est l’événement régional qui réunit le même jour, en un même lieu, toute la chaine de l’innovation numérique : laboratoires de recherche, startups et PME innovantes, grands comptes industriels. Cet événement a lieu dans le cadre de la Mêlée Numérique en partenariat avec la Mêlée et le cluster DigitalPlace. L’IRIT y présentera des projets de recherche, des thèses en cours, des démonstrations, via des conférences, présentations blizz

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

1305, 2014

L’IRIT sur Futurapolis les 16 et 17 mai 2014

Lancé en 2012 par Le Point, en partenariat avec Toulouse Métropole et la Région Midi-Pyrénées, Futurapolis est un forum annuel, dédié à l’innovation dans tous les domaines de la vie quotidienne. 2 chercheurs de l’équipe SMAC de l’IRIT y interviendront dans le cadre du « Marathon des créatifs ». Ils auront 30 minutes pour convaincre. Frédéric AMBLARD, Vendredi 16 mai à 15h00 : Comment mieux gérer les catastrophes naturelles ?

1205, 2014

Soirée technologie industrielle le 28 avril 2014 – Le web sémantique et les données

Nathalie AUSSENAC, chercheure et responsable de l’équipe MELODI de l’IRIT a participé le 28 avril 2014 à la soirée “technologie industrielle” sur le web sémantique et les données, organisée par Midi-Pyrénées Innovation et la Chambre de Commerce et d’Industrie (CCI) de Toulouse. Un public nombreux a permis de nouer de fructueux contacts entre le milieu académique et industriel.

0204, 2014

Voeux 2014

Cliquez sur l’image pour voir l’animation en plein écran

0204, 2014

La plateforme OSIRIM disponible à l’IRIT dans sa configuration définitive

OSIRIM est une plateforme matérielle localisée et administrée par l’IRIT. Elle est financée par le FEDER, le gouvernement Français, la région Midi-Pyrénées et le CNRS. Cette plateforme met à disposition des utilisateurs une architecture matérielle et logicielle pour soutenir des activités scientifiques liées à l’analyse et/ou l’exploitation de grands volumes de données. Elle est composée d’une zone de stockage d’une capacité d’environ 1Po et d’un cluster de calcul de 640

0204, 2014

Les chercheurs de l’IRIT à l’édition Midinnov 2014

Chaque année le PRES de Toulouse est présent sur le salon MIDINNOV via un stand “Recherche et valorisation”. Ce stand a notamment accueilli des chercheurs de l’IRIT ayant répondu à la thématique des ” Big Data expliqué aux entreprises “, choisie cette année parmi les 5 animations du salon. L’IRIT a ainsi eu l’occasion de présenter ses forces et compétences dans ce domaine et de rencontrer des industriels venus spécifiquement

0204, 2014

Monographie sur les logiques modales : les arcanes de la sémantique de Kripke

Apprendre en faisant. C’est ce que cet ouvrage vous propose sur un sujet habituellement perçu comme abstrait : les logiques modales. Grâce au logiciel LoTREC librement distribué et complément indispensable du livre, vous pourrez facilement simuler le comportement de chacune de ces logiques, des plus simples aux plus complexes, de manière très progressive, et ainsi percer les arcanes de la sémantique de Kripke. De nombreux exercices pratiques vous seront proposés

0204, 2014

Digiteyezer, la photo 3D grand public

Récemment, Frédéric Courteille et Benoît Bocquillon, ex-doctorants IRIT de l’équipe TCI ont présenté dans différents média l’idée fondatrice de leur start-up Digiteyezer. Cette start-up née suite à leurs travaux de doctorats concernant la vision monoculaire et les contributions à l’autocalibrage des caméras, développe désormais des solutions de numérisation 3D selon des critères de simplicité d’emploi et de conditions économiques accessibles au grand public. Extraits video Grand public : BFM TV