Les événements d'Inria Saclay - Ile-de-France

iMatch Optimisation / Contrôle

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Systematic, Cap Digital, Medicen, Finance Innovation, Oséo, le centre francilien de l'innovation, la chambre de commerce et d'industrie de l'Essonne et Digiteo organise le mardi 23 octobre à 14h (Campus de l'École Polytechnique à Palaiseau) des rencontres entre industriels et chercheurs sur le thème de l'optimisation et du contrôle.

L'imatch Optimisation / Contrôle sera centré sur les thématiques suivantes :

Contrôle, optimisation, modèles et applications pour les systèmes dynamiques non linéaires,
Algèbres max-plus et mathématiques de la décision,
Systèmes dynamiques interconnectés dans des environnements complexes,
Contrôle géométrique et planification des trajectoires.

L’après-midi sera organisée en deux parties :

Présentation des principales offres/services technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes Commands, Disco, Geco et Maxplus seront présentes.

Zoom sur les technologies présentées :

Bocop : boite à outil dédié à la résolution de problèmes de contrôle optimal
Shoot : résolution numérique de problèmes de commande optimale pour systèmes dynamiques
Yalta : boite à outil d’analyse de stabilité des systèmes à retard classiques et fractionnaires.
Q-Track : logiciel de calcul automatique de lois de commande pour des systèmes quantiques fermés
IRHD : reconstruction d’image par un algorithme biomimétique
TPLib : évaluation des performances de systèmes dynamiques liés aux évènements discrets
PiGames : modèles et algorithmes de résolution de problèmes de contrôle et de jeux stochastiques à somme nulle de grande taille.

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Conférence d'Adi Shamir

Mon, 15 Oct 2012 09:49:56 GMT

]]>

Mercredi 17 octobre 2012 à 14h, Adi Shamir, figure emblématique de la cryptographie, donnera une conférence à l'École Normale Supérieure de Paris sur le thème : "Improved Algorithms for Composite Search Problems".

Adi Shamir est par ailleurs lauréat de la Grande Médaille de l'Académie des Sciences qui lui sera remise mardi 16 octobre 2012 sous la Coupole de l'Institut de France.

Biographie d'Adi Shamir

Adi Shamir - © ae-info.org

Professeur au département de mathématiques appliquées du Weizmann Institute of Science depuis 1984, où il occupe la chaire Borman de science informatique, Adi Shamir est né à Tel Aviv, en Israël, en 1952.

Le cryptosystème RSA, découvert en 1978 par Adi Shamir, Ron Rivest et Len Adleman, fut le premier à mettre en oeuvre les concepts de chiffrement à clé publique de signatures numériques, définis antérieurement par Diffie et Hellman. Son élégance mathématique reste inégalée, même après vingtcinq ans de recherche académique en cryptographie. Il est évidemment exceptionnel pour des chercheurs en informatique de voir leurs initiales accolées à des millions de produits : le RSA, utilisé dans le monde entier, permet - entre autres - de protéger la confidentialité des données obtenues sur des serveurs Web.

Adi Shamir est l'une des figures emblématiques de la cryptographie et de la cryptanalyse à travers le monde. Il a introduit et mis en oeuvre la notion de partage du secret qui s'est révélée être une idée fondamentale, utilisée non seulement dans la pratique, mais également dans des centaines de travaux théoriques. Sa proposition de générateurs pseudo-aléatoires, fondée sur l'inviolabilité de la fonction RSA, a inspiré le développement de la théorie de la génération d'aléa.

Adi Shamir est, de loin, l'expert le plus éminent en cryptanalyse. Ses plus grandes réussites, dans ce domaine, sont les attaques sur les cryptosystèmes dits "du sac à dos", qu'il a essentiellement éliminés du paysage cryptographique, et l'invention de la cryptanalyse différentielle, première méthode d'attaque systématique des algorithmes de chiffrement par bloc.

Co-inventeur du célèbre schéma d'identification du "Fiat-Shamir", Adi Shamir a ainsi établi l'intérêt pratique des preuves sans transfert d'information, dites aussi "zero-knowledge", dans le contexte de l'authentification et du contrôle d'accès. Les travaux qu'il a ensuite conduits avec ses élèves sur les preuves à témoin indistinguable et les preuves "zero-knowledge" non interactives sont aujourd'hui des pierres angulaires de la recherche théorique en cryptographie.

Enfin, Adi Shamir a apporté des contributions décisives dans d'autres domaines de l'informatique, notamment en théorie de la complexité algorithmique où il a établi l'identité des classes de complexité IP et PSPACE.

Adi Shamir appartient à une tradition de savants célèbres qui ont dédié une partie de leurs recherches à la cryptographie et accompli d'importantes découvertes. Citons parmi eux, Girolamo Cardano et François Viète au XVIe siècle, John Wallis au XVIIe siècle, Charles Wheatstone au XIXe siècle, et plus récemment, Claude Shannon et Alan Turing.

Donnez votre avis sur la recherche en sciences du numérique - Débat citoyen Inria

Thu, 11 Oct 2012 15:13:43 GMT

]]>

Le 19 novembre 2012 à 18h, venez débattre des priorités Inria de la recherche en sciences du numérique sur le plateau de Saclay ! Le numérique est maintenant plus que jamais au cœur de la société, c'est pourquoi Inria a souhaité demander aux citoyens leur vision de l'avenir de la recherche dans ce domaine. En s'appuyant sur un rapide tour d'horizon des grands champs de recherche en informatique et mathématiques appliquées, venez échanger avec les chercheurs du centre Inria Saclay - Île-de-France sur les orientations du plan stratégique de l'institut. Un cocktail clôturera la session et permettra de poursuivre la discussion de façon informelle.

Programme :

18h - Ouverture de la session par Nozha Boujemaa, directrice du centre
18h10 - Trois thématiques abordées, où alternent explications et moments d'échanges :
- Données et connaissances, avec intervention de Serge Abiteboul (équipe Webdam) et de Jean-Daniel Fekete (équipe Aviz)
- Notre sécurité au quotidien, avec intervention de Jean Goubault-Larrecq (équipe Secsi) et de Kostas Chatzikokolakis (équipe Comete)
- Avenir de la santé, avec intervention de Dominique Chapelle (équipe Macs) et de Bertrand Thirion (équipe Parietal)
19h40 - Discussion avec le public sur des sujets transverses
À partir de 20h - Poursuite des discussions autour d'un cocktail

Venez découvrir la science sur le stand Inria !

Wed, 3 Oct 2012 11:11:24 GMT

]]>

Du 12 au 14 octobre 2012, jouez avec les sciences accompagnés de vos enfants sur le plateau de Saclay. Retrouvez les deux ateliers du centre Inria Saclay - Île-de-France dans le village des sciences organisé par Île-de-Science.

Des mots dans le cerveau

Venez jouer pour découvrir comment votre cerveau décode les mots que vous lisez. Défiez-vous les uns les autres pour découvrir le mot mystère !

Mémoire vive

En jouant en équipe, vous pourrez ainsi vous mesurer à vos camarades, vous apprendrez les secrets d'internet, des astuces mathématiques et ce que cache la recherche en informatique.

30e Forum ORAP

Mon, 10 Sep 2012 11:16:33 GMT

]]>

Le 30eme Forum ORAP, collaboration CEA-CNRS-Inria centrée sur le calcul de haute performance, aura lieu le 4 octobre au siège du CNRS à Paris. Le thème central de cette édition est " Évolution des architectures hautes performances et de leur programmation".

Programme :

8:00 Accueil et enregistrement des participants
9:00 Ouverture du Forum

Actualités du HPC

Président de séance : Mark Asch (CNRS)
9:15     La "Maison de la simulation"  - Edouard Audit, Directeur de la Maison de la Simulation
9:45      Bilan de GENCI et de PRACE -  Catherine Rivière, PDG de GENCI
10:15      ETP4HPC : une plateforme technologique européenne pour le calcul haute performance  - Jean Gonnord, Responsable du programme Simulation Numérique, CEA/DAM
10:45 Pause Café / Coffee breack
Président de séance : Jacques David (CEA)
11:15 Languages and Programming Paradigms for Exascale Computing  - Serge Petiton, LIFL, Université de Lille 1
12:00 Towards Exa-scale Systems: Activity in Japan - Taisuke Boku, Deputy Director, Center for Computational Sciences, University of Tsukuba
12:45 Déjeuner / Lunch
Président de séance : Serge Petiton (Université de Lille 1)
14:00 Many-cores et MIC  Speaker, to be announced, Intel Exascale Lab.
14:35 Les directives OpenACC pour la programmation des accélérateurs de calculs  - Stéphane Chauveau, CAPS Entreprise
15:10 GPU Progress in Sparse Matrix Solvers for Applications in Computational Mechanics -  François Courteille, NVIDIA
15:45 Pause Café / Coffee breack
16:00 Optimisation de BigDFT : des GPUs aux nouvelles architectures, vers une génération dynamique  - Brice Videau, INAC, CEA-Grenoble
16:35 Analyse des performances et de la consommation des processeurs embarqués -  Jean-François Méhaut, IMAG
17:10 Clôture du forum

Séminaire Digiteo

Thu, 30 Aug 2012 13:48:29 GMT

]]>

Le RTRA Digiteo organise le 27 septembre prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Hermann Ney, professeur à Katholieke Universiteitet, et aura pour thème : "The route to hidden electronics".

Depuis 2011, Digiteo organise, des séminaires portant sur ses thématiques scientifiques.
En invitant des acteurs de renom de la communauté de la recherche en sciences et technologies de l'information et de la communication, ces conférences ont pour objectif de dynamiser l'animation scientifique du réseau de favoriser les rencontres entre ses chercheurs et d'affirmer son rayonnement international.

Forum annuel Digiteo 2012

Mon, 27 Aug 2012 10:45:25 GMT

]]>

Pour sa cinquième édition, le forum Digiteo se déroulera le 13 novembre à l'École Polytechnique (Palaiseau).

Rendez-vous annuel de la communauté académique des sciences et technologies de l'information et de la communication (STIC), cette journée s'articulera autour de moments forts : conférences, ateliers et rencontres sur l'espace recherche et innovations.

- 3 sessions plénières : enjeux et perspectives pour la recherche en informatique sur des sujets phares comme la cryptographie, la visualisation des réseaux sociaux et le programme Mobilité 2015,

- 4 ateliers interactifs : réflexions et échanges autour de projets transversaux et collaboratifs dans le périmètre du réseau Digiteo,

- L'espace recherche et innovations permettra aux visiteurs de se plonger au coeur des activités de Digiteo et de rencontrer les acteurs du réseau tout au long de la journée. Dans cet espace, démonstrations et posters scientifiques illustreront les objectifs et les résultats des projets de recherche portés par les équipes du réseau. L'équipe valorisation de Digiteo présentera les résultats de ses activités de transfert technologique.

Tout au long de la journée, les participants pourront voter pour leur poster préféré. Le gagnant remportera le financement d'une mission à l'étranger.

Programme provisoire

8h45 Accueil des participants dans l'espace recherche et innovations
9h15 Ouverture
Dominique Vernay, président de la Fondation de Coopération Scientifique Campus Paris-Saclay

Sessions plénières

9h45 - 10h30 Au-delà des pelotes de fils : progrès et défis de la visualisation des réseaux sociaux
Jean-Daniel Fekete, directeur de recherche, Inria Saclay - Île-de-France

10h30 - 11h15 Les Interfaces de programmations cryptographiques : enjeu critique pour la sécurité des données sensibles
Graham Steel, chargé de recherche, Inria Saclay - Île-de-France

11h15 - 11h30 Pause

11h30 - 12h15 L'apport des TIC pour la mobilité - Le programme Mobilité 2015
Jean-Marc Alexandre, responsable programme innovation Energie & Transport, CEA List

12h15 - 14h Cocktail déjeunatoire dans l'espace Recherche et Innovations

Ateliers en parallèle

14h - 15h30

Les TIC, au coeur de la gestion intelligente de l'énergie

Table ronde animée par Yolaine Bourda, directrice E3S "Supélec Sciences des Systèmes", vice-présidente du groupe de travail Systematic "Gestion intelligente de l'énergie"

DigiWorlds, un laboratoire d'excellence pour relever les défis de la révolution numérique

Table ronde animée par Christine Paulin, coordinatrice du labex DigiWorlds, professeure - Université Paris-Sud
15h30 - 17h

Explorer le fonctionnement cérébral par le signal et l'image

Table ronde animée par Bertrand Thirion, directeur de recherche, Inria Saclay - Île-de-France
Avec : Christophe Pallier, INSERM-CEA Cognitive Neuroimaging unit , Antoine Souloumiac, CEA, LIST, LOAD

Digiteo valorisation : un catalyseur pour le transfert de technologie dans les STIC

Table ronde animée par Françoise Fabre, présidente du comité de valorisation de Digiteo, directrice adjointe à la valorisation du CEA

17h Clôture dans l'espace recherche et innovations
Remise du prix du meilleur poster par Maurice Robin, directeur de Digiteo
Cocktail de clôture dans l'espace Recherche et Innovation

Retrouvez-nous à la Nuit des chercheurs 2012 !

Mon, 30 Jul 2012 10:01:05 GMT

]]>

Le centre Inria Saclay - Île-de-France renouvelle sa participation à la Nuit des chercheurs pour l'édition 2012 qui se tiendra le 28 septembre prochain à l'École Polytechnique à Palaiseau (91). Initié par la Commission Européenne, cet événement a pour but de faire connaître le métier de chercheurs aux citoyens. Ainsi, durant une soirée, expositions, atelier et spectacles sont proposes sur des thèmes scientifiques.

Des chercheurs de centres de recherche et des élèves polytechniciens font partager leur passion des sciences autour d’animations ludiques, instructives et étonnantes pour susciter l’intérêt des petits comme des grands.
Cette année sur le stand d'Inria, des chercheurs de l'équipe Amib vous expliquerons le fonctionnement des ARNs : chaque cellule de notre corps comporte notre ADN, porteur de nos gènes. Pour transmettre des messages à travers le corps, l’ADN a besoin de sa copie : l’ARN. Cet ARN est écrit avec 4 lettres qui fonctionnent 2 par 2 : le A avec le U, et le C avec G.
Dans cette animation, nous jouerons à plier et déplier ces ARN en utilisant le moins d’énergie possible. Vous serez confrontés à l’ordinateur… Saurez-vous faire aussi bien que la machine ?

Biomedical Image Analysis Summer School

Thu, 14 Jun 2012 10:42:32 GMT

]]>

Le Center for Visual Computing de l'École Centrale de Paris et l'École des Ponts-ParisTech organisent une école d'été sur le thème de "Biomedical Image Analysis: modalities, methodologies and clinical research du 9 au 13 juillet 2012 à l'École Centrale Paris. Cet événement s'inscrit dans le cadre du "Medical image computing and computer assisted intervention society" (MICCAI).

The school will offer tutorial and advanced imaging lectures. Tutorial lectures will aim to provide access to the research areas in medical physics, applied mathematics & computer science that are used as basis towards developing advanced computer aided diagnosis solutions. Clinical research lectures will be given from leading researchers in the field aiming to present a wide range of clinical imaging research projects and state of the art methods towards their solutions from biomedical imaging view point. The summer school will last five days (Monday to Friday) with morning tutorial lectures and afternoon clinical research lectures.

Interdisciplinary Workshop on Inference

Fri, 25 May 2012 15:40:11 GMT

]]>

Inria et les Mines ParisTech organisent le 12 juin 2012 à l'antenne parisienne du centre Inria Paris-Rocquencourt un workshop intitulé "Interdisciplinary workshop on Inference - Information processing in complex systems with applications to traffic forecasting".

This workshop brings together researchers from statistics, statistical mechanics and machine learning interested in the development of methods and algorithms to process data emerging from complex systems. It is an informal continuation of a preceding meeting (PEPS) held in 2009 in Orsay on similar topics, at the interface between statistical physics and computer science. Some recent convergence of interest between statistical mechanics and machine learning resides in particular in the fact that mean-field methods of statistical mechanics have found their counterpart in terms of powerful message passing algorithms in machine learning. Theoretical questions concerning inverse problem, high dimensional data reduction, compression and restoration will be discussed, to confront complementary viewpoints from the statistics, machine learning and statistical mechanics communities. As a guideline, a special attention will be paid on applications concerning road traffic forecast on large scale networks.

Speakers :

Thibault Espinasse (ESP, Paul Sabatier University, Toulouse): Whittle's approximation for Gaussian fields indexed by graphs: an extension of the theory of time series for applications to road traffic prediction [Abstract]
Florent Krzakala (ESPCI, Paris): Optimal compressed sensing and statistical physics [Abstract]
Jean-Michel Loubes (ESP, Paul Sabatier University, Toulouse): Trafic modelling with processes on graphs
Victorin Martin (Imara, INRIA): a latent Ising model for real-valued variables inference [Abstract]
Marc Mézard (Lptms, CNRS, Orsay)
Yufei Han (CAOR, Mines ParisTech and Imara, INRIA): Towards understanding of global traffic states in large-scale transportation networks [Abstract]
Kazuyuki Tanaka (Tohoku University): Bayesian image modeling by means of generalized sparse prior and loopy belief propagation [Abstract]
Muneki Yasuda (Tohoku University): Advanced susceptibility propagation [Abstract]
Lenka Zdeborová (IPhT, CEA Saclay)

Programmation et génie logiciel

Thu, 24 May 2012 11:13:01 GMT

]]>

Software Carpentry organise, en partenariat avec Inria, une formation à la programmation et au génie logiciel les 28 et 29 juin 2012 à l'antenne Inria à Paris.

What: Our goal is to help scientists and engineers become more productive by teaching them basic computing skills like program design, version control. In this two-day boot camp, short tutorials will alternate with hands-on practical exercises. Participants will be encouraged both to help one another, and to apply what they have learned to their own research problems during and between sessions.

Who: The course is aimed at postgraduate students and other scientists who are familiar with basic programming concepts (like loops, conditionals, arrays, and functions) but need help to translate this knowledge into practical tools to help them work more productively.

Requirements: Participants must bring a laptop with a few specific software packages installed. (The list will be sent to participants a week before the boot camp.)

Content: The syllabus for this boot camp will include:

Using version control to manage and share information: an introduction to git and github
Introduction to Python for scientists
Numerical programming with Numpy and Scipy

2012 Franco-Taiwanese workshop on Energy Management

Thu, 3 May 2012 16:28:13 GMT

]]>

Olivier Teytaud, chercheur au centre Inria Saclay - Île-de-France, organise du 16 au 19 mai 2012, en collaboration avec le National Science Council de Tawain, la National University of Tainan et l'Université Paris-Sud 11 un forum franco-taiwanais sur la gestion de l'énergie.

Séminaire Digiteo

Thu, 3 May 2012 11:41:06 GMT

]]>

Le RTRA Digiteo organise le 24 mai prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Claire Mathieu, professeur d'informatique à Brown University, et aura pour thème : Algorithmes pour l'optimisation avec données bruitées.

4ème édition de la journée des utilisateurs de Scilab

Mon, 23 Apr 2012 14:07:00 GMT

]]>

La journée annuelle des utilisateurs actuels ou futurs de Scilab est devenue le rendez-vous incontournable de la communauté du calcul numérique et de la simulation depuis 4 ans. Organisé dans le cadre du forum Teratec, le ScilabTEC 2012 se déroulera le jeudi 28 juin.
L’espace d’une journée, les utilisateurs de Scilab ont la possibilité de découvrir les récents développements du logiciel, des applications industrielles et de renforcer leurs connaissances du logiciel et de son écosystème.
Outre la possibilité d’échanger entre utilisateurs, de rencontrer l’équipe de développement, les participants auront aussi l’occasion d’avoir des précisions sur la stratégie et le positionnement de Scilab Enterprises avec la présence de Claude Gomez, son directeur général et Jacques Dhellemmes, son vice-président.

Parmi les intervenants confirmés, vous retrouverez :

Will Schroeder, Kitware (keynote speaker)
Jean-Pierre Bovee, Sanofi
Frédéric Pauliac, Astrium
Michel Ravachol, Dassault Aviation

Programme complet à venir prochainement.

PICOF 2012

Thu, 16 Feb 2012 13:09:38 GMT

]]>

La prochaine édition de la conférence PICOF (Problèmes Inverses, Contrôle et Optimisation de Formes) aura lieu du 2 au 4 avril 2012 à l'École Polytechnique (Palaiseau). Elle est co-organisée par le CMAP (Centre de Mathématiques Appliquées) et la chaire MMNS (Mathematical Modeling and Numerical Simulation).

Qu'est-ce que PICOF ?

PICOF est une conférence scientifique bi-annuelle qui rassembles les chercheurs (séniors et juniors) travaillant dans les domaines des problèmes inverses, du contrôle et de l'optimisation de forme.

Cette conférence cherche à rapprocher la communauté de scientifiques et les industriels travaillant dans ces trois domaines.

iMatch Bio-Med Tech

Thu, 16 Feb 2012 10:22:54 GMT

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Médicen, Cap Digital, Systematic, Oséo, le Centre Francilien de l'Innovation, la chambre de commerce et d'industrie de l'Essonne et Digiteo organise le mardi 22 mars 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.

L'imatch Bio-Med Tech sera centré sur les thématiques suivantes :

Algorithmes et modèles pour la biologie intégrative et la biologie des systèmes
Modèles structuraux pour les ARN et les protéines
Modèles d’optimisation/inversion appliqués à l’imagerie médicale et à l’imagerie radar
Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d’IRM fonctionnels
Modélisation d’organes à travers l’extraction, la représentation et la compréhension du contenu des images médicales

L’après-midi sera organisée en deux parties :

Présentation des principales offres/services technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes Amib, Défi, Pariétal et Galen seront présentes.

Zoom sur les technologies présentées :

BioGuide : outil de requêtes pour l’interrogation de bases de données biologiques et médicales avec attestation de qualité des liens
HSIM : système de modélisation et de simulation de la dynamique de grands assemblages moléculaires
Varna : visualisation et calcul de structures tri-dimensionnelles de l’ARN
FVfor Block Torrey : méthode de simulation du coefficient de diffusion dans l’imagerie médicale de diffusion
SciKit Learn : boîte à outils de classification et analyse de données en neurosciences
Mayavi : outil de visualisation 3D
MedInria : traitement, analyse et visualisation de données médicales à l’attention de cliniciens
BrainVisa : outil de visualisation avec données de connectivité anatomiques et fonctionnelles
DropGPU : outil de fusion/recalage d’images 2D et 3D multi-modales sur architecture GPU

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Bouge la science !

Mon, 13 Feb 2012 16:02:55 GMT

]]>

Le centre Inria Saclay - Île-de-France participera le 13 mars prochain à Supélec à une nouvelle édition de Bouge la Science, événement de médiation scientifique organisé par l'association Espérance en Béton.

Bouge la science, une rencontre autour des sciences.

Depuis 15 ans, le rendez-vous Bouge la science réunit dans les locaux de Supélec environ 300 jeunes venus des collèges environnants situés en zones d'éducation prioritaires (ZEP) encadrés par des étudiants de grandes écoles (Supélec, École Polytechnique, HEC, etc.).

Durant toute une journée, les collégiens assistent à des expériences amusantes préparées par les membres des associations étudiantes et découvrent ainsi les sciences de manière plus ludique et abordable qu'en cours.

Pour favoriser les échanges et pourquoi pas les vocations, chaque collégien est encadré par un parrain étudiant, qui l’accompagne tout au long de la journée. Au programme, un parcours au grès des expériences et une visite sur les stands des organismes de recherche et entreprises partenaires.

Cette manifestation scientifique favorise la rencontre de deux mondes autour d’un thème unique : la découverte des sciences.
A l’origine de cette initiative, l’association étudiante Espérance en béton de Supelec en collaboration avec des associations d’autres grandes écoles, et bien sûr les collégiens.

Apprendre en s’amusant sur le stand d'Inria

Sur le stand d'Inria, deux animations :

Un jeu de l’oie pas comme les autres. Le but de ce jeu original : tester les collégiens avec des questions portant sur l’informatique et internet.
Et apprendre à construire et visualiser un réseau social grâce aux chercheurs de l'équipe Aviz

Les technologies du web et de la mobilité au service de l'innovation bancaire et de l'assurance

Thu, 9 Feb 2012 16:20:07 GMT

]]>

Le 3 avril 2012 se déroulera une nouvelle édition des Rencontres Inria - Industrie sur le thème «Technologies du web et mobilité au service de l'innovation bancaire et de l'assurance ». Cette journée est organisée en partenariat avec les pôles de compétitivité Finance Innovation, TES, Picom, Oséo et W3C France.

Cette édition des "Rencontres Inria-Industrie", destinée aux acteurs du monde financier, banquiers, assureurs, éditeurs de logiciels, est consacrée à la problématique du développement des technologie du web et de la mobilité au service de l'innovation bancaire et de l'assurance. Comment améliorer la relation client, proposer de nouvelles interfaces utilisateurs, innover dans le paiement électronique, traiter les grands volumes de données, offrir des services internes et externes évolutifs grâce à un système d'information ouvert et flexible : tels sont les enjeux qui seront abordés au cours de cette journée.

MAP Spring School

Mon, 16 Jan 2012 17:48:59 GMT

]]>

Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library.

A growing population of mathematicians, computer scientists, and engineers use computers to construct and verify proofs of mathematical results. Among the various approaches to this activity, a fruitful one relies on interactive theorem proving. When following this approach, researchers have to use the formal language of a theorem prover to encode their mathematical knowledge and the proofs they want to scrutinize. The mathematical knowledge often contains two parts: a static part describing structures and a dynamic part describing algorithms. Then proofs are made in a style that is inspired from usual mathematical practice but often differs enough that it requires some training. A key ingredient for the mathematical practicionner is the amount of mathematical knowledge that is already available in the system's library.

The Coq system is an interactive theorem prover based on Type Theory. It was recently used to study the proofs of advanced mathematical results. In particular, it was used to provide a mechanically verified proof of the four-colour theorem and it is now being used in a long term effort, called Mathematical Components to verify results in group theory, with a specific focus on the odd order theorem, also known as the Feit-Thompson theorem. These two examples rely on a structured library that covers various aspects of finite set theory, group theory, arithmetic, and algebra.

The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library. The topics covered are:

Formal proof techniques
Structuration of libraries
Encoding of common mathematical structures
Formal description of algorithms

An overview of advanced projects:

The odd order theorem
Constructive algebraic topology
Kepler's conjecture,
Computational analysis,
Fondational investigations.

The school's contents will be organized as a balanced schedule between lectures and laboratory sessions where participants will be invited to work on their own computer and try their hands on a progressive collection of exercices.

Séminaire Digiteo

Mon, 16 Jan 2012 10:40:51 GMT

]]>

Le RTRA Digiteo organise le 8 février prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Rudy Lauwereins, professeur à Katholieke Universiteitet, et aura pour thème : "The route to hidden electronics".

LION 6

Wed, 14 Dec 2011 11:53:08 GMT

]]>

The large variety of heuristic algorithms for hard optimization problems raises numerous interesting and challenging issues. Practitioners are confronted with the burden of selecting the most appropriate method, in many cases through an expensive algorithm configuration and parameter tuning process, and subject to a steep learning curve. Scientists seek theoretical insights and demand a sound experimental methodology for evaluating algorithms and assessing strengths and weaknesses. A necessary prerequisite for this effort is a clear separation between the algorithm and the experimenter, who, in too many cases, is "in the loop" as a crucial intelligent learning component. Both issues are related to designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained from different runs or during a single run can improve the algorithm development and design process and simplify the applications of high-performance optimization methods. Combinations of algorithms can further improve the robustness and performance of the individual components provided that sufficient knowledge of the relationship between problem instance characteristics and algorithm performance is obtained.

This meeting, which continues the successful series of LION events (see LION 4 at Venice, and LION 5 at Rome), is aimed at exploring the intersections and uncharted territories between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. The main purpose of the event is to bring together experts from these areas to discuss new ideas and methods, challenges and opportunities in various application areas, general trends and specific developments.

Journée francophone des langages applicatifs 2012

Thu, 1 Dec 2011 10:19:50 GMT

]]>

Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs c'est-à-dire, de façon large et dans le désordre, les langages ensemblistes, fonctionnels, parenthétiques, à objets ou acteurs, à la fois sur les plans théoriques (nouveaux langages ou dialectes, sémantique de nouveaux traits, compilation, interprétation etc.) et pratiques (utilisation de ces langages, implantation, gestion de mémoire, algorithmes distribués ou parallèles, mesure de performances, etc.).

Monolix Day 2011

Mon, 21 Nov 2011 11:18:14 GMT

]]>

To celebrate the release of version 4 of the Monolix Software, Inria and Lixoft invite you to the third Monolix Day.

Monolix is a software dedicated to the study of non linear mixed effects models for population analysis in pre-clinical and clinical trials.
During the Monolix Day, you will be given the opportunity to discover the latest version of the Monolix Software, meet the Monolix team and get an overview of the new challenges that the Monolix team intends to address in a near future.

Workshop Bioinformatique en Neuroimagerie

Mon, 21 Nov 2011 10:57:33 GMT

]]>

L'Alliance nationale pour les sciences de la vie et de la santé organise le 30 novembre prochain à Paris un workshop sur la bioinformatique en neuroimagerie.

Programme :

9:00 Welcome
Session 1 : Examples and on-going Studies
9:20 The IMAGEN study: reinforcement-related behaviour in normal brain function and psychopathology – G. Schuhmann
10:00 Use of neuroimaging to investigate the genetic basis of human diseases – G.Tan
10:40 Coffee break
Session 2 : Network models for the statistical analysis of neuroimaging-genetic data
11:00 Deciphering network structure via stochastic block model – S. Robin
11:30 Inference of Sparse Gaussian graphical models with latent structure – C. Charbonnier
12:00 Lunch Break
Session 3 : Current developments on genetics, neuroimaging and methods
13:20 Overview of NeuroImaging phenotypes – Roberto Toro
14:00 Modelling networks involved in tumor progression – Emmanuel Barillot
14:40 Coffee break
Session 4 : Methods for the statistical analysis of neuroimaging-genetic data
15:00 Sparse regression models to detect gene effects in GWA studies of brain images – G. Montana
15:30 Multivariate modeling in neuroimaging genetics - C. Beckmann
16:00 Bridging the gap between imaging and genetics : A multivariate approach based on feature selection and sparse Partial Least Squares - E Duchesnay
16 :30 Round table:
Identification of the modeling and computational bottlenecks for sensitive neuroimaging/genetics data analysis – All speakers, animated by H. Benali –
17 :30 Concluding remarks by A. Brice
17:45 Cocktail

5th Seminar on High Performance Numerical Computing

Thu, 6 Oct 2011 17:04:16 GMT

]]>

Programme

10h-11h - A Parametric Approach to Steer the Auto-Tuning of Tools in the DOE ACTS Collection, L. A. Drummond – Lawrence Berkeley National Laboratory
The Advanced Computational Software (ACTS) Collection is a set of computational high-performance tools and libraries developed primarily at DOE laboratories. ACTS tools have substantially accelerated the development of high-end computer simulation codes. The collection provides a wide range of scalable numerical algorithms, auto-tuning tools for automatic optimizations of libraries and tools that support the development of parallel codes and their execution. The diversity of the emerging hardware now poses a great challenge for the scalability of the tools. While new programing languages and paradigms are being devised, we look at exploiting a parametric approach to auto-tune ACTS tools and the applications that used them.
Here, we present the ACTS Collection parametric approach to produce highly tuned libraries and scientific applications. A subset of these parameters steer the optimization of the ACTS tools by using a software dependency graph. This graph in turn combines techniques to auto-tune the numerical kernels. The second subset of the parameters is geared for improving the behavior of the numerical kernels in the ACTS tools. These are arguments that are passed by the application to the numerical functionalities in ACTS at run-time. This talk will introduce the ACTS tools functionalities, the ACTS parametric approach auto-tune their installations with some examples and performance results.

11h-11h40 - Co-Array Fortran programming applied to seismic imaging, France Boillod-Cerneux – LIFL/CNRS
† The work is sponsored by TOTAL), with project advisors: Henri Calandra, Terrence Liao** and Saber Feki. (**primary TOTAL contact: terrence.liao@total.com) and with the most recent result provided by Debjyoti Majumder, Unversity of Houston, and Terrence Liao, TOTAL.
Co-Array Fortran (CAF) is an extension to Fortran language (incorporated in Fortran 2008 Language Standared) for SPMD programming model which allows parallelism. CAF language is part of the PGAS programming model to handle one-sided communication. Its concept is based on the following assumption: ‘A single program is replicated a fixed number of times, each replication having its own set of data objects. Each replication of the program is called an image.’
Since 2009, TOTAL has established collaboration with Prof. Barbara Chapman’s Team at University of Houston, to develop a version of CAF compiler based on OpenUH, an Open64 family of compilers.
The objective of this work is to evaluate the performance of CAF codes using UHCAF compiler vs MPI codes using Intel compiler, on the based code from seismic imaging application for the Oil & Gas exploration.
We concluded that CAF offers more readability and understanding syntax than MPI, regarding the communication operation. Moreover, CAF is better adapted for domain decomposition.
We also studied, based on benchmark communication, the performances of UHCAF compared to MPI for non contiguous data structure, and observed that CAF with GASNet as runtime library offers compatible or even better performance than MPI on non contiguous data structure. In this talk, we will present first the CAF syntax and its concepts. We will then introduce UHCAF operations, and the advantages of CAF regarding the programming ability. We will focus on the UHCAF and Intel MPI performances comparisons for non contiguous data, by using a communication Benchmark. As a conclusion, the performance results obtained from finite difference kernels applied to Isotropic/Tilted Transversely Isotropic media Benchmark, implemented with CAF and MPI are presented.

10h40-12h – Discussions, news and future events

Forum Digiteo 2011

Wed, 28 Sep 2011 11:23:19 GMT

]]>

Rendez-vous annuel de la communauté académique et industrielle des sciences et technologies de l'information et de la communication, cette journée s'articulera autour de séances plénières le matin et ateliers l'après-midi.

L’espace Recherche & Technologies permettra aux visiteurs de se plonger au cœur des activités de Digiteo et de rencontrer les acteurs du réseau tout au long de la journée. C’est dans cet espace que des démonstrations et des posters illustreront les résultats et les objectifs des projets de recherche portés par les scientifiques du réseau.

L’équipe valorisation de Digiteo présentera les résultats des activités mutualisées de soutien à la valorisation.

Inria à la Nuit des chercheurs

Sun, 11 Sep 2011 14:59:15 GMT

]]>

Pour la première année, le centre Inria Saclay – Île-de-France participe à la 6ème édition de la Nuit des Chercheurs qui se déroulera le 23 septembre 2011 à l’École Polytechnique à Palaiseau (91).
Initié par la Commission Européenne, cet événement a pour but de faire connaître le métier de chercheurs aux citoyens. Ainsi, durant une soirée, expositions, atelier et spectacles sont proposes sur des thèmes scientifiques.

Des chercheurs de centres de recherche et des élèves polytechniciens font partager leur passion des sciences autour d’animations ludiques, instructives et étonnantes pour susciter l’intérêt des petits comme des grands.
Si vous souhaitez apprendre la science en vous amusant, rencontrer des robots chiens et humanoïdes, savoir à quoi servent les maths, découvrir la recherche spatiale, comprendre le fonctionnement de l’intestin ou encore communiquer avec des hologrammes… rejoignez-nous !
Des chercheurs de l’équipe Tanc vont feront découvrir par le biais d’un atelier ludique les secrets de la cryptographie.
Ce projet est coordonnée en Île-de-France par l’association Scientipôle Savoirs et Société (S[cube]).

Interfaces de demain

Thu, 30 Jun 2011 15:29:42 GMT

]]>

L’Inria, en partenariat avec le Laboratoire de Recherche en Informatique (Université Paris-Sud 11 & CNRS), Télécom ParisTech, l’Institut de Recherche et d’Innovation et ACM SigCHI vous propose le 7 juillet 2011, de 19h à 21h au Centre Pompidou, un panorama des dernières recherches en intéraction homme-machine.

Des chercheurs vous présenteront les dernières avancées dans le domaine de l’interaction homme-machine sous forme d’une diffusion vidéo organisée en 5 thèmes :

nouvelles technologies
tables interactives
interaction tactile
interaction gestuelle
visualisation d’informations

La diffusion sera suivie d’une discussion informelle autour d’un apéritif.

Forum TERATEC 2011

Fri, 17 Jun 2011 14:07:33 GMT

]]>

Teratec organise les 28 et 29 juin 2011 à l'École Polytechnique (Palaiseau - 91) son forum centré, cette année, sur le thème du calcul intensif et de la conception des systèmes.

En regroupant les meilleurs experts internationaux du calcul haute performance, le Forum TERATEC est un événement majeur en France et en Europe. Il confirme l’importance de ce secteur dans le développement de la compétitivité et des capacités d’innovation des entreprises.

ScilabTEC 2011

Le consortium Sclilab organise, dans le cadre du forum Teratec, et pour la 3ème année consécutive, sa journée des utilisateurs de Scilab.

Cette journée annuelle représente pour le Consortium Scilab l’opportunité d’offrir à ses utilisateurs des échanges ouverts à travers un programme riche et varié ainsi que des solutions d’initiation et d’accompagnement à certaines fonctionnalités et à des applications spécifiques du logiciel.

12e Salon Culture et Jeux Mathématiques

Tue, 10 May 2011 11:10:08 GMT

]]>

L’Inria Saclay – Île-de-France et l’Inria Paris - Rocquencourt iront à la rencontre du grand public sur le Salon Culture et Jeux Mathématiques du 26 au 29 mai 2011 à l’Université Pierre et Marie Curie.

Placé cette année sous le thème « Mathématiques et Chimie », l’Inria présente deux animations :

Construisons les ARN
Chaque cellule de notre corps comporte notre ADN, porteur de nos gènes. Pour transmettre des messages à travers le corps, l’ADN a besoin de sa copie : l’ARN. Cet ARN est écrit avec 4 lettres qui fonctionnent 2 par 2 : le A avec le U, et le C avec G. Dans cette animation, nous jouerons à plier et déplier ces ARN en utilisant le moins d’énergie possible. Vous serez confrontés à l’ordinateur… Saurez-vous faire aussi bien que la machine ?

Mémoire vive
En jouant en équipe, vous pourrez ainsi vous mesurer à vos camarades, vous apprendrez les secrets d'internet, des astuces mathématiques et ce que cache la recherche en informatique.

Horaires :

Jeudi 26 mai 2011 : réservé aux scolaires
Vendredi 27 mai 2011 : réservé aux scolaires
Samedi 28 mai 2011 : 10h à 19h
Dimanche 29 mai 2011 : 10h à 18h

1ère RencontreS[Cube]

Wed, 20 Apr 2011 16:17:10 GMT

]]>

Marc Lavielle (équipe-projet SELECT) et Daniel Augot (équipe-projet TANC) participent au nouveau concept de rencontres avec le public lancé par notre partenaire S[Cube].

Daniel Augot interviendra lors de la RencontreS[Cube] "Qu’est-ce qu’un matheux ?" le 7 mai 2011 de 17h à 18h30 (Espace du Val de Gif à Gif-sur-Yvette).
Marc Lavielle participera à la rencontre "Perdre ou gagner ? Peut-on prévoir ?" le 14 mai 2011, même lieu, même horaire.

Le principe des RencontreS[Cube] est un espace d'échanges entre chercheurs et citoyens : pas de conférence, ni surtout de support de présentation. Chercheurs et public discutent « comme chez soi » avec cependant l'intervention d'un comédien pour scénariser la rencontre.

iMatch Modèles Statistiques

Fri, 15 Apr 2011 15:41:49 GMT

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic, Oséo, le Centre Francilien de l'Innovation, Digiteo et FITT Innovation organise le mardi 24 mai à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.

L’iMatch Modèles Statistiques sera centré sur les thématiques suivantes :

Classification et analyse discriminantes
Modélisation statistique par approche de population
Apprentissage et optimisation
Modélisation probabiliste des irrégularités

L’après-midi sera organisée en deux parties :

Présentation des principales offres/services technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes SELECT, POPIX, TAO et REGULARITY seront présentes.

Zoom sur les technologies présentées :

MIXMOD : Logiciel de classification de données multidimensionnelles en mode non supervisée ou supervisée
MIXMOD HD : Extension du logiciel MIXMOD pour le traitement de tableaux de grande dimension
SMIXMOD : Outil de segmentation non supervisé d’images qui prend en compte une structure spatiale dans les données
MONOLIX : Outil de modélisation utilisant des méthodologies statistiques avancées (domaine de la pharmacologie)
SEGSIG : Algorithmes de segmentation optimale de signaux
MCTS MOGO : Techniques de Monte Carlo Tree Search appliquées à un logiciel de Computer-Go
CMA-ES : Outil pour l'optimisation numérique sans dérivées
COCO : Plateforme pour la comparaison d'algorithmes d'optimisations
FRACLAB : Modélisation probabiliste de l'irrégularité et application à la gestion des incertitudes

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

EuroSciPy 2011

Fri, 15 Apr 2011 15:26:13 GMT

]]>

The EuroSciPy meeting is a cross-disciplinary gathering focused on the use and development of the Python language in scientific research.
This event strives to bring together both users and developers of scientific tools, as well as academic research and state of the art industry.

The “Python in Neuroscience” workshop aims at gathering researchers who develop software tools in different branches of neuroscience in order to share ideas, concepts, tools and to foster collaborative projects based on Python language.
It will be held in conjunction with euroSciPy 2011.

Dates : August 29-30 2011
Place : Ecole Normale Supérieure (Paris)
Website : http://www.euroscipy.org/card/neurosciences_2011

Main Topics :

tools for neural simulation,
electrophysiology data analysis,
data management and databasing in neuroimaging and neuroscience,
stimulus generation
neuroimaging data processing
workflows and pipelines for data processing
massive computation facilities for simulation and data analysis in neuroscience
visualization tools in neuroscience and neuroimaging

Séminaire Digiteo

Thu, 14 Apr 2011 14:59:46 GMT

]]>

Programme

14h15 : Accueil

14h30 :Tobias Isenberg
Professeur à l’Université de Groningen (Pays-Bas)
Titulaire d’une chaire Digiteo

Beyond Pretty Pictures - Interactive Illustration and Scientific Visualization
Computer graphics has developed to a point that it can produce images that are so realistic that they cannot be distinguished from real photos anymore. However, a branch of computer graphics is inspired by traditional illustration and artistic depiction, rather than from the photographic camera. These techniques are increasingly being applied to problems in scientific visualization, forming the field of illustrative visualization. I will show and discuss a variety of techniques in this domain that address problems in medical and molecular visualization.
Often it is not sufficient, however, to be able to produce insightful images but one also has to allow people to interactively explore the visualizations. For this purpose I will introduce approaches that rely on large, touch-sensitive displays that allow people to intuitively and directly manipulate and explore visualizations.

16h00-16h30 : Pause

16h30 : John Hopcroft
Professeur à l’université de Cornell
Prix Turing 1987
Médaille John von Neumann 2010

Computer science theory to support research in the information age
The last forty years have seen computer science evolve as a major academic discipline. Today the field is undergoing a fundamental change. Some of the drivers of this change are the internet, the World Wide Web, large quantities of information in digital form and wide spread use of computers for accessing information. The change is requiring universities to revise the content of computer science programs. This talk will cover the changes in the theoretical foundations of computer science needed to support the information age.

CG Learning Kick-off Workshop

Wed, 13 Apr 2011 10:08:05 GMT

]]>

The CG Learning project is a Specific Targeted Research Project (STREP) funded by the FET (Future and Emerging Technologies) unit of the European Commission (EC) --- priority ICT (Information, Society, Technologies) --- within the 7th Framework Programme of the EC under contract No. 255827.

Le workshop précède le 27th Annual ACM Symposium on Computational Geometry.

Orateurs confirmés :

Kenneth Clarkson, IBM Almaden Research Center
Topic: Geometric optimization and structure in high dimensions
I. Quadratic programming in the simplex: coresets and sparsity
II. Quick and dirty feature extraction: sampling and sketching
III. Quicker and dirtier quadratic programming: regret bounds and sublinear optimization
Herbert Edelsbrunner, Instiute of Science and Technology, Austria
Topics: Computational Topology
I. Persistent Homology.
II. Algorithms.
III. Applications.
Suresh Venkatasubramanian, School of Computing at the University of Utah
Topic: The Geometry of Probability Distributions
I. Distances between distributions: classification and properties.
II. Estimation and dimensionality reduction for distributions.
III. Beyond information theory: metric-aware distances between distributions.

CSF 2011

Mon, 28 Mar 2011 16:21:31 GMT

]]>

The Computer Security Foundations Symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled "The Foundations of Computer Security - We Need Some." The meeting became a "symposium" in 2007, along with a policy for open, increased attendance.

Code Generation and Optimization 2011

Mon, 28 Mar 2011 16:00:00 GMT

]]>

The International Symposium on Code Generation and Optimization (CGO) provides a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conferences spans the spectrum from purely static to fully dynamic approaches, including techniques ranging from pure software-based methods to architectural features and support.

Symposium on Computational Geometry 2011

Thu, 24 Mar 2011 16:16:30 GMT

]]>

The 27th Annual Symposium on Computational Geometry will be held in Paris.
The topics of the Symposium reflect the rich diversity of research interests in computational geometry. They are intended to highlight both the depth and scope of computational geometry, and to invite fruitful interactions with other disciplines.

SECSI Colloquium

Mon, 14 Feb 2011 10:34:40 GMT

]]>

Le Laboratoire de Spécification et Vérification (LSV) de l'ENS Cachan organise un colloquium de 2 jours avec conférences d'orateurs invités et la soutenance d'HDR de 3 membres de l'équipe SECSI (Stéphanie Delaune, Steve Kremer et Graham Steel).

iMatch Réseaux / Bases de Données Distribuées

Fri, 14 Jan 2011 12:01:36 GMT

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic, Cap Digital, Oséo et le Centre Francilien de l'Innovation, organise le mardi 8 février à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur les problématiques autour des standards des réseaux locaux, sans-fil et ad-hoc d'une part, et sur les plate-formes et systèmes riches en données hétérogènes et distribuées d'autre part.

L’iMatch Réseaux / Bases de Données Distribuées sera centré sur les thématiques suivantes :

Réseaux, protocoles IP et nouveaux standards Télécoms
Problématiques des réseaux locaux, sans-fil, ad-hoc et des nouveaux réseaux de capteurs
Techniques optimisées de géolocalisation
Fiabilité des réseaux Télécoms et sécurité des trafics
Conception de plates-formes riches en données hétérogènes et distribuées
Déploiement de systèmes capables de faire face au volume et à la complexité croissante des données

L’après-midi sera organisée en deux parties :

Présentation des principales offres/services technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes HIPERCOM, LEO et MEXICO seront présentes.

Zoom sur les technologies présentées :

OLSR : protocoles de routage permettant des communications ad-hoc, sans-fil, multi-saut
MOST : mise en place de services de diffusion multimédia sur les réseaux mesh ou mobiles ad-hoc
ViP2P : construction d’informations collaboratives et annotations sémantiques
TAXOMAP : automatisation de mappings sémantiques et alignement d’ontologies
LN2R : outil de réconciliation de données
ITS : sécurité des trafics de réseaux

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Journée francophone des langages applicatifs 2011

Tue, 21 Dec 2010 17:14:05 GMT

]]>

3e Rencontre MIXMOD

Wed, 17 Nov 2010 14:17:43 GMT

]]>

MIXMOD (MIXture MODelling) est un logiciel permettant de traiter des problématiques d'estimation de densités, de classification ou d'analyse discriminante. La 3e édition de la conférence aura lieu le jeudi 2 décembre 2010 à Lyon.

Programme :

Accueil (9h30-10h)

Matinée (10h-12h)

Introduction à MIXMOD
(G. Celeux, Inria)

Mixmod vu du côté utilisateurs et développeurs
(F. Langrognet, CNRS, U. Franche-Comté)

Modèles de mélanges gaussiens : quelles applications en chimiométrie ?
(C. Ruckebusch, LASIR, U. Lille 1, CNRS)

Déjeuner offert (12h-14h)

Après-midi (14h-16h)

Nouveautés et perspectives méthodologiques pour MIXMOD
(C. Biernacki, U. Lille 1, CNRS, Inria)

Analyse des matériaux anciens
(S. Cohen, IPANEMA-SOLEIL)

Sélection de variables en classification et en analyse discriminante
(C. Maugis, IMT, INSA Toulouse, U. Toulouse)

Applications en pharmacogénétique
(O. Delrieu, PGXIS, UK)

Pot de clôture

iMatch Sécurité / Preuve de Programmes

Wed, 10 Nov 2010 17:48:38 GMT

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic et Oséo, organise le mardi 23 novembre à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème de la sécurité et preuve de programmes.

L’iMatch Sécurité / Preuve de Programmes sera centré sur les thématiques suivantes :

Vérification de protocoles cryptographiques
Détection d’intrusions
Analyse statique de programmes, dans le but de détecter des trous de sécurité et des vulnérabilités au niveau protocolaire
Modèles et méthodes de preuve de programmes
Développement de logiciels critiques pour lesquels le besoin de certification est important

L’après-midi sera organisée en deux parties :

Présentation des principales offres technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes SECSI, PROVAL, TANC, et COMETE seront présentes.

Zoom sur les technologies présentées :

Tookan : test de vulnérabilité sur matériel de sécurité sous la norme PKCS#11 (cartes à puce)
Orchids : vérification protocole cryptographique à travers une API Cryptologie
Avote : système de vote électronique sécurisé
Why : outil de génération de preuves
Alt-Ergo : prouveur spécialement mis au point pour la vérification de programmes
Tifa et Sea : systèmes cryptographiques robustes tirés de l’arithmétique des nombres, à destination de la sécurité des transactions ou des données

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Inria fête la science !

Mon, 27 Sep 2010 21:46:06 GMT

Venez rencontrer l'Inria à la Fête de la Science, du 20 au 22 novembre 2009, au gymnase du Moulon, sur le plateau de Saclay

Inria Saclay - Île-de-France et Inria Paris-Rocquencourt iront à la rencontre du grand public sur le Salon Culture et Jeux Mathématiques du 27 au 30 mai 2010.

Placé cette année sous le thème "La science près de chez vous", l’Inria présente deux animations :

Les robots sont-ils notre avenir ?

La recherche dans le domaine de la robotique est en plein essor. Pour preuve, tous les quinze jours, un nouveau robot (humanoïde ou pas) voit le jour au Japon.

Mais comment les animer, leur faire résoudre des problèmes ou encore les rendre autonomes?
C’est ce que vont vous faire découvrir les chercheurs de l’Inria.

Compréhension des mathématiques et de l'informatique

Plusieurs petites animations pour mieux comprendre les ordinateurs et les maths qu'on utilise en informatique, avec tour de magie pour expliquer comment on détecte qu'un ordinateur a mal transmis des données, et exemple de différentes organisations d'un dictionnaire.

Horaires

Vendredi 22 novembre de 9h à 16h30 (réservé aux scolaires)
Samedi 23 octobre de 13h à 18h (tout public - entrée gratuite)
Dimanche 24 octobre de 11h à 18h (tout public - entrée gratuite)

]]>

Forum annuel Digiteo

Mon, 27 Sep 2010 15:55:37 GMT

]]>

Pour sa troisième édition, le forum Digiteo se déroule le 12 octobre à l’école Polytechnique (Palaiseau).

Cet événement est rythmé par des conférences plénières, des ateliers thématiques animés par des experts dans leur domaine.

Tout au long de la journée, l’Espace Exposition vit au rythme des démonstrations de projets en cours de valorisation. Véritable vitrine de la recherche menée au sein de Digiteo, cet espace donne une vue d’ensemble de l’offre de recherche et de l’offre technologique du réseau.

Avec plus de 60 posters présentant leurs projets de recherche, les doctorants du plateau de Saclay font connaître les résultats de leurs travaux.

La place est également donnée aux pôles de compétitivité, réseaux partenaires et projets de grande ampleur qui présentent l’étendue de leurs activités.

Cette année encore, le forum Digiteo est le lieu de rencontres entre les chercheurs en informatique du plateau de Saclay, des doctorants prometteurs et les industriels du secteur.

Journée de bilan de la Chaire MMSN

Mon, 27 Sep 2010 15:33:25 GMT

]]>

La chaire de Modélisation Mathématique et Simulation Numérique organise mercredi 13 octobre 2010 une journée de bilan.

Conference on Concurrency Theory 2010

Tue, 7 Sep 2010 11:40:20 GMT

]]>

La conférence internationale CSDM 2010 a pour objectif de regrouper plus de 200 chercheurs et industriels intéressés par la conception et la maîtrise des grands systèmes complexes. 16 conférenciers de renommée internationale animeront ces 3 journées sur les grands défis sociétaux et industriels, et l’état de l’art scientifique et méthodologique.

Le site web CONCUR 2010