Les événements d'Inria Sophia Antipolis - Méditerranée

15th International Conference on Medical Image Computing and Computer Assisted Intervention

Mon, 01 Oct 2012 00:00:00 +0200

]]>

Inria (French Institute for Research in Computer Science and Applied Mathematics) is organising MICCAI 2012, the 15^th International Conference on Medical Image Computing and Computer Assisted Intervention. MICCAI attracts annually world leading scientists, engineers and clinicians from a wide range of disciplines associated with medical imaging and computer assisted surgery.

General topics of the conference include medical image computing, computer-assisted intervention, guidance systems and robotics, visualization and virtual reality, computer-aided diagnosis, bioscience and biology applications, specific imaging systems, and new imaging applications. The conference series includes three days of oral presentations and poster sessions.

The quality and importance of posters are considered to be on a part with oral platform presentations. All oral and poster papers are published in the MICCAI Conference Proceedings, which is having an increasing impact on the field. The conference series includes workshops and seminars just before and/or after the conference. These associated workshops and seminars focus in detail on current status and advances in the topics of MICCAI.

International Spring School on Formalization of Mathematics

Mon, 12 Mar 2012 00:00:00 +0100

]]>

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.

Colloque ModSysC2020 - Données, modèles et théories pour les systèmes complexes : défis et opportunités

Wed, 07 Mar 2012 00:00:00 +0100

]]>

Des chercheurs de disciplines variées se réunissent à Montpellier le mercredi 7 mars 2012 autour de la modélisation des systèmes complexes. Objectif : mieux comprendre les mécanismes fondamentaux de la vie et de l’environnement pour mieux faire face aux défis de demain.

Que sont les systèmes complexes ?

Un système complexe est constitué d'un grand nombre d'acteurs en interaction, ce qui empêche l'observateur de prévoir son comportement ou son évolution par le calcul.

Pourquoi les étudier ?

Les lois qui régulent l’environnement et la vie sur Terre impliquent des processus intervenant à des échelles spatiales et temporelles très différentes.

La modélisation et la simulation numérique de ces systèmes complexes sont cruciales pour comprendre les phénomènes et mécanismes fondamentaux de la vie et de l’environnement mais aussi des dynamiques sociales et économiques qui en découlent, pour améliorer notre capacité à faire face aux défis de demain dans un monde où les changements s’accélèrent.

Notre monde de plus en plus équipé technologiquement produit à chaque instant de grandes masses de données et d’informations. Toutes ces données doivent être collectées, traitées, stockées et partagées afin de créer des solutions intelligentes qui analysent, interprètent et prédisent des processus complexes pour les décideurs des secteurs publics et privés.

L'étude des systèmes complexes est menée par des communautés de chercheurs d'origines diverses : biologistes, informaticiens, mathématiciens, physiciens, chimistes, spécialistes de la biodiversité, l'écologie, l’environnement, l’eau, les sciences de la terre, l'agronomie, le management, les sciences politiques et sociales, l’économie...

La région de Montpellier présente l’avantage de réunir des communautés scientifiques visibles et reconnues internationalement, qui réalisent déjà des recherches de renommée mondiale dans de nombreux domaines, tant en recherche fondamentale qu’appliquée.

Comment étudier les systèmes complexes ?

Les systèmes complexes sont par essence… complexes donc compliqués.

Ils ne sont compréhensibles que s’ils sont appréhendés par une chaîne scientifique qui va de leur observation à leur modélisation et leur simulation. Il est important de d’abord les observer en détail en prenant tout le temps nécessaire, car les relations nouées dans ces systèmes se déroulent sur des durées parfois longues pour être correctement observées. Cette observation génère un énorme flux de données qu’il faut sauver, préserver et organiser de façon à pouvoir utiliser l’ensemble de ces données facilement. Il y a un vrai défi dans la capacité à pérenniser et organiser les masses de données de l’observation des systèmes complexes.

Mais il est impossible de les comprendre par la seule observation car les relations entre acteurs de ces systèmes sont trop complexes et certaines demeurent difficiles à observer. Il faut donc utiliser l’énorme corpus d’information récolté pour développer les modèles qui peuvent expliquer ces données et construire les simulations qui permettront de prédire leur évolution.

Visualisation et analyse de données avec ParaView

Thu, 23 Feb 2012 00:00:00 +0100

]]>

Dans le cadre de ses séminaires, l'Equipe-Projet GALAAD reçoit Philippe Pebay (Kitware) qui présentera ParaView, une application multi-plateforme pour la visualisation des données scientifiques en 2 et 3 dimensions.

ParaView est une application multi-plateforme pour la visualisation des données en 2 et 3 dimensions, distribuée sous forme de logiciel libre (BSD-2). ParaView est conçu pour pouvoir être exécuté aussi bien sur des machines mono-processeur que sur des plateformes parallèles de grande taille, et a été testé avec succès sous Linux, Windows, Mac OS X, IBM Blue Gene, Cray XT3 et divers autres systèmes UNIX, en série et en parallèle. Sur une machine parallèle, ParaView peut traiter efficacement de très grands ensembles de données : à ce jour, ParaView a été utilisé par Sandia National Laboratories pour visualiser des maillages structurés contenant jusqu'à 6 milliards d'éléments, et des maillages non structurés en contenant un quart de milliard.

ParaView utilise le Visualization Tool Kit (VTK) comme moteur d'analyse, de visualisation et de rendu des données, dont il expose une bonne partie des algorithmes et de leurs options au moyen d'une interface utilisateur graphique Qt intuitive, modulaire et adaptable, permettant un assemblage aisé de "pipelines" de visualisation complexes. Toutefois, bien que l'interface habituellement utilisée par la majorité des utilisateurs pour accéder aux fonctionnalités de ParaView soit cette interface graphique, qui est en fait un client d'un ou plusieurs serveurs ParaView, il est possible de la remplacer entièrement par une interface spécialisée en vue d'application particulière ou d'un "workflow" typique. De plus, l'interface Python de ParaView donne accès à tous les algorithmes ou paramètres non présentés dans le client graphique, le prototypage rapide, ou encore l'exécution en mode "batch".
ParaView est utilisé par de nombreuses institutions gouvernementales, académiques, ou commerciales sur tous les continents. Sa licence ouverte ne permet pas de connaître de manière précise son nombre d'utilisateurs actifs, mais il est raisonnable de penser que celui-ci est de l'ordre de plusieurs milliers, en se basant par exemple sur le nombre de téléchargements (73.000 depuis des adresses IP uniques en 2010). Sa communauté de développeurs actifs, en intégrant celle de VTK sur laquelle ParaView est fondé, compte plusieurs dizaines de membres.
Le but the cette présentation est de donner un aperçu global de ParaView, en expliquant les traits saillants du processus de visualisation et d'exploration de données, en particulier dans le contexte du calcul et du post-traitement en parallèle Les concepts essentiels tels que "pipeline" et "filtres" seront abordés et illustrés par de nombreux exemples tirés d'applications à divers domaines du calcul scientifique et de l'ingénierie numérique. Enfin, l'accent sera mis sur les données de très grande taille traitées en parallèle sur des machines distribuées.

i-Snake - Imaging–Sensing Navigated and Kinematically Enhanced Surgical Robot

Thu, 16 Feb 2012 00:00:00 +0100

]]>

Reduced patient trauma and recovery time combined with improved precision and dexterity for micro-scale tasks are major benefits of robotically assisted Minimal Invasive Surgery (MIS).

This lecture outlines key clinical challenges and research opportunities in developing biomimetic robotic systems integrated with in situ, in vivo imaging and sensing towards the future evolution of medical robotics. The lecture will cover the latest developments in fully articulated, bio-inspired (e.g. Snake) robot platforms that facilitate intra-luminal or extra-luminal anatomical curved pathway navigation with integrated sensing and navigation. It addresses key theoretical considerations of bio-mimetic control for intra-operative manipulation under dynamic local/global constraints, as well as the current paradigm shift and clinical demand for bringing cellular and molecular imaging modalities to an in vivo, in situ setting to allow for real-time tissue characterization, functional assessment, and intraoperative guidance. Issues concerning effective, natural human-robot interface are discussed and example implementations for these highly redundant robot platforms based on the concept of perceptual docking are provided.

Action recognition from video: some recent results

Thu, 01 Dec 2011 00:00:00 +0100

]]>

While recognition in still images has received a lot of attention over the past years, recognition in videos is just emerging. In this talk I will present some recent results.

Bags of features have demonstrated good performance for action recognition in videos. We briefly review the underlying principles and introduce trajectory-based video features, which have shown to outperform the state of the art. These features are obtained by dense point sampling in each frame and tracking them based on displacement information from a dense optical flow field. Trajectory descriptors are obtained from motion boundary histograms, which are robust to camera motion.

We then show how to integrate temporal structure into a bag-of-features model based on so-called actom sequences. We localize actions based on sequences of atomic actions, i.e., represent the temporal structure by sequences of histograms of actom-anchored visual features. This representation is flexible, sparse and discriminative. The resulting model is shown to significantly improve performance over existing methods for temporal action localization. Finally, we show how to move towards more structured representations by explicitly modeling human-object interactions. We learn how to represent human actions as interactions between persons and objects. We localize in space and track over time both the object and the person, and represent an action as the trajectory of the object with respect to the person position, i.e., our human-object interaction features capture the relative trajectory of the object with respect to the human. This is shown to improve over existing methods for action localization.

Semaine européenne de la Robotique : Journée Portes ouvertes à Inria

Tue, 29 Nov 2011 00:00:00 +0100

]]>

Sous l’égide des réseaux de robotique académique EURON et de robotique industrielle EUROP, et pendant une semaine, les acteurs de la robotique européenne mettent en place diverses initiatives à travers toute l’Europe pour promouvoir auprès du grand public les recherches et avancées technologiques dans ce domaine.

A ce titre, les chercheurs des équipes Coprin et Arobas du Centre Inria à Sophia Antipolis feront découvrir, à l’occasion d’une journée portes ouvertes au grand public et aux scolaires, leurs dernières avancées dans les domaines de la navigation automatique, des véhicules autonomes et de l’assistance à personnes à mobilité réduite.

Déroulement journée du mardi 29 novembre

Matinée 9 h à 13 h : réservée à l'accueil de scolaires (niveaux collèges et lycées)
Après-midi 14 à 17 h : ouverte à tous

Démonstrations proposées

Par l'équipe Arobas sur la navigation automatique :
- Démo 1 (en intérieur) : Reconstruction 3D photo-réaliste et localisation temps réel par vision
- Démo 2 (en extérieur) : Véhicule autonome en environnement urbain
Par l'équipe Coprin et le projet PAL sur l'assistance à la personne :
- Démo 1 : Un déambulateur pour l'analyse de la marche et la détection de chute
- Démo 2 : Environnement pour l'assistance à domicile

Depuis de nombreuses années, la robotique est un des axes majeurs de la politique scientifique d’Inria.

Dans le domaine de l’assistance à la personne, l’action d’envergure PAL (Personally Assisted Living) vise à créer une infrastructure qui permette à ces équipes d’Inria qui travaillent sur ces technologies d’assistance à la personne de les expérimenter ensemble et de partager leur expérience. L’objectif est de rétablir une certaine autonomie et une qualité de vie aux personnes âgées ou dépendantes.

Dans le domaine du développement durable, la problématique de la cité du futur est également abordée au travers de nouveaux modes de transports autonomes, non polluants et bien adaptés aux centres urbains. Ces nouveaux modes de transports exploitables en mode partagé doivent s’intégrer dans une réflexion plus globale d’interopérabilité avec les transports de masse.

Le coeur numérique personnalisé

Tue, 22 Nov 2011 00:00:00 +0100

]]>

Dans le cadre de la séance thématique de l'Académie de Médecine, sur la "Modélisation numérique des organes. Vers une médecine et une chirurgie personnalisées", Nicholas Ayache, responsable de l'équipe-projet Asclepios, interviendra sur le thème "Le coeur numérique personnalisé".

Programme de la séance du 22 novembre 2011 :

Introduction par Gilles CREPIN (Académie nationale de Médecine)

Communications :

Modélisation de la colonne vertébrale et du rachis par Jean DUBOUSSET

Modélisation du thorax en choc automobile par Xavier TROSSEILLE

Le cœur numérique personnalisé par Nicholas AYACHE

Modélisation biomécanique des mobilités des organes pelviens : vers une médecine personnalisée par Michel COSSON

Introduction to Kernelization

Thu, 17 Nov 2011 00:00:00 +0100

]]>

Preprocessing or data reductions means reducing the input to something simpler by solving an easy part of the input and this is the type of algorithms used in almost every application. In spite of wide practical applications of preprocessing, a systematic theoretical study of such algorithms remains elusive.

The framework of parameterized complexity can be used as an approach to analyse preprocessing algorithms. Input to parameterized algorithms include a parameter (in addition to the input) which is likely to be small, and this resulted in a study of preprocessing algorithms that reduce the size of the input to a pure function of the parameter (independent of the input size). Such type of preprocessing algorithms are called kernelization algorithms. In the talk we give an overview of some classical and new techniques in the design of kernelization algorithms.

Estimation non paramétrique de dynamique non linéaires

Tue, 25 Oct 2011 00:00:00 +0200

]]>

L'équipe-projet Modemic (commune avec INRA et SupAgro) organise un cycle de séminaires dans le domaine de la modélisation mathématique.

Dans la plupart des analyses de données dynamiques, on suppose connu un modèle d'équation différentielle et l'objectif est d'estimer les paramètres associés. Notre objectif est sensiblement différent, puisque nous supposerons inconnue la forme de l'équation ou alors nous voudrons vérifier qu'un modèle proposé s'ajuste bien aux données. Dans un premier temps, nous remarquerons que tout processus suffisamment régulier est une solution d'une équation différentielle du premier ordre perturbée par un terme stochastique. En utilisant une méthode d'estimation à noyaux, nous obtiendrons un estimateur non paramétrique de cette équation différentielle. Les propriétés de l'estimateur seront étudiées puis illustrées sur des données de croissance humaine.

Erol Gelenbe's seminars

Tue, 25 Oct 2011 00:00:00 +0200

]]>

These seminars give the opportunity to researchers and PhD students to present their work in the field of telecommunication networks.

At Inria Sophia Antipolis centre, this research is leaded by three projects:

MASCOTTE, for the development of methods and tools, with particular emphasis on the design of the telecommunication networks, circuit-switched networks and mobile networks (graph theory, parallel algorithms....)
MAESTRO, for the modelling and performance evaluation of networks (queueing theory, Markov chains....)
PLANETE, for the design, implementation and evaluation of Internet protocols and applications.

Each week, a member of one of these three projects or an invited speaker gives a presentation of one hour, with a particular emphasis on the general problem considered and on the technics used. These seminars are intended for a large and non-specialist audience.

On october, the invited speaker is Erol Gelenbe, Professor in the Dennis Gabor Chair, Electrical and Electronic Engineering Department, Imperial College London. He will present two seminars :

25th of october (2 pm): Self Aware Networks and QoS

We will present results from an ongoing experimental research project which focuses on ways in which a packet network can pursue goals that satisfy its users needs, based on self-observation and adaptation by the network itself. The technique uses our ideas from the Cognitive Packet Network patent with smart packets that are routed to search the best available paths according to user specified QoS criteria. The method has been applied to conventional QoS metrics such as delay, loss and jitter as well as to other criteria such as energy consumption and security.

27th of october (2 pm): Networked Auctions

Auctions have become a common technique for economic exchanges in the Internet, and this talk will outline a theory of auctions where buyers and sellers compete collectively, resulting in the emergence of equilibrium economic outcomes. The underlying mathematics is derived from queueing theory and the analysis we present results in product form equilibrium solutions.

About the Speaker

Erol's current research addresses self-organised communications, as well as broader issues of the theory of networked systems including chemistry, bioinformatics, economics and physics, and his recent papers appear in the Physical Review, as well as in ACM and IEEE journals. Born in Turkey, Erol founded the performance evaluation research activities at Inria and in French Universities, and his work has had world wide impact. As a result he was the first computer scientist to receive the Prix France Telecom in 1996, he was elected to the Academy of Sciences of Hungary and Turkey, he received the ACM SIGMETRICS Life-Time Achievement Award and is a Fellow of ACM and IEEE. A member of Academie des Technologies, he received honoris causa doctorates from the Universities of Liege, Roma II, and Bogazi i (Istanbul), and Italy awarded him the Commander of Merit and Grand Officer Medals.

Riviera DEV 2011

Thu, 20 Oct 2011 00:00:00 +0200

]]>

Le centre de recherche Inria Sophia Antipolis - Méditerranée accueille la prochaine grande conférence de développeurs de la Côte d´Azur.

Après Sophia fait sa Java en 2009, et Sophia Conf 2010, le Riviera JUG et Inria continuent sur leur lancée et vous proposent une nouvelle conférence pour développeurs sur Sophia Antipolis avec cette fois encore, de la grande qualité, des bons orateurs sur des technos modernes et innovantes, et surtout une conférence conviviale dans notre belle région.

Cette année, nous changeons une fois de plus notre conférence de nom, puisque nous devenons Riviera DEV, ce qui comprend:

1 keynote
2 jours
3 tracks (Java, Recherche et Web)
6 talks par track chaque jour
…soit pas moins de 34 conférences

Réseaux d'automates: trente ans de recherche

Thu, 20 Oct 2011 00:00:00 +0200

]]>

Je vais vous raconter comment on a obtenu, aux alentours de l'année 1979, les premiers résultats mathématiques sur la dynamique de ce qui s’appelle aujourd'hui les réseaux de neurones artificiels et qui font aujourd’hui partie du cursus classique de toute école d’ingénieurs.

Le succès de ces résultats m’a amené, à partir d’une étrange lettre que j’ai reçue au début de vacances à Grenoble, à me passionner pour les fourmis. Je suis quand même arrivé à tirer de certains modèles formels de ces séduisants insectes quelques résultats de complexité .... Et, s’il s'agit des fourmis, pourquoi pas les tas de sable? Beaucoup d’individus interagissant de façon simple, mais, avec des résultats globaux étonnants ? Et voilà que, à partir d'une suggestion que m’a faite le mathématicien L. Lovasz à un congrès à Sao Paulo vers la fin des années 1980 et les conversations que j’ai eues à Santiago et à Paris avec le cher feu Schutz (Marco Schützenberger), je me suis attaqué a ce sujet avec un tel succès que je peux dire sans trop me tromper que c’est moi qui ai inoculé cette maladie ou ce virus à un grand nombre de collègues français. Pour finir, si j’ai le temps, je voudrais vous faire rigoler un peu. Etant donné que je vous ai déjà parlé des fourmis je me permettrai de vous raconter mon histoire personnelle de cigale : je vous dirai pourquoi il y a des espèces qui ne chantent que tout les 17 ans et ... si jamais j’ai encore un petit brin de temps, je vous raconterai également comment des informaticiens et un physicien peuvent interpréter les phénomènes de ségrégation. Toute autre chose que je n’ai pas dite ici pourra être évoquée dans la conférence ou bien elle était inscrite dans la marge de ce cahier.

Data Management in the Cloud

Tue, 18 Oct 2011 00:00:00 +0200

]]>

Le Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM) organisera un Colloquium animé par le Pr. Amr El Abbadi, « Data Management in the Cloud », dans l’amphithéâtre Saint Priest (situé sur le Campus Saint Priest, au nord de Montpellier). La conférence sera donnée en anglais.

Invité par l'équipe de recherche Zénith (INRIA, LIRMM), M. Amr El Abbadi est Professeur d'Informatique à l'Université de Californie, Santa Barbara (USA).

La présentation du Pr. Amr El Abbadi aura lieu à 10h30 dans l’amphithéâtre Saint Priest.

Un accueil petit-déjeuner sera proposé sur place à partir de 10h. Si vous souhaitez en bénéficier, merci de vous inscrire au plus vite auprès de Justine Landais : landais@lirmm.fr ou 04 67 14 97 48.

Résumé

In this talk, we analyse the design choices that allowed modern scalable data management systems to achieve orders of magnitude higher levels of scalability compared to traditional databases.With this understanding, we highlight some design principles for data management systèmes that can be used to augment existing databases with new cloud features such as scalability, elasticity and autonomy.

Fête de la science 2011

Wed, 12 Oct 2011 00:00:00 +0200

]]>

Les chercheurs du centre Inria Sophia Antipolis - Méditerranée participent à plusieurs événements : rencontres et échanges avec des lycéens et participation au Week end des Sciences à Sophia Antipolis.

Du 10 au14 octobre : Pour la quatrième année consécutive, les chercheurs Inria animeront plusieurs ateliers, activités, conférences avec les jeunes toute la semaine dans plusieurs lycées des Alpes Maritimes.
- Au lycée Audiberti à Antibes :
  - Lundi 10 octobre : Thierry Viéville et Martine Olivi débattront sur les sciences du numérique
- Au lycée Henri Matisse à Vence :
  - Mardi 11 octobre : Pierre Bernhard interviendra sur 2 sujets : "Des insectes et des mathématiques" et "D’un paradoxe en trafic urbain à la théorie de l’évolution, l’équilibre de Wardrop et ses avatars"
  - Vendredi 14 octobre : Monique Teillaud présentera le "Traitement numérique de la géométrie (Lorsque nos maths s’incarnent dans les ordinateurs)"
- Au lycée Jules Ferry à Cannes :
  - Mercredi 12 octobre : Maureen Clerc interviendra sur le sujet Cerveau-Ordinateur
- Au Centre International de Valbonne :
  - les jeudi 13 et vendredi 14 octobre : stand "Comptoirs du numérique" avec projection d'un film sur l'histoire de l'informatique et des interventions de chercheurs sur différents sujets : Tokamak et la fusion, les ondes et leur propagation, les biocarburants......
  - Vendredi 14 octobre (10 à 12 h, grand amphi) conférence de Fabien Gandon : Les quatre aveugles et l'éléphant web, ou les chroniques d'un web non documentaire

Le samedi 15 et dimanche 16 octobre : Participation au "Week end des sciences à Sophia Antipolis" avec plusieurs animations au programme :
- La robotique pour tous
- Shamash : des algues en biocarburant : comment faire que les sciences informatiques
  aident à un développement plus durable
- Démo OpenVibe : Interface Homme Machine: de l'activité cérébrale à la commande numérique.
- Une main gauche artificielle : quand les équations de mathématiques s'incarnent dans un système robotique
- Grâce au jeu de l'oie Mémoire vive, vous pourrez confirmer ou enrichir vos connaissances en informatique en vous amusant.
Et plein d'autres animations organisés par les partenaires de Persan : concert des sciences, chasse au trésor....

Finale 9ème édition Challenge Jeunes Pousses

Fri, 07 Oct 2011 00:00:00 +0200

]]>

Le centre Inria Sophia Antipolis - Méditerranée accueille la finale de la 9ème édition du Challenge Jeunes Pousses !

Il y a bientôt un an, 9 équipes d'étudiants se formaient pour porter leur projets de création d'entreprise en compétition. Après six mois de coaching et une demi-finale serrée en mars dernier, les trois meilleurs projets, Alter'Innov (levée de fonds par "crowdfunding" et "web participatif"), Light Care (un bracelet médical alliant technologie, design et bien-être) et Program'O (un boitier de douche high tech qui règle température et pression de l'eau) ont été retenus pour la finale du CJP.

Programme :

16h30 : Accueil - Amphithéâtre Morgenstern

16h45 : Présentation des projets en compétition

18h15 : Délibération du Jury

18h45 : Remise du Prix Isabelle Attali à l’équipe gagnante

19h15 : Cocktail

Le Challenge Jeunes Pousses porté par la commission Emploi-Formation de l'association Telecom Valley est un concours qui a pour objectif principal de sensibiliser les étudiants des Alpes-Maritimes à l'entrepreunariat dans le domaine de l'innovation (à partir de BAC+4). Plus largement, ce concours a pour vocation de créer une véritable passerelle entre le monde académique et le monde industriel.

Le prix remis au gagnant porte le nom d'Isabelle Attali, directrice de recherche Inria. Dès 2002, Isabelle Attali, alors responsable de la Commission «Emploi-Formation» de l'association Telecom Valley, convainc cette dernière et plusieurs entreprises de sponsoriser cette initiative. Au cours du Challenge Jeunes Pousses les étudiants des deux mondes se rencontrent et travaillent ensemble sur le «business plan» de leur future entreprise. Les étudiants ont ainsi la possibilité de se frotter à l'expérience enrichissante de la création d'entreprise au cours de leur cursus universitaire.

"L'important pour nous ce n'est pas tant que ces projets aboutissent réellement à la création d'une entreprise, mais que nous ayons pu donner l'envie de créer et que les étudiants aient pu avoir, à travers ce challenge, une expérience de création d'entreprise. Le challenge s'inscrit avant tout dans le programme de formation qu'ils suivent."
Isabelle Attali

En mission scientifique au Sri Lanka en décembre 2004, Isabelle Attali est surprise et emportée par la vague déferlante du tsunami. Isabelle était attachée à cet esprit d'échange et de challenge, c'est pourquoi Telecom Valley, Inria où travaillait Isabelle, et l'ensemble de l'équipe organisatrice ont décidé de lui rendre un hommage particulier en remettant le Prix Isabelle Attali aux gagnants du Challenge Jeunes Pousses qui recevront également un prix d'aide au démarrage de leur structure.

European Research Network on System Identification

Sun, 25 Sep 2011 00:00:00 +0200

]]>

Modelling of dynamical systems is fundamental in almost all disciplines of science and engineering, ranging from life science to plant-wide process control. Engineering uses models for the design and analysis of complex technical systems. System identification concerns the construction, estimation and validation of mathematical models of dynamical physical or engineering phenomena from experimental data.

European Research Network System Identification (ERNSI) was launched in 1992 by the European Commission as a SCIENCE project.

8th International Conference on Computer Vision Systems

Tue, 20 Sep 2011 00:00:00 +0200

]]>

While most computer vision conferences focus on either algorithms or applications, the 8th International Conference on Computer Vision Systems (ICVS 2011) addresses issues arising in the design and deployment of computer vision /systems/.

Its scope includes but is not limited to the following topics:

Building Vision Systems: paradigms, architectures, integration, control
Real-time and Mobile Vision: embedded systems, non-standard hardware, mobile applications
Vision for the Real World: robustness, learning, adaptability, self-assessment, failure recovery
Vision for Action: robotics, human-computer interaction, perception-action loops
Vision in Context: knowledge representations, reasoning, goal specification, context awareness
Biological Vision: computer vision inspired by biology or psychology
Performance Evaluation: benchmarks, methods and metrics

ICVS brings together researchers and developers from academe and industry around the world. Due to its perspective on systems, it is a platform for knowledge and technology transfer and for the identification of application-driven research questions.

Semaine de la mobilité

Mon, 19 Sep 2011 00:00:00 +0200

]]>

Dans le cadre de la semaine européenne de la mobilité, l'équipe-projet Axis organise une série de rencontres avec les citoyens à Nice, Antibes et Sophia Antipolis autour de la qualité urbaine et/ou des transports. Ces expérimentations s'inscrivent dans le cadre du ICT usage Lab qui vise à mettre au point de nouveaux produits et services s'appuyant sur les sciences du numérique centrés sur les utilisateurs et les usages des nouvelles technologies.

Mesurer plus pour polluer moins 20/09/2011 (Journée) - 22/09/2011 (Journée)
Venez découvrir des approches participatives d'amélioration de la qualité urbaine en venant participer aux expérimentations ELLIOT et rencontrer l’équipe-projet AxIS d'Inria à Nice les 20 (promenade des Anglais station vélo bleu 89) et 22 (Place Masséna) septembre 2011.

L'info qu'il me faut quand il faut ! 19/09/2011 - 08:30 - 21/09/2011 - 18:00
Créons ensemble les services de mobilité de demain ! l’équipe AxIS de l’INRIA animera un atelier créatif conçu comme un lieu d’échange et de partage d’expériences des transports en commun.
L’objectif est de concevoir de nouveaux services de mobilité répondant au besoin de l’usager des transports en commun.
Venez exprimer vos besoins et créons ensemble les services de mobilité de demain !

Le ICT Usage Lab a pour objectif d'aider les différents acteurs de la chaîne de l'innovation technologique de la région PACA, à concevoir et mettre au point de nouveaux produits et services s'appuyant sur le STIC. Les différents partenaires du ICT Usage Lab mutualisent leurs ressources matérielles, techniques et humaines pour supporter des expérimentations d'innovation ouverte centrées sur les utilisateurs et les usages des nouvelles technologies.

Workshop PAL 2011 : Workshop Health & Well-being

Mon, 19 Sep 2011 00:00:00 +0200

]]>

L'autonomie des personnes âgées et leur maintien à domicile est un enjeu important ouvrant des perspectives de recherche intéressantes pour les Equipes-Projets inria (EPI). Afin de promouvoir cette thématique et de coordonner au sein de l'Institut les activités de recherches concernées, une Action d'Envergure rassemble neuf équipes-projets des centres de Nancy, Grenoble, Sophia Antipolis, et Rennes en une entité transversale appelée PAL (Personally Assisted Living).

Le 19 septembre 2011, un atelier de travail est organisé au Centre de Recherche Inria Sophia Antipolis - Méditerranée pour présenter cette Action d'Envergure et les recherches engagées. Le but de cette réunion est de partager les expériences et les ambitions avec des acteurs extérieurs intéressés par la thématique de la santé et du bien vivre au domicile.

Ce workshop est organisé dans le cadre de la 8ème conférence internationale sur les systèmes de vision par ordinateur (ICVS2011).

Finale Challenge MED In Tunis SUP'COM

Wed, 13 Jul 2011 00:00:00 +0200

]]>

Telecom Valley, Inria et la Fondation Sophia Antipolis, organisent en partenariat avec l'école SUP'COM Tunis, le Challenge MED In Tunis Sup’Com, adaptation du Challenge Jeunes Pousses, destiné aux étudiants tunisiens. La dernière finale aura lieu à Inria le 13 juillet 2011 à Sophia Antipolis.

Sous l'initiative d'Inria, l'école Sup'Com de Tunis profite du voyage de fin d'études de ses étudiants sur Sophia Antipolis pour se frotter au regard des professionnels sophipolitains, entre deux visites de la technopole.

En avril dernier les étudiants, ont participé en Tunisie à un concours de projets de création d'entreprises innovantes, le "Challenge Projet d'Entreprendre®".

Le "Challenge MED in Tunis Sup'Com " est une adaptation du célèbre CJP de Telecom Valley pour accueillir les huit meilleures équipes du "Challenge Projet d'Entreprendre®". Les projets seront coachés et jugés sur deux finales de 4 équipes devant deux jurys sophipolitains.

Au total 140 étudiants tunisiens se déplaceront à Sophia Antipolis pour participer au concours ou pour supporter leurs camarades.

La Tunisie est donc mise à l'honneur cette année et plus particulièrement le rapprochement entre les technopoles El Gazala en Tunisie et Sophia Antipolis en France.

Programme

Mercredi 13 Juillet : Finale à Inria « Amphithéâtre Morgenstern », présidée par Gérard Giraudon, directeur du centre Inria Sophia Antipolis - Méditerranée

16h30: Accueil
16h45: Présentation des projets
18h45: Délibération du Jury
19h15: Remise des prix par PIerre Laffitte, Président de la Fondation Sophia Antipolis, et Gérard Giraudon
19h30: Cocktail

Fin des inscriptions le lundi 11 Juillet - cliquez ici

Conférence Cloud Computing, Security and Trust

Thu, 07 Jul 2011 00:00:00 +0200

]]>

Le Pôle SCS, en partenariat avec l’Inria, HP, MedInSoft et ActiveEon, organise une conférence internationale sur le thème « Cloud Computing, Security & Trust », ainsi qu'un training "PACA Grid Infrastructure (1200 cores)".

La conférence du 7 juillet fera intervenir plus de 15 intervenants experts dans leur domaine qui présenteront différents aspects du Cloud : la recherche, l’aspect légal et standardisation, le financement de projets européens, les solutions existantes aujourd’hui et les défis à relever concernant la sécurité, la confidentialité et l’intégrité des données dans l’environnement Cloud.

Les objectifs sont multiples:

Rassembler les acteurs industriels et académiques de la Région PACA et intéressée d’acquérir une meilleure compréhension des solutions existantes et à venir dans l’environnement Cloud Computing.
Mettre en avant les acteurs de la Région, engagés ou intéressés par le modèle du Cloud
Favoriser l’émergence de nouveaux projets de R&D innovants dans la thématique du Cloud Computing

Cette journée thématique se poursuivra le 8 juillet par un training, gratuit, également sponsorisé par HP, sur la plateforme ProActive PACA Grid Infrastructure pilotée par l’Inria.

SophiaConf 2011 - Les Pingouins ne bronzent pas idiots .....

Mon, 04 Jul 2011 00:00:00 +0200

]]>

Juste avant les vacances, la Commission Open Source de Telecom Valley vous invite au cycle de conférences gratuit SophiaConf2011, du 4 au 7 juillet, où vous pourrez apprendre et échanger avec les meilleurs experts, vos confrères et consoeurs de Sophia Antipolis.

SophiaConf2011 vous propose un programme technique et méthodologique pointu au cours duquel nous échangerons sur : Open Data, l'Open Source sur plateforme mobile et embarquée, Android 3.0 et les méthodologies de développement agiles.

Au programme : Technique et Méthodologie

Lundi 4 juillet, 17h30 à 20h - Polytech' Sophia, Site des Lucioles
Open Source, Mobile et Embarqué, par Philippe GARNIER (ST-Ericsson),

Mardi 5 Juillet, 17h30 à 20h - Inria, Route des Lucioles
Open Data, par François BANCILHON (Data Publica),

Mercredi 6 juillet, 17h30 à 20h - Inria, Route des Lucioles
Android 3.0 et Tablettes, par Arnaud FARINE (eXpertise @ndroid),

Jeudi 7 Juillet, 17h30 à 20h - Polytech' Sophia, Site des Lucioles
Développement Agile, par Véronique MESSAGER (Ici et demain) et Benoît GANTAUME (AGILiDEE),

Le centre de Sophia Antipolis accueille la 3e JAM SESSION

Wed, 29 Jun 2011 00:00:00 +0200

]]>

Le centre de Sophia Antipolis accueillera la 3ème édition d'Inria alumni JAM SESSION.

Inria alumni est un réseau professionnel qui regroupe les membres d'Inria, anciens et actuels : jeunes et moins jeunes, thésards, chercheurs et ingénieurs, professionnels des services de la recherche.

Programme :

13h : Accueil et café

13h45 : Bienvenue, Gérard Giraudon, Directeur du centre Inria Sophia Antipolis - Méditerranée

14h-15h : Conférence "Les labyrinthes du web: une histoire dont vous êtes les héros", Fabien Gandon, Inria Sophia Antipolis - Méditerranée

15h-15h45 : ACTE 1 - Echanges à thèmes (sessions parallèles)
- Importance des réseaux sociaux, Michel Buffa, Université Nice Sophia Antipolis
- Les indicateurs d’excellence, Jean-Pierre Merlet, Inria Sophia Antipolis - Méditerranée

15h45-16h30 : ACTE 2 - Echanges à thèmes (sessions parallèles)
- Le Web mobile, Dominique Hazaël-Massieux, Marie-Claire Forgue, W3C
- Après la thèse: Recherche ou industrie?, Gérard Berry, Inria et Anne Schroeder, CSRT (Conseil Supérieur de la Recherche et de la Technologie)

16h30-17h30 : "Programmation Diffuse", Manuel Serrano, Inria Sophia Antipolis - Méditerranée

17h30 : Clôture, François Bancilhon, Président d'Inria Alumni, Data Publica

17h45 : Cocktail, avec animation musicale TBC

Cérémonie de remise des prix des Olympiades de mathématiques et géosciences

Wed, 15 Jun 2011 00:00:00 +0200

]]>

Sous le patronage de Mme Claire LOVISI, recteur de l'Académie de Nice, le centre Inria Sophia Antipolis - Méditerranée accueille la remise des prix des Olympiades de mathématiques et de géosciences 2011.

Les olympiades de mathématiques et de géosciences participent au développement et à la valorisation de la culture scientifique et stimulent chez les élèves l'initiative et le goût de la recherche.

Les 11èmes Olympiades de Mathématiques sont menées en partenariat avec l'Inria, les sociétés Texas Instrument et Microsoft, et le jury académique récompensera 22 candidats.

Les 4èmes Olympiades de Géosciences, menées en partenariat avec le laboratoire Géoazur, le CNRS et l'Observatoire de la Côte d'Azur, permettront de récompenser 10 candidats de l'académie.

Programme

9 h 30 : Accueil
10 h 00 : projection du film "Pour quoi tu cherches ?", un condensé sur l'histoire de l'informatique
10 h 30 : conférence de Pierre Alliez, directeur de recherche Inria sur "Traitement numérique de la géométrie, lorsque nos maths s'incarnent dans les ordinateurs"
11 h 30 : remise des prix

Ecole d'été : Fonctions de Bellman en Analyse Harmonique

Tue, 14 Jun 2011 00:00:00 +0200

]]>

L'usage des fonctions de Bellman en Analyse Harmonique a été introduit par Donald Burkholder dans son calcul de la norme de la "transformation martingale" dans l'espace Lp. A dire vrai, Burkholder lui-même n'a probablement pas remarqué les liens entre ses calculs et le Contrôle Optimal, ou bien ne cherchait pas à les développer. Ces liens sont devenus fort transparents dès lors qu'on a a examiné la preuve de Burkholder et systématisé les idées les plus novatrices de son approche.

Le sujet est particulièrement adapté à l'enseignement des jeunes chercheurs, parce que :

il établit un lien étroit et riche en applications entre l'analyse pure et le Contrôle Optimal,
il permet de faire avancer les recherches dans les deux domaines,
il peut rapidement engendrer une connaissance professionnelle et pratique d'une des méthodes les plus puissantes de cette branche de l'analyse.

Le format approximatif proposé est le suivant : 8 cours de 1h20 assurés par A.Volberg, suivis par 8 cours de "TD" assurés par V.Vasyunin ("Construire vos fonctions de Bellman en pratique").

Mathematical models for the cardiovascular system: analysis, numerical simulation, applications

Thu, 09 Jun 2011 00:00:00 +0200

]]>

The role of mathematics in understanding and simulating fluid dynamics and biochemical processes in the physiological and pathological functioning of the human cardiovascular system is becoming more and more crucial.

These phenomena are indeed correlated with the origin of some major cardiovascular pathologies, and influence the efficacy of the treatments to heal the arteries from their diseases.
Mathematical models allow the description of the complex fluid-structure interaction which govern the
artery wall deformation under the pressure pulse. Moreover, appropriate reduction strategies can be devised to allow for an effective description of the interaction between large, 3D components, and small 1D branches of the circulatory system, as well as the transfer of drugs and chemicals between the arterial lumen and the vessel wall.
This presentation will address some of these issues and a few representative applications.

Géométrie algorithmique et théorie de l'apprentissage

Thu, 09 Jun 2011 00:00:00 +0200

]]>

Cet école d'été, financée par le projet européen Computational Geometric Learning sera un événement satellite du Symposium on Computational Geometry.

Objectif

Cette école d'été s'inscrit dans le cadre du projet européen CGL ("Computational Geometric Learning"), qui vise à développer des liens entre la géométrie algorithmique et l'apprentissage. Plusieurs aspects seront abordés. Un premier concerne l'analyse des nuages de points par des méthodes géométriques et topologiques, qui connait depuis quelques années un développement rapide. Comme exemples de domaines d'applications de ces techniques, on peut citer l'étude des espaces de conformations des protéines en biologie structurale, celle des espaces de configuration de robots en robotique, ou encore celle de la distribution des galaxies dans l'univers en cosmologie. Un autre thème de l'école sera l'application des techniques de la géométrie algorithmique à l'accélération d'algorithmes classiques intervenant dans l'apprentissage automatique, comme la programmation quadratique ou la recherche de plus proches voisins en grande dimension.

Ecole CEA-EDF-Inria - Vers la simulation numérique pétaflopique sur architectures parallèles hybrides

Mon, 06 Jun 2011 00:00:00 +0200

]]>

Cette école s'adresse aux étudiants, chercheurs ou ingénieurs qui s'intéressent au calcul scientifique haute performance, en particulier en vue de simulations numériques frontières en physique numérique.

Objectif

Bénéficiant des performances toujours croissantes des moyens de calcul informatique, le calcul scientifique trouve aujourd'hui de nombreuses applications tant industrielles que d’intérêt pour la qualité de vie dans notre société (environnement et santé). Pour traiter de la complexité des problèmes qui se posent aujourd'hui aux milieux de la recherche et de l'ingénierie, le calcul parallèle est devenu un passage incontournable pour exploiter pleinement ces ressources de calcul. Les systèmes de calcul pétaflopiques (et bientôt exaflopiques) se présentent comme des architectures massivement parallèles hétérogènes. Ces systèmes sont basés sur des noeuds à architecture mémoire non‐uniforme (NUMA) interconnectés par des réseaux rapides, chaque noeud s'organisant autour d'un ensemble d'unités de calcul hétérogène: carte multi‐coeurs, processeurs graphiques (GPU) ou d'autres types de carte accélératrice.
Ces unités de calcul sont alimentées par des unités mémoire multi‐étages complexes et tirer le meilleur profit (i.e. avec une performance soutenue proche de la performance crête) de la puissance de calcul des systèmes résultants nécessite des logiciels capables d'exploiter efficacement cette organisation hiérarchique des unités mémoire.
Dans ce contexte, cette école a pour objectif de présenter des développements récents sur les modèles et environnements de programmation, mais aussi sur les algorithmes numériques pour le calcul intensif, ciblant les architectures de calcul haute performance (HPC) modernes.

Le programme de l'école s'articule autour des thèmes suivants :

Introduction aux systèmes HPC modernes à base de multi‐coeurs, GPU, FPGA, etc.
Modèles et environnements de programmation bas niveau (en particulier CUDA, OpenCL, HMPP) et leur hybridation avec MPI ou OpenMP ‐ Virtualisation - Communications dans les systèmes hétérogènes
Modèles et environnements de programmation haut niveau (par exemple PyCUDA, CLyther, etc.)
Algorithmes numériques adaptés aux systèmes HPC modernes : algèbre linéaire numérique pour systèmes denses et creux, algorithmes de résolution algébriques (décomposition de domaine et méthodes hiérarchiques), FFT, etc.
Méthodes d’évaluation et d’optimisation des performances en lien avec les caractéristiques architecturales des systèmes HPC
Environnements OpenSource pour le calcul scientifique sur systèmes HPC modernes

Par ailleurs, le déroulement de l'école inclura aussi des présentations d'expériences concrètes concernant le développement de méthodologies numériques pour la résolution de problèmes issus de la physique computationnelle.

Organisateurs

Luc Giraud	Equipe‐projet HiePACS, Inria Bordeaux ‐ Sud‐Ouest
Loïc Gouarin	LAGA, Université de Paris 13
Stéphane Lanteri	Equipe‐projet Nachos, Inria Sophia Antipolis ‐ Méditerranée
Violaine Louvet	Institut Camille Jordan, Lyon
Jean Roman	LABRi et Equipe‐projet HiePACS, Inria Bordeaux ‐ Sud‐Ouest

Mots clés

Calcul scientifique, calcul haute performance, calcul parallèle, algèbre linéaire numérique, simulation numérique.

Printemps des chercheurs

Sat, 21 May 2011 00:00:00 +0200

]]>

A l'occasion de la 2ème édition du PRINTEMPS des CHERCHEURS des Alpes-Maritimes, l'équipe BIOCORE animera un atelier sur la production de biocarburant à partir de microalgues.

Ce festival scientifique original est l’occasion de rencontrer des chercheurs pour expérimenter et débattre les sciences. Des ateliers pratiques, des café-sciences, des conférences, des débats et des projections de films sont prévus pour tous les publics.

Dans les Alpes-Maritimes, le Printemps des Chercheurs a choisi de s’associer au Forum d’ouverture de l’Agenda 21 à Grasse pour illustrer la Recherche et les innovations technologiques pour des enjeux en lien avec le Développement Durable. Cette thématique est illustrée à travers de nombreux travaux de recherche dans des disciplines aussi variées que la Mer, l’agriculture, les bases scientifiques polaires, l’astrophysique, la santé, la glaciologie, et l’économie.

Organisée sous forme d’une journée, le Printemps des Chercheurs Alpes-Maritimes 2011 se déroulera le samedi 21 Mai de 10h à 17h, au Palais des Congrès de Grasse. Le public aura le choix entre expositions, ateliers, films commentés, et conférences.

Graphes, hypergraphes et réseaux

Thu, 12 May 2011 00:00:00 +0200

]]>

Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigué pendant de nombreuses années et continuent de m'intriguer.

Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent les routeurs (abonnés, villes, individus, ...) et les arêtes des liaisons ou des relations. Je partirai d'un problème simple à énoncer mais difficile à résoudre : comment construire des réseaux (graphes) de degré et de diamètre donnés. J'essaierai de montrer l'imagination débordante dans les outils utilisés (géométries finis, graphes probabilistes, groupes, constructions récursives, constructions sur alphabets, arithmétique, opérations de graphes, configurations,...) et comment utiliser cela pour un tour de cartes. Je parlerai aussi s'il reste du temps de l'extension aux hypergraphes (réseaux par bus ou groupes) où quasiment tout reste à trouver ....

Séminaires Telecom & Réseaux

Fri, 29 Apr 2011 00:00:00 +0200

]]>

L'équipe Planete organise 3 séminaires scientifiques sur les Réseaux et Télécommunications, en marge de la soutenance de thèse de Stevens Leblond.

10 h à 11 h : Paul Francis, Research Director at MPI-SWS

Title: Privacy from Advertisers

Abstract: There has been recent progress made on private advertising systems that can operate with tracking, thus protecting the user from ad networks, aggregators, and behavioral targeting companies. But these systems do nothing to protect users' privacy from advertisers, which can target users on an increasing range of demographics and behaviors. In this talk, I will give an overview of recent work on private advertising systems, and describe techniques for protecting user privacy from advertisers while still allowing for effective targeting.

Bio: Paul Francis is a tenured faculty at the Max Planck Institute for Software Systems in Germany. Paul has held research positions at Cornell University, ACIRI, NTT Software Labs, Bellcore, and MITRE, and was Chief Scientist at two Silicon Valley startups. Paul's research centers around routing and addressing problems in the Internet and P2P networks. Paul's innovations include NAT, shared-tree multicast, the first P2P multicast system, the first DHT (as part of landmark routing), and Virtual Aggregation. Recently Paul has become interested in designing advertising systems that protect user privacy while allowing for effective targeting.

11 h à 12 h : Engin Kirda, Associate Professor at Northeastern University

Title: Reverse Social Engineering Attacks in Online Social Networks

Abstract: Social network sites are some of the largest and fastest growing online services today. Facebook, for example, has been ranked as the second most visited site on the Internet, and has been reporting growth rates as high as 3% per week. One of the key features of social networks is the support they provide for finding new friends. For example, social network sites may try to automatically identify which users know each other and make friendship recommendations.

Clearly, most social network sites are critical with respect to user's security and privacy due to the large amount of information available on them, as well as the very large user base. Previous research has shown that users of online social networks tend to exhibit a higher degree of trust in friend requests and messages sent by other users. Even though the problem of unsolicited messages in social networks (i.e., spam) has already been studied in detail, to date, reverse social engineering attacks in social networks have not received any attention. In a reverse social engineering attack, the attacker does not initiate contact with the victim. Rather, the victim is tricked into contacting the attacker herself. As a result, a high degree of trust is established between the victim and the attacker as the victim is the entity that established the relationship.

In this paper, we present the first user study on reverse social engineering attacks in social networks. That is, we discuss and show how attackers, in practice, can abuse some of the friend-finding features that online social networks provide with the aim of launching reverse social engineering attacks. Our results demonstrate that reverse social engineering attacks are feasible and effective in practice.

Bio: Engin Kirda is an associate professor at the Northeastern University in Boston. Before that, Engin has held research positions at Institute Eurecom in the French Riviera and the Technical University of Vienna where he co-founded the Secure Systems Lab that is now distributed over five institutions in Europe and US. Engin is interested in systems, software and network security (with focus on Web security, binary analysis, malware detection). Engin is language independent (with computers) and is part of the Shellphish hacking group that regularly participates at the Defcon Capture the Flag.

14 h à 15 h : Pablo Rodriguez, Research Director at Telefonica

Title: Scaling Online Social Networks

Abstract: The difficulty of scaling Online Social Networks (OSNs) has introduced new system design challenges that has often caused costly re-architecting for services like Twitter and Facebook. The complexity of interconnection of users in social networks has introduced new scalability challenges. Conventional vertical scaling by resorting to full replication can be a costly proposition. Horizontal scaling by partitioning and distributing data among multiples servers – e.g. using DHTs – can lead to costly inter-server communication. We have designed, implemented, and evaluated SPAR, a social partitioning and replication middle-ware that transparently leverages the social graph structure to achieve data locality while minimizing replication. SPAR guarantees that for all users in an OSN, their direct neighbor’s data is co-located in the same server. The gains from this approach are multi-fold: application developers can assume local semantics, i.e., develop as they would for a single server; scalability is achieved by adding commodity servers with low memory and network I/O requirements; and redundancy is achieved at a fraction of the cost.

Bio: Pablo is the Research Director at Telefonica R&D as well as the Director of the Barcelona R&D Lab. He is also an adjunct faculty professor at the department of computer science at Columbia University, New York. Prior to Telefonica, he worked at Microsoft Research, Cambridge and as a Member of Technical Staff at Bell Labs (NJ, USA). During his career he was also worked as a software architect and developer for various startups in the Silicon Valley including Netli (acquired by Akamai), Inktomi (acquired by Yahoo!) and Tahoe Networks (now part of Nokia). He received his Ph.D. from the Ecole Polytechnique Federale de Lausanne, EPFL, Switzerland while working at Institut Eurécom with Prof. Ernst W. Biersack. During his Ph.D. he also worked at AT&T Labs - Research, Florham Park, NJ. He obtained postgraduate studies at EPFL and King's College, London respectively, and an a B.S./M.S. in Telecommunication Engineering from the Public University of Navarra. Pablo was born in Asturias, a beautiful region in the north of Spain

Competition and Cooperation

Thu, 14 Apr 2011 00:00:00 +0200

]]>

Numerous applications of economics are based on models that assume individual economic actors take prices as given. Indeed, this assumption underlies many empirical studies. The question of whether such an assumption can be justified as arising in the context of individual and group optimizing behavior has been the subject of extensive investigation.

One answer to the question originates with the work of Edgeworth (1881), which argues that groups individuals cannot improve upon their part of a price-taking economic equilibrium by cooperation, that is, the set of outcomes that are stable against collective activities of groups – the core-- is equivalent to the set of price-taking equilibrium outcomes. This line of research, continued in the celebrated works of Debreu and Scarf (1963) and Aumann (1964) and in much subsequent research, treats private goods economies without externalities. Externalities, however, are common; people consume and produce in groups; individuals are affected by the presence and activities of others; individuals may enjoy being with others or they may suffer from congestion. This presentation reviews research demonstrating that for a broad class of economies, including economies with shared goods, with indivisibilities and/or non-monotonicities, with coalition production, if there are many participants in an economy then the equivalence of the core and the set of equilibrium outcomes holds.

The presentation will conclude with some discussion of the latest results but some of the main papers reporting earlier results are listed below:

“Cores of many player games; nonemptiness and equal treatment,” Review of Economic Design (in press) DOI: 10.1007/s10058-009-0095-6.
“Price taking equilibrium in economies with multiple memberships in clubs and unbounded club sizes, “(with N. Allouch), Journal of Economic Theory, Volume 140, Issue 1, May 2008, Pages 246-278.
“Anonymous price taking equilibrium in Tiebout Economies with a continuum of agents; Existence and characterization” (with N. Allouch and J. Conley) Journal of Mathematical Economics, Volume 45, Issues 9-10, 20 September 2009, Pages 492-510
"Small Group Effectiveness, Per Capita Boundedness and Nonemptiness of Approximate Cores." Journal of Mathematical Economics (2008)
"An exact bound on epsilon for non-emptiness of the epsilon-cores of games," (with A. Kovalenkov) Mathematics of Operations Research, Vol 26, No 4, Nov 2001, pp 654.678.
"Multijurisdictional economies, the Tiebout Hypothesis, and sorting," Proceedings of the National Academy of Sciences Vol. 96, Issue 19, 10585-10587, September 14, 1999.
"Large games and economies with effective small groups," in Game Theoretic Approaches to General Equilibrium Theory, eds. J-F. Mertens and S. Sorin, Kluwer Academic Press, Dordrecht/Boston/London (1994), 145-206.
"Equivalence of games and markets," Econometrica 62 (1994), 1141-1160.

Un conte des quatre aveugles et l'éléphant web, ou les chroniques d'un web non documentaire

Tue, 12 Apr 2011 00:00:00 +0200

]]>

Le web originel était documentaire, avec pour vocation de partager l'information et d'y accéder rapidement. Très vite, les besoins et applications évoluèrent et le web développa de nouvelles facettes

Nous connaissons tous le web ! Oui mais sous quels angles ?
Le web documentaire tel qu'il naquît ? Le web applicatif qui surgit des premiers moteurs de recherche ? Le web social qui ressuscita des premiers wikis ? Le web des services qui mondialise les messes-basses des machines ? Le web mobile qui vous suit comme votre ombre ? Le web des données liées qui se tisse actuellement entre nos dépôts publiques ? Le web sémantique qui propage nos modèles et leurs logiques ?
Pourquoi toutes ces facettes ? Et surtout pour quels usages ?

Tel est l'objet de cette conférence animée par Fabien Gandon, chercheur au sein de l'équipe de recherche Edelweiss d'Inria Sophia Antipolis et spécialiste des formalismes et des architectures du web sémantique.

Le site de la conférence

Premières Rencontres Education-Recherche-Industrie

Wed, 06 Apr 2011 00:00:00 +0200

]]>

Ces premières rencontres éducation - recherche- industrie ont pour but d’initier un échange entre les équipes de chercheurs et d’enseignants-chercheurs et les équipes pédagogiques des professeurs de lycée sur deux jours. Elles contribueront à rapprocher les professeurs de lycée des professionnels des «sciences de l’informatique et du numérique» et à initier des projets de formation avec des enseignants-chercheurs, des chercheurs et/ou des industriels. La constitution d’un réseau dans ce domaine est l’un des objectifs poursuivis.

Pré-Programme des journées

Mercredi 6 avril
L’éducation nationale a introduit dans les programmes de terminale scientifique un enseignement de spécialité «informatique et sciences du numérique». Quels en sont les contenus ? Pourquoi ? Quels métiers ? Les métiers d’avenir ? Quelles compétences nécessaires pour les exercer ? Comment des chercheurs, des enseignants-chercheurs, des acteurs publics et privés et des enseignants pourraient-ils, en travaillant ensemble, donner du goût aux élèves dès la seconde pour éclairer leurs choix futurs en terminale et dans l’enseignement supérieur ?
Jeudi 7 avril
L’informatique et les sciences du numérique, avec la société du numérique représentent une nouvelle discipline à enseigner, depuis les enseignements d’exploration de seconde, ouverts à titre expériemntal, jusqu’en en classe de terminale dès la rentrée 2012.
Comment les enseignants volontaires s’adaptent-ils à ces changements ? Pour cela, des ressources sont données par les instituts de recherche (Inria, CNRS, ...) . Des enseignants et des professionnels qui se sont lancés dans cette expérimentation témoigneront de leur partenariat, de leurs avanées, ainsi que des questions qu’ils se posent.

Lien vers le site des Rencontres

Swarms: First Class Citizens in the Future Internet

Thu, 31 Mar 2011 00:00:00 +0200

]]>

The current Internet consists of tens of thousand different interconnected autonomous networks. It was designed to support large populations of point-to-point content transfers. This introduces considerable headaches due imbalances in traffic flows, which has the effect of complicating network management, reducing the robustness of the Internet, and reducing user performance.

In this talk, I review the sources of traffic in the Internet over the last 20 years. We will observe that this an increasing fraction of traffic was generated by peer-to-peer (P2P) "swarm" technology from 2000 to 2007. I examine how and why P2P swarm technology simplifies network management, and makes the Internet and applications more robust. Unfortunately, the use of this technology has decreased since 2006 and shows every sign of continuing to do so. Thus, the rest of the talk focuses on and characterizes an architecture that encourages and makes swarms full class citizens. I will focus not only on the problem of transfering content but also on the problem of locating content.

Lien vers le site du Colloquium

Le cerveau, un chantier en perpétuelle évolution

Tue, 15 Mar 2011 00:00:00 +0100

]]>

Durant une semaine, chercheurs, enseignants-chercheurs, ingénieurs et étudiants des principaux centres universitaires et de recherche azuréens, présentent à tous les publics les dernières avancées en matière de recherche sur le cerveau.

Des chercheurs Inria, partenaire de l'événement, présenteront des conférences et animeront des ateliers dans les Médiathèques de Contes et d'Antibes.

Médiathèque de Contes
- Jeudi 17 mars :
  - 14h30 - 18h00 : Ateliers animés par Thierry Viéville : De la géographie du cerveau aux interfaces cerveau-machine
  - 18h30 : Conférence-Débat animé par Thierry Viéville : Le cerveau : un ordinateur ?
- Vendredi 18 mars :
  - 18h30 : Conférence-Débat animé par Théodore Papadopoulo : Imagerie du système nerveux central : enjeux et challenges
Médiathèque communautaire d'Antibes
- du mardi 15 mars au dimanche 20 mars : Atelier animé par des chercheurs Inria et des animateurs de la médiathèque : L'observation du cerveau grâce à l'informatique
- Mercredi 16 mars, 14h30 : Cinéma-Sciences : projection du film Interface cerveau et ordinateur, présenté par Maureen Clerc
- Vendredi 18 mars, 18h00 : Conférence-débat : Observer le cerveau à tous les niveaux pour mieux le comprendre

Calcul Parallèle et Cloud Computing

Fri, 18 Feb 2011 00:00:00 +0100

]]>

Le projet ProActive PACA Grid permet aux laboratoires et PMEs d'accéder à des ressources importantes de type CLOUD afin d'exécuter simplement des applications intensives de calcul ou de traitement de données. Financée dans le cadre du CPER 2007-2013, cette plateforme offre des interfaces graphiques interactives simples à utiliser par les non spécialistes.

Le but de cette journée de formation est double :

présenter brièvement la plateforme
configurer l'accès aux ressources des participants, et les former à une utilisation pratique sur leurs propres applications.

Formation gratuite et Accès pratiques à la plateforme ProActive PACA Grid

Imagerie médicale : de l'outil au diagnostic médical

Thu, 17 Feb 2011 00:00:00 +0100

]]>

Le développement de l’imagerie médicale (instrumentation, traitement des images, modélisation et simulation, ou encore biomarqueurs) améliore grandement le champ des outils mis à la disposition des cliniciens, pour un meilleur diagnostic des maladies et une meilleure prise en charge de ces dernières.

Pour cela, EuroMeDiag, Eurobiomed et PoPSud vous convient à un Biorezo afin d’avoir une vision de la mise au point des techniques d'imagerie et des outils informatiques aux services des patients.

Découvrez les recherches récentes du studio d'animation PIXAR

Thu, 10 Feb 2011 00:00:00 +0100

]]>

In this talk, Tony DeRose will survey a number of current and recent projects underway in the Research Group at Pixar. To set context for the discussion he'll begin with a brief overview of their production pipeline. He'll also discuss how they approach research at Pixar, including how they pick problems, what they look for when they consider the adoption of external research, and how they transfer technology to the rest of the studio.

Tony DeRose is currently a Senior Scientist and lead of the Research Group at Pixar Animation Studios. He received a BS in Physics in from the University of California, Davis, and a Ph.D. in Computer Science from the University of California, Berkeley. From 1986 to 1995 Dr. DeRose was a Professor of Computer Science and Engineering at the University of Washington. In 1998, he was a major contributor to the Oscar (c) winning short film "Geri's game," in 1999 he received the ACM SIGGRAPH Computer Graphics Achievement Award, and in 2006 he received a Scientific and Technical Academy Award (c) for his work on surface representations.

Gérard Berry : Les inversions mentales de l'informatique, racines de la révolution numérique

Mon, 31 Jan 2011 00:00:00 +0100

]]>

Dans le cadre du cycle de conférence, la Science à Sophia, organisé par la Fondation Sophia Antipolis, Gérard Berry présentera une conférence sur : Les inversions mentales de l'informatique, racines de la révolution numérique".

Gérard Berry, X67, Ingénieur général des Mines est actuellement en détachement à l'institut. Il est Professeur au Collège de France, titulaire de la chaire informatique et sciences numériques, Membre de l'Académie des sciences, de l'Académie des technologies et de l'Académia Europaea.

Développement de nouveaux services mobiles

Fri, 21 Jan 2011 00:00:00 +0100

]]>

Les prochaines "Rencontres Inria Industrie", en partenariat avec le pôle Solutions communicantes sécurisées (SCS), seront dédiées au développement des nouveaux services mobiles. Elles auront lieu le 21 janvier 2011 au Sophia Country Club (Sophia Antipolis).

Aspects sémantiques et algorithmiques du vivant

Thu, 13 Jan 2011 00:00:00 +0100

]]>

La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire.

Tandis que la théorie de l'interprétation abstraite permet de relier par des relations d'abstraction les différents formalismes utilisés (Booléens, stochastiques, ODE), la théorie des graphes fournit une notion très générale de réduction de modèles qui permet de relier les modèles développés à différents niveaux de détails. Suivant ces principes, la machine abstraite biochimique (Biocham) est un environnement logiciel qui offre un langage de règles pour modéliser les grands systèmes d'interactions biomoléculaires, et un langage puissant fondé sur la logique temporelle pour formaliser les propriétés biologiques du système. En s'appuyant sur ces deux langages, il devient possible d'utiliser des techniques de vérification formelle et d'optimisation pour corriger ou compléter les modèles vis à vis de leur spécification. Au travers d'exemples de voies de signalisation dans la cellule, et de contrôle du cycle cellulaire, nous illustrerons cette approche ainsi que sa complémentarité avec des techniques plus classiques de modélisation mathématique.

Des fleurs virtuelles : ça vous "gènes" ?

Wed, 15 Dec 2010 00:00:00 +0100

]]>

L'équipe Virtual Plants participera à l'initiative "Un chercheur une manip" au Palais de la Découverte à Paris. A cette occasion, les chercheurs présenteront leurs travaux dans le domaine de la modélisation des plantes.

Les plantes poussent... ce phénomène, banal en apparence, est en fait le résultat d'un ensemble de processus encore imparfaitement connus et maîtrisés. Pour comprendre la croissance des plantes, gérer l'état de la végétation, contrôler et prévoir sa production, les chercheurs en botanique et en agronomie de l'Inria et du CIRAD font depuis quelques années appel à la modélisation : ils créent des plantes virtuelles. Ils ont mis au point une méthode permettant de simuler informatiquement la croissance des plantes, et particulièrement la genèse des fleurs, sur la base des gènes qui président à leur formation. On peut ainsi voir expérimentalement comment le méristème se transforme en fleur si on active ou désactive virtuellement tel ou tel gène.

Colloque OrbiCG/Triangles

Wed, 08 Dec 2010 00:00:00 +0100

]]>

This two days workshop will address various aspects of computational geometry and its applications. It will be followed on December 10 by the PhD defense of Manuel Caroli.

Surveillance maritime par analyse d'images satellitaires optiques panchromatiques

Mon, 06 Dec 2010 00:00:00 +0100

La surveillance maritime constitue aujourd'hui un énorme enjeu dans le domaine de la sécurité et dans celui de l'économie.

Nous présenterons une méthode qui s’appuie sur les techniques Bayésiennes classiques de détection. La détection est décomposée en trois étapes. La première consiste en une pré-détection des cibles qui nous fournit des cibles candidates. La deuxième étape est une segmentation précise de chaque cible candidate.
Et la troisième phase est une classification des candidates en trois classes : petit bateau, grand bateau ou fausse alarme. Pour compléter cette étude et se replacer dans un contexte industriel et opérationnel, nous présentons des expérimentations de l'ensemble de l'algorithme sur des images complètes pour évaluer les performances et le temps de traitement.

]]>

Présentation des programmes STIC et Nano de l'Agence Nationale de la Recherche

Fri, 26 Nov 2010 00:00:00 +0100

]]>

L'Agence Nationale de la Recherche fait évoluer sa programmation STIC en 2011-2013 et mène une campagne d'information sur les programmes thématiques STIC, les nanotechnologies et le programme « blanc ».

Inscription :

L'inscription est gratuite mais obligatoire.

Intervenants :

Monsieur Bertrand Braunschweig, responsable du Département STIC (ANR)
Monsieur Mathieu Girerd, chargé de mission au département STIC (ANR)

Programme :

Situation générale de l'ANR, des STIC et des Nanotechnologies
Programmation 2011-2013 :

programmes STIC,
programmes Nano,
programmes non thématiques et transverses,
programmation internationale en STIC et Nano,
modalités et réponses aux appels à projets.

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

Thu, 18 Nov 2010 00:00:00 +0100

]]>

Voilà plus de trente ans que l'informatique et les ordinateurs ont fait irruption dans les mathématiques, avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken.

Leur rôle s'est amplifié récemment, car ils permettent maintenant de maîtriser non plus seulement des calculs, mais aussi des raisonnements dont la complexité dépasse les capacités de l'esprit humain (ou du moins, de la plupart), comme la preuve de la conjecture de Kepler ou la classification des groupes simples finis.

Cependant, ces preuves "machine" exigent un changement profond de la pratique des mathématiques: un passage de l'artisanat, où chaque argument est un tribut à l'ingéniosité du mathématicien qui l'a ciselé, à une forme d'ingénierie, où les preuves sont construites à l'aide de techniques plus systématiques. On substitue ainsi des interface rigoureuses aux conventions d'usage malléables, et des algorithmes précis à l'apprentissage de méthodes par des exercices. Parvenir à codifier ainsi une part de l'état de l'art mathématique assez importante pour permettre de coder des preuves intéressantes, représente un défi considérable; nous montrerons comment nous avons commencé à le relever.

Fête de la science 2010

Thu, 21 Oct 2010 00:00:00 +0200

]]>

Venez découvrir en grandeur réelle les innovations de demain dans le domaine des sciences du numérique, engager le débat sur ce monde où la connaissance scientifique et technique joue de plus en plus un rôle économique et sociétal majeur !

Partenaire du Week end des Sciences de Sophia Antipolis, le centre de recherche Inria Sophia Antipolis - Méditerranée propose des démonstrations et échanges avec les scientifiques au cours de différentes rencontres :

Du 18 au 22 octobre : Pour la troisième année consécutive, les chercheurs Inria animeront plusieurs ateliers, activités, conférences avec les jeunes toute la semaine dans plusieurs lycées des Alpes Maritimes.

Le samedi 23 et dimanche 24 octobre : Participation au "Week end des sciences à Sophia Antipolis" avec plusieurs animations au programme :
- Du web2 à la domotique : comment un logiciel libre issu de l'informatique théorique offre
  de nouvelles perspectives aux citoyens ?
- Shamash : des algues en biocarburant : comment faire que les sciences informatiques
  aident à un développement plus durable
- Démo OpenVibe : Interface Homme Machine: de l'activité cérébrale à la commande numérique.
- Une main gauche artificielle : quand les équations de mathématiques s'incarnent dans un système robotique
- Grâce au jeu de l'oie Mémoire vive, vous pourrez confirmer ou enrichir vos connaissances en informatique en vous amusant.

Du 20 au 30 octobre : Exposition à la Médiathèque de Valbonne Sophia Antipolis : "L'informatique de A à Z" : Découvrez, sous la forme d'un abécédaire, un panorama de la recherche en informatique ! Chaque lettre illustrée renvoie à un mot du vocabulaire informatique choisi par les chercheurs pour évoquer leurs domaines de recherche. Un court texte explique le sujet de recherche, les enjeux, les applications.

Première conférence internationale consacrée au Web et à la Philosophie

Sat, 16 Oct 2010 00:00:00 +0200

]]>

La première conférence internationale consacrée au Web et à la Philosophie fruit d’un effort commun pluridisciplinaire entre l’Université Paris 1 Panthéon – Sorbonne et l’Inria, se tiendra le samedi 16 octobre 2010 à Paris.