Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Les anciennes Une de l’IRIT > 2014

2014

Page(s) : < < 1 | 2 | 3 | 4 |>

19 mai 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 le prix Turing 2013, souvent considéré comme l’équivalent du prix Nobel en Informatique, ce dont nous le félicitons chaleureusement.

Lire la suite

19 mai 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 et posters sur les thèmes du Big data, Cloud computing, E-santé, Imagerie / 3D / Réalité virtuelle, Internet des objets et Mobilité.

Une opportunité pour les PME de détecter des innovations et d’engager des collaborations !

Lire la suite

19 mai 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

Lire la suite

13 mai 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 ?
  • Marie-Pierre GLEIZES, Samedi 17 mai à 9h30 : Créer le campus du futur

Lire la suite

12 mai 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.

Lire la suite

2 avril 2014

Voeux 2014

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

Lire la suite

2 avril 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 cœurs.

Elle est actuellement ouverte aux chercheurs et étudiants de l’IRIT ainsi qu’aux personnes extérieures à l’IRIT souhaitant l’utiliser sous certaines conditions.

Pour plus d’informations veuillez consulter son site Web : osirim.irit.fr.

Lire la suite

2 avril 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 dans cette optique.

Lire la suite

2 avril 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 pour aller plus loin.

Ce livre s’adresse principalement aux curieux, aux étudiants et aux enseignants même non informaticiens.

Lien éditeur

Lire la suite

2 avril 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.

Lire la suite

Page(s) : << 1 | 2 | 3 | 4 |>