Les événements d'Inria

Stage MathC2+ : des lycéens découvrent les mathématiques et l'informatique autrement !

]]>

Le centre de recherche Inria Sophia Antipolis - Méditerranée accueillera du 18 au 21 juin un stage de mathématiques labellisé MathC2+ organisé par l'Académie de Nice.

Pour la 3^ème année consécutive, des lycéens vont bénéficier de stages labellisés MathC2+ afin de découvrir les mathématiques et l'informatique autrement, de manière ludique et concrète. Ces stages de mathématiques s’adressent à des élèves motivés des classes de seconde et prioritairement à des élèves à potentiel qui ne bénéficient pas dans leur entourage d’un environnement propice au développement d’un projet d’études scientifiques à long terme.

Les 60 lycéens des Alpes Maritimes sont accueillis au centre Inria Sophia Antipolis - Méditerranée et la plupart d’entre eux sont hébergés au Centre International de Valbonne, partenaire de cette opération. Durant 4 jours, du 18 au 21 juin, des chercheurs d’Inria et de ses partenaires (Polytech‘Nice Sophia, l’association Pobot et Linux Azur), feront découvrir aux lycéens les mathématiques autrement, grâce à l’informatique et la robotique. Chaque élève va travailler sur un micro projet informatique qu'il présentera à ses camarades à la fin du stage.

Le programme MathC2+, mis en place en partenariat avec la fondation Sciences mathématiques de Paris et l'association Animath, s'inscrit dans le plan sciences et technologies à l'École, et bénéficie du soutien de partenaires industriels et académiques locaux (Casio, EADS, Crédit Mutuel Enseignant, CNRS).

Colloquium Rennais des Sciences du numérique : exposé de Catherine Rosenberg, Tier 1 Canada Research Chair, « A Computer Engineering Approach to the Smart Grid »

Mon, 17 Jun 2013 16:37:09 GMT

]]>

Jeudi 4 juillet à partir de 14 heures, aura lieu la nouvelle édition du Colloquium Rennais des Sciences du numérique qui accueillera Catherine Rosenberg, Tier 1 Canada Research Chair, pour un exposé sur « A Computer Engineering Approach to the Smart Grid ». Cet évènement se déroulera à l'Espace Conférences du centre Inria Rennes-Bretagne Atlantique.

Entrée Libre

14h00 - 15h00 : Exposé de Catherine Rosenberg, Tier 1 Canada Research Chair, « A Computer Engineering Approach to the Smart Grid »
15h00 - 16h00 : Exposé d'Hervé Gueguen (Supelec) puis de Patrick Maille (Telecom Bretagne) et Bruno Tuffin (Inria)

Workshop on compilers for parallel computing

Fri, 14 Jun 2013 15:46:06 GMT

]]>

L'atelier CPC (Compilers for Parallel Computing) est un lieu permettant aux chercheurs du domaine de la compilation parallèle de se rencontrer et de présenter leurs dernières activités de recherche et résultats. Le 17ème atelier de cette série se déroule à Lyon, au sein du Musée Gadagne, du 3 au 5 Juillet 2013.

L'atelier se déroule dans une atmosphère informelle et décontractée afin d'échanger des idées et favoriser la collaboration. Le champ d'application englobe tous les domaines du parallélisme et de l'optimisation: en principe, n'importe quel sujet qui est d'intérêt pour un concepteur de systèmes parallèles et/ou de compilateurs, l'est aussi pour cet atelier.

Programme détaillé

Théorème de Puiseux en OCaml et en Coq

Thu, 13 Jun 2013 14:39:03 GMT

]]>

Le théorème de Puiseux affirme que tout polynôme à coefficients en séries de Puiseux (à puissances rationnelles) admet une racine.
La démonstration classique par Robert Walker du théorème est réputée constructive : un algorithme mathématique permet de calculer par induction les coefficients et les puissances de chaque série solution. On exposera l'implémentation de cet algorithme en OCaml, ainsi que la traduction du théorème en Coq, en vue d'en établir une preuve formelle. Le parallèle entre OCaml et Coq est facilité par une extension de syntaxe Camlp5, permettant d'écrire de la syntaxe Coq dans le code OCaml. Il s'agit d'un travail en cours de développement.
La partie OCaml est interfacée avec MPFR, bibliothèque d'arithmétique flottante en précision arbitraire.

Towards a formal analysis of quantum algorithms: The programming language Quipper

Thu, 13 Jun 2013 14:34:46 GMT

]]>

The field of quantum algorithms is vibrant. Nevertheless, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address this issue by introducing Quipper, a scalable, expressive, functional, higher-order quantum programming language. Quipper has been used to program a diverse set of non-trivial quantum algorithms, and is able to generate quantum gate representations using trillions of gates. It is geared towards a model of computation that uses a classical computer to control a quantum device, but is not dependent on any particular model of quantum hardware. Quipper has proven effective and easy to use, and opens the door towards using formal methods to analyze quantum algorithms.

Semantic foundations of heterogeneous compilation

Thu, 13 Jun 2013 14:28:45 GMT

]]>

This is an introductory, motivational and methodological talk in which I will describe my "Seamless Computing" research programme. By "seamless" I mean that programming languages for unconventional architectures (e.g. distributed, reconfigurable, heterogeneous) can still conform to the long-established principles of machine independence, recast in this new setting. I will talk about when and how such conventional languages (higher-order, imperative, concurrent) can be compiled in a seamless way, using ideas based on the Geometry of Interaction and on game semantics.

Colloquium Jeffrey Shallit : The Frobenius Problem and Its Generalizations

Wed, 12 Jun 2013 14:18:28 GMT

]]>

The classical but oddly little-known Frobenius problem from number theory is the following: given a set of positive integers with greatest common divisor equal to 1, find the largest integer not representable as a non-negative integer linear combination of the set elements. This largest integer is called the Frobenius number. For example, the Frobenius number of 6, 9, and 20 is 43.

In this talk I will survey some of the known results on this problem and its applications to computer science, and a new generalization of this problem to words (strings of symbols).

9ème conférence du laboratoire commun Inria-Urbana Champaign à Lyon

Wed, 12 Jun 2013 10:24:57 GMT

]]>

Dédié aux recherches autour du calcul haute performance, le laboratoire commun Inria-Urbana Champain (JLPC) tiendra son 9ème séminaire du 12 au 14 juin 2013, à l'Hotel Valpré de Lyon.

L'occasion de rassembler les meilleurs chercheurs du domaine en provenance de l'Inria, de l'Université de l'illinois et de l'Argonne National Laboratory afin d'explorer les problèmes de recherche liés aux supercalculateurs pétaflopiques et de présenter les premiers résultats de leur travail commun.

Un des principaux objectifs de l'atelier est d'identifier de nouvelles collaborations de recherche et d'établir une feuille de route pour leur mise en œuvre.

Keynotes on HPC languages: A dive into languages for high performance computing

Tue, 11 Jun 2013 14:45:49 GMT

]]>

Organisé sous la forme de keynotes, cet évenement scientifique porte sur le thème des langages parallèles (leurs concepts et compilation) pour le calcul à haute performances.

Un grand nombre d'experts internationaux en calcul parallèle comme Katherine Yelick (Berkeley), John Mellor-Crummey et Vivek Sarkar (Rice University), Rob Schreiber (HP Labs), Brad Chamberlain (Cray Inc.), David Grove et Rodric Rabbah (IBM Watson), Albert Cohen (Inria) interviendront notamment sur:

les langages PGAS et APGAS comme Coarray Fortran, UPC, Chapel, X10

des approches de "streams" et/ou pour l'hétérogène comme OpenAcc/HMPP, Liquid Metal, OpenSs, OpenStream, Streamlt

des approches DSL (domain-specific languages)

Andy Cockburn - Human-computer interaction

Tue, 11 Jun 2013 13:47:04 GMT

]]>

Andy Cockburn interviendra dans le cadre du Colloquium Polaris, le jeudi 11 juillet de 10h à 11h30 (Ircica).

Prochaine Rencontre Inria Industrie

Mon, 10 Jun 2013 14:58:46 GMT

]]>

Le Centre Inria Bordeaux - Sud-Ouest participe à l'événement : plusieurs équipes de recherche seront présentes.

Organisée par Inria, Genci et Oséo, cette journée a pour thème : Modélisation, Simulation et Calcul Intensif.

Retrouvez plusieurs équipes du Centre de recherche Inria Bordeaux - Sud-Ouest lors de l'évènement, qui présenteront leurs travaux sur les thématiques suivantes :

Equipe HIEPACS : Solveurs linéaires Hautes Performances / Pierre Ramet, chercheur de l'équipe, participe à la table ronde "Histoires d'initiative", pour témoigner d'un projet de transfert dans le domaine du code de simulation avec une PME aquitaine
Equipe RUNTIME : Mieux placer les processus pour améliorer les performances des applications parallèles et Calcul sur des configurations multi-accélérateurs
Equipe CARMEN : Simulation de l'effet des médicaments sur l'activité électrique du coeur
Equipe CAGIRE : Calcul et expérience sur l'aérodynamique interne

Inscription obligatoire, retrouvez toutes les informations ici

Aspects temporels dans les systèmes embarqués critiques

Mon, 10 Jun 2013 11:01:59 GMT

]]>

La demi-heure de science est ouverte au plus grand nombre. Venez nombreux !

La demi-heure de science a lieu tous les mois, à partir de 11h à l'amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous accueillera dès 10h45.

Cette demi-heure de science a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s'y rapportent, le but étant de répondre à la question "pourquoi mène-t-on des recherches dans ce domaine-là ?"

Le sujet :

La plupart des systèmes embarqués que l'on trouve dans les applications critiques telles que les commandes de vol d'un avion ou le contrôle d'un moteur ou de l'ABS dans une automobile, font intervenir des aspects temporels. Ces derniers compliquent leur conception et leur réalisation lorsqu'il faut assurer qu'ils ont un comportement sûr (de fonctionnement). Afin d'atteindre ce but plusieurs phases, qui doivent être cohérentes, sont nécessaires. La première phase consiste à effectuer une spécification fonctionnelle, souvent appelée modélisation, du systè!me ou seuls les aspects fonctionnels et/ou causalité sont considérés. Cela permet de faire un premier niveau de vérification en termes d'ordre sur les évènements qui entrent et sortent du systèmes relativement à un temps logique (sémantique des langages synchrones). Ce dernier fait l'hypothèse que l'on ne s'intéresse pas au temps physique nécessaire pour exécuter les fonctions. Cette première spécification doit s'accompagner d'une spécification non fonctionnelle dont l'objet est de donner maintenant des caractéristiques temporelles physiques aux différentes fonctions, pouvant ou non dépendre de l'architecture matérielle sur lesquelles elles s'exécuteront, et de décrire cette architecture. Dans le cas le plus général cette dernière est formée de plusieurs processeurs pouvant être de types différents, plusieurs circuits intégrés spécifiques réalisant chacun une fonction unique, tous ces composants échangeant des données à l'aide de moyens de communications pouvant, eux aussi, être de types différents.

La deuxième phase consiste à faire une étude d'ordonnançabilité temps réel (temps physique) dont l'objet est double : montrer que la combinaison de la spécification fonctionnelle et non fonctionnelle peut conduit à une solution ordonnançable sur l'architecture matérielle et synthétiser cet ordonnancement. Cette étude d'ordonnançabilité doit bien sûr tenir compte des vérifications effectuées en temps logique.

La dernière phase consiste à transformer le résultat de la phase précédente en un code exécutable par les processeurs et les circuits intégrés spécifiques formant l'architecture matérielle. Cela conduit à générer soit des mécanismes de synchronisation dans le cas d'architecture déclenchées par des évènements, soit des appels à des fonctions dans le cas d'architecture déclenchées par le temps. Cette approche permet de concevoir et réaliser des systèmes embarqués critiques sûrs par construction.

Inria booste votre code, votre carrière, votre futur

Fri, 7 Jun 2013 17:12:00 GMT

]]>

Dans le cadre du marché du T.A.F. (travailler, apprendre, se former) au programme de Futur en Seine 2013, Inria propose une rencontre dédiée aux opportunités d'emploi pour les ingénieurs au sein de l'institut.

Les lauréats 2012 et 2013 du concours Boost Your Code organisé par Inria depuis 2011, en partenariat avec la CDEFI (conférence des directeurs d’écoles françaises d’ingénieurs) et la SIF (Société informatique de France), seront mis à l'honneur.

Venez nous rencontrez !

Chaque année, Inria recrute entre 100 et 200 ingénieurs qui travaillent aux côtés des chercheurs pour développer des logiciels et des outils permettant de tester et de faire avancer les recherches. Rejoindre Inria en qualité d'ingénieur, c'est bénéficier d'un environnement scientifique stimulant mais aussi participer à notre mission de transfert de technologies et de compétences vers l'industrie. C'est vivre une expérience tremplin pour une carrière dans le secteur public ou privé !

Vous êtes ingénieur ou bientôt titulaire d'un master 2 ou d'un diplôme d'ingénieur et le développement technologique vous passionne ? Venez nous rencontrer !

Rendez-vous à 17h30 au sein de l'atelier 5 du CENTQUATRE à Paris.

Verification of Concurrent Programs Targeting the x86-TSO Weak Memory Model

Fri, 7 Jun 2013 16:29:46 GMT

]]>

Pretty much every computer sold today is multi-core. Taking advantage of more than one core to speed up a program is a nontrivial problem in general. Nevertheless, it has been shown that many algorithms can be relatively easily parallelized on shared memory architecture by using appropriate dynamic load balancing algorithms as well as a small number of classic concurrent data structures. These components involve a fairly small amount of code, however this code is extremely error-prone and very hard to debug. These components are therefore an ideal target for program verification. In this talk, I will recall the simple weak memory model associated with Intel and AMD's x86 hardware, and explain how to build on top of this model a logic for reasoning about concurrent programs. I will present concrete code examples taken from a realistic scheduling library, show how they can be verified by hand, and discuss the possibility of mechanizing and automating the proofs.

Toggling between gamma frequency activity and suppression of cell assemblies, and the type of the fast-spiking inhibitory cells

Fri, 7 Jun 2013 16:20:48 GMT

]]>

The synaptic interaction of excitatory and inhibitory neurons (E- and I-cells) can generate oscillations, provided that the drive to the I-cells is low enough, so that they don't get ahead of the E-cells but merely respond to them. If the drive to the I-cells is high, and inhibitory synapses are strong, the E-cells are suppressed altogether. We think about the transition from rhythmicity (low drive to the I-cells) to suppression of the E-cells the network to toggle between rhythmic activity and suppression, and that this could be useful in attentional selection. In contrast with the earlier work, here we assume that synchronization of the I-cells is always enforced by gap junctions. We find that in this case, the transition from rhythmicity to suppression is much more abrupt when the I-cells have a type 2 phase response (excitation early in the phase retards them) than when they have a type 1 phase response (excitation always accelerates them). We demonstrate this with simulations and explain it using a one-dimensional map.

Le centre Inria Paris - Rocquencourt présent à Futur en Seine

Thu, 6 Jun 2013 15:32:11 GMT

]]>

Du 13 au 16 juin le centre Inria Paris – Rocquencourt sera présent à Futur en Seine, événement dans lequel les technologies numériques occupent une place centrale.

Le centre Inria Paris - Rocquencourt sera présent aux côtés du Citris sous la thématique des smart cities.

Six équipes-projets du centre (Arles, Clime, Hipercom, Imara, Smis et Willow) aborderont les solutions que la recherche en sciences du numérique peut apporter aux problématiques actuelles et futures des grands ensembles urbains autour de thèmes aussi divers que la qualité de l’air, la maîtrise des dépenses énergétiques, la gestion de l’eau, les flux de citoyens et le transports, la sécurité...

Au Programme

Arles (présence du 13 au 16 juin)
Mesurer le niveau de bruit dans la ville grâce à la mesure et l’échange de données de masse via les Smartphones (Mobile participatory sensing in Smart cities), optimiser son trajet en ville (ICT services for the urban traveler), faire voler un drone grâce à des algorithmes pour l’interopérabilité (FP7 Connect), développer rapidement des applications de réseaux sociaux mobile (Yarta).
Clime (présence du 13 au 16 juin)
Le coût des calculs des simulations numériques est très élevé et empêche l’application de certaines méthodes d’assimilation de données. Il est alors nécessaire de construire un modèle numérique réduit qui fournit, de manière presque instantanée, des résultats proches de ceux du modèle complet.
Hipercom (présence du 13 au 16 juin)
Il va s'agir de mettre en réseau ces capteurs avec des protocoles de communication sans fil efficaces en énergie. Les objectifs sont les suivants : être capable de router les informations de façon fiable même sur des réseaux massivement denses et à grande échelle, et aussi pouvoir s'interconnecter avec l'Internet (protocoles IP).
Imara (présence du 13 au 16 juin)
L’objectif est de rendre les transports plus intelligents, plus propres et plus sûrs via quatre axes : perception par un véhicule de son environnement, contrôle du véhicule et navigation autonome, déploiement à grande échelle et modélisation du trafic, communication (techniquement la conception d’architectures certifiées permettant les communications véhicule-à-véhicule et véhicule-à-infrastructure régis par les standards et normes, et fondamentalement la conception et le développement d’architecture appropriées capable de traiter d’épineux problèmes de routage et de geonetworking dans des réseaux de véhicules hautement dynamique et des véhicules à haute vitesse).
Smis (présence 13 juin après-midi et 14 juin après-midi)
L’objectif est d’équiper les dispositifs existants (compteurs intelligents, capteurs...), ainsi que les nouveaux dispositifs liés à de nouveaux usages, d’une combinaison d’éléments matériels et logiciels sécurisés à bas coût. Ceci afin de permettre à chaque individu de réguler le partage des informations digitales le concernant.
Willow (présence 13 juin après-midi)
Le but de ce projet est de développer des outils automatiques d'analyse quantitative à grande échelle de ces données visuelles dynamiques et de fournir des réponses quantitatives à des questions comme : Quels sont les éléments architecturaux typiques (types de fenêtres, balcons...) caractérisant un style visuel d'un quartier de la ville? Comment le style visuel d'une zone géo-spatiale évoluer au fil du temps ? Des réponses peuvent aussi être apportées sur les préoccupations et activités de la population peuvent être posées.

Créer des rencontres avec les industriels et le grand public, susciter des projets, provoquer une réflexion sur les enjeux des évolutions technologiques en cours et à venir, tels sont les grands objectifs de Futur en Seine.

Big data, Que fait l’Université ?

Tue, 4 Jun 2013 16:58:22 GMT

]]>

Universités, Centres de recherche, Services publics et Entreprises se réunissent le 11 juin 2013 de 9h à 13h pour une journée d'étude autour des big data et de la transformation que leur disponibilité introduit dans l'enseignement universitaire et dans la formation à la recherche.

L'université Paris Descartes organise une concertation sur les usages des big data dans la pédagogie universitaire en partenariat avec Inria.

Programme

9h30-10h30 Table ronde 1. Quand les datas s’échappent des silos.

Cela change les stratégies et les métiers, et... les sciences de gestion

Les data sciences transforment la gestion, le marketing, la stratégie et les fonctions opérationnelles. Les cours d’analyse systémique, de système d’information, de compta, vont-ils tenir le coup ?

Nouveaux possibles, nouvelles méthodes, horizons communs aux entreprises et aux formations.

La synchronisation de données impacte le fonctionnement des organisations, en général et dans le marketing en particulier. En effet, les organisations jusqu’à présent ont fonctionné en silos de données et il est difficile, et souvent impossible de rapprocher des datas provenant de fonctions différentes.

La bigdata rompt ce paradigme et permet non seulement de synchroniser des données venant de silos différents (exemple, le marketing avec la logistique, ou la finance),mais aussi d’introduire des données exogènes à l’organisation (par exemple la météo). De surcroît, ces technologies permettent d’approcher le temps réel et donc impactent d’autant plus les méthodes de travail.

Comment évaluer l’impact de cette ouverture des silos sur les sciences de gestion, les frontières des disciplines et spécialités concernant l’entreprise (RH, compta, finances, contrôle de gestion, marketing), sur la conception des enseignements et des cursus ?

L’irruption des data sciences dans l’entreprise change-t-elle la définition des métiers et des fonctions ?

"Quels nouveaux profils de compétences et de métiers se dessinent : nouveaux métiers ou nouvelles facettes sur chaque métier ?"
les répartitions entre stratégie et opérationnel sont-elles revues ?
Peut-on comparer l’importance des big data et les ERP il y a 15 ans ?
Quelles meilleures façons de se former (professeurs, étudiants) à ce virage des data sciences ?
quelles collaborations avec l’université pourraient faciliter les choses, apporter les bonnes compétences, accélérer la mise à jour des profils ? Peut-on imaginer une pédagogie spécifique big data, avec des jeux de données de grande dimension ?
Quelles formations initiales et continues devraient se monter rapidement ?

Kilian Bazin, Captain Data http://captaindash.com/
Arnaud Laroche, Bluestone http://www.bluestone.fr/

10h30-11h30 - Table ronde 2 FOCUS SUR TD et AMPHIS

Aujourd’hui, comment travaillons-nous à l’Université ?

Les datas étaient présentes dans les cours bien avant de s’appeler datas et d’être qualifiées de big. Les enseignants travaillent avec des sets de données. Avoir des jeux relativement fermés permet certains types d’exercices. Travailler sur de grands ensembles et laisser libre court à la créativité des étudiants permet d’autres choses. Quelques exemples, de formations, mais aussi de recherches de grande échelle, pour en discuter, au présent et en réel.

Pédagogie de la complexité

Au dire des enseignants chercheurs, que les data soient big ou open n’a pas changé grand chose à leur quotidien. Ceux qui travaillent avec des jeux de donnés préfèrent des jeux bien définis et manipulables, pour des résultats précis et évaluables. Peu travaillent sur de très grands ensembles de données. Sauf exception....

En revanche, une pédagogie propre se développe qui apprend aux étudiants à travailler sur le vif des questions complexes. En récupérant des jeux de données sur les accidents industriels et en les confrontant à d’autres ensemble, les territoires, les indicateurs de qualité des environnements, Philippe Lafage donne un exemple de pédagogie du projet complexe, qui est autant profesionnalisant que structurant intellectuellement

Philippe Lafage Université Paris Descartes

La culture des data. Une pédagogie grandeur nature

L’open data pour la mesure du développement durable. Analyse de l’impact des accidents industriels en entreprise. Retour sur un projet tuteuré.

Former à créer

Jean-François Omhover et Carole Bouchard , CPI, Arts et métiers Paris Tech

Données en masse et Machine learning

La mise à disposition des données publiques (open data) et l’émergence de grandes masses de données dans le fonctionnement ou la conception des systèmes socio-économiques (big data) est motivée, entre autres, par la production d’innovations. Les designers, ingénieurs, seront demain confrontés à la conception de nouveaux produits, systèmes ou services, intégrant des technologies d’extraction de connaissance à partir de données (machine learning).

Afin de préparer ce public à la production d’innovation intégrant ces technologies, nous avons conçu un programme d’initiation au machine learning dans un cursus de design d’interaction. Ce programme court s’appuie sur une approche créat

ive où les étudiants sont amenés à imaginer des applications et les algorithmes qu’elles contiennent. En nous appuyant sur les concepts pédagogiques issus d’un état de l’art en computer science education, nous proposons un programme de créativité, ainsi qu’un formalisme et des cartes technologies pour faciliter l’intégration rapide des concepts liés à ces technologies. Nous présentons dans notre intervention les besoins, les outils ainsi que les résultats obtenus grâce à cette approche.

Salma Mesmoudi, UPMC

http://www.ipal.cnrs.fr/sinfra2012/carma_matrix

http://sodata.org/

Faire de la recherche sur de vastes ensembles de données... Voici une plate-forme d’exploitation de la plus grande base de données ouvertes en neuroscience : 200000 sujets, 5000 articles (sur les 20000 existants). c’est un exemple extrêmement riche de ce que nous avons à faire dans bien des domaines.

Table ronde 3 AMBIANCE DATA - Design des formations, design des évaluations, design des services

Les big datas sont une réalité universitaire, parce qu’elles sont la toile de fond des pratiques de discours, des actions, de la formation, de la recherche , du travail, de nos indutries.

3 pistes sont présentées, au futur proche, pour des actions de formation, une pédagogie de la coopération et des collectifs et un nouveau rôle des services supports.

Jean- Christophe Plantin UTC

Former les universitaires de SHS aux data sciences, comment s’y prendre ?

Les « data sciences » dans le monde de l’économie numérique s’accompagnent de listes claires de compétences. C’est beaucoup plus diffus à l’Université. Pourtant inéluctablement il faut former, le plus vite possible, les futurs chercheurs-ses SHS aux méthodes numériques. Faut-il enseigner à coder ?

Commençons par mettre dans son contexte l’injonction d’apprendre la programmation informatique. Elle s’insère dans un discours sur les innovations pédagogiques les MOOC, les digital humanities ; cela ouvre pas mal de solutions alternatives au “tous codeurs !”, à condition que soit explicitée la literacy numérique attendue des enseignants chercheurs, et le rôle de l’Université dans la formation au “computational thinking”

Eddie Soulier Agencements pédagogiques et connectivisme : de l’idéologie du sujet aux collectifs contemporains.

Une des modifications pédagogiques les plus nettes apportées ces dernières années est l’irruption des collectifs, là où l’on pensait “étudiant, dans la classe”. L’enseignement de masse isolait les individus, L’enseignement en environnement Big Data met au premier plan des pratiques de crowdsourcing, des situations collaboratives où l’on attend des étudiants qu’ils se complètent (en compétences) et qu’ils se renforcent (en charge de travail , en espaces à explorer) car de plus en plus les travaux se déroulent dans des environnements de données ouvertes. Cantonnés au projet, ces collectifs d’exploration sont capables d’étendre les territoires et contenus des cours. Mais bien sûr cela oblige à repenser les indicateurs des évaluations et à accepter de repenser la conception des cours (par exemple avec l’introduction de rôles, avec des temporalités de production souvent difficiles à caler dans les calendriers universitaires, à renommer les objets pédagogiques. Stages, projets, exercice, mémoire s’éloignant des commandes pédagogiques réelles et ne convenant plus tout à fait à ce que l’Université trame. Dans cette tension, l’Université se révèle un vecteur de formation méconnu aux compétences d’innovation et de coopération attendues dans les milieux professionnels.

Eric Cherel Open data et design de services numériques universitaires

Le développement de l’open data universitaire se révèle une source d’innovation et de refondation des métiers de l’informatique de gestion. Qu’on parle des données produites par les acteurs universitaires, chercheurs, enseignants chercheurs, enseignants, animateurs, intervenants, consultants, administrateurs et ingénieurs ou techniciens, ou de celles qui viennent des étudiants, de formation initiale, continue, en séjour Erasmus, en post-doc, en apprentissage etc... qu’on pense aux données structurées, à la littérature grise, aux médias sociaux, aux données internes au SI de l’université (connexions et productions sur les plate-formes, les bibliothèques en ligne, les différents services existants) la fouille de ces données est riche en indications de descriptions des comportements (espace temps du travail universitaire, analyse fine d’activités) qui peuvent profondément transformer la connaissance des usages et la conception des services. Cela suppose bien évidemment la protection des données personnelles et l’effacement de toute traçabilité concernant les individus. On va vers un design de services, dans lequel les DSI ne seront pas des prestataires éloignés et (un peu) dogmatiques, mais des explorateurs attentifs de données interprétables, capables d’accompagner les innovations, de répondre de façon ciblée au grand nombre comme aux petits groupes, et même de soutenir des développements initiés par des groupes d’étudiants, introduisant dans la forge universitaire les étudiants et enseignants, dans une perspective d’open design de services.

4ème rencontre Mixmod

Tue, 4 Jun 2013 14:52:25 GMT

]]>

Mixmod : un logiciel de classification supervisée et non supervisée pour les données quantitatives et qualitatives

Riche des trois premières éditions, cette rencontre Mixmod 2013 est co-organisée par Christophe Biernacki de l'équipe-projet Modal (commune avec le CNRS, l'Université Lille1 et l'Université Lille 2*), Gilles Celeux de l'équipe projet Select ( commune avec l'université Paris-Sud11, Gérard Govaert du laboratoire Heudiasyc à Compiègne et Florent Langronet du Laboratoire de Mathématiques de Besançon.

La rencontre s'articulera autour de la présentation de nouvelles fonctionnalités du logiciel et quelques utilisations concrètes de Mixmod dans différents secteurs d'activité.
Cette édition sera aussi l'occasion de présenter "Blockcluster", logiciel de classification croisée qui permet aux auteurs et utilisateurs de Mixmod de se rencontrer, d'échanger leurs expériences et de mieux connaître les possibilités du logiciel.

* au sein de l'UMR 8524 CNRS-Lille1, Laboratoire Paul Painlevé, et de l'EA 2694 "Santé Publique : épidémiologie et qualité des soins" de Lille 2.

Futur en Seine

Wed, 29 May 2013 14:50:48 GMT

]]>

Dans le cadre de son partenariat avec Futur en Seine, Inria vous donne rendez-vous du 13 au 23 juin pour partager et échanger autour des sciences du numérique. De nombreuses démonstrations et animations seront proposées par les équipes de l'institut.

Table ronde

David Simplot-Ryl, directeur du centre de recherche Inria Lille - Nord Europe, interviendra au cours d'une table ronde de "Futur en Seine" le 14 juin au CENTQUATRE.
Il interviendra en compagnie de :
- Jean-Louis Frechin (hôte)
- Rafi Haladjian (Sen.Se)
- Eric Careel (Withing-Sculpteo-Invoxia)
- Bernard Benhamou (Délégation aux Usages de l’internet).

Des objets qui nous ressemblent et qui nous rassemblent ?

Demi-heure de science - Modèles pour le trafic routier

Mon, 27 May 2013 17:59:21 GMT

]]>

La demi-heure de science est ouverte au plus grand nombre. Venez nombreux !

La demi-heure de science a lieu tous les mois, à partir de 11h, à l’amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous accueillera dès 10h45.
Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent, le but étant de répondre à la question « pourquoi mène-t-on des recherches dans ce domaine-là ?».

Prochain rendez-vous le jeudi 6 juin à 11h

Jean-Marc Lasgouttes : Quelques modèles solubles pour le trafic routier

Le phénomène de formation spontanée de bouchons « en accordéon » sur les axes routiers est décrit notamment par la théorie des 3 phases de Kerner, qui décrit la structure du diagramme fondamental du trafic sur autoroute. Des automates cellulaires comme le modèle de Nagel-Schreckenberg permettent de reproduire ce phénomène, mais ils sont très difficiles à étudier mathématiquement au delà des approximations de champ moyen. Une autre manière de modéliser le trafic est d'utiliser le processus d'exclusion simple totalement asymétrique (TASEP), qui est populaire en physique statistique en raison de l'existence de solutions exactes non triviales. Toutefois, il ne permet pas aux particules d'évoluer à des vitesses différentes. Dans cet exposé, on explorera diverses pistes permettant de lever cette limitation et on montrera comment cela peut mener à des phénomènes de condensation dans la géométrie d'anneau. On utilisera en particulier les possibilités offertes par la reformulation d'un tel modèle comme un réseau fermé de files d'attentes en tandem.

Travail en collaboration avec Cyril Furtlehner (Équipe TAO, Inria - Saclay).

VRIPHYS 2013 - 10th Workshop on Virtual Reality Interaction and Physical Simulation

Mon, 27 May 2013 09:52:11 GMT

]]>

VRIPHYS est une des conférences internationales bien établies dans le domaine de l'animation informatique et la réalité virtuelle.
Le workshop fournit une occasion de présenter les derniers résultats de recherche du domaine et de partager des idées pour les directions de recherches futures.

Nord IT Days, le forum des solutions innovantes

Thu, 23 May 2013 17:54:20 GMT

]]>

Des temps forts pour mettre en valeur vos solutions IT, c'est ce que propose la cinquième édition du forum Nord IT Days ! Votre métier vous impose de vous tenir au courant des dernières tendances en matière de compétitivité numérique ? Rendez-vous le jeudi 30 mai, de 8h45 à 18h à EuraTechnologies !

A cette occasion, Nathalie Mitton, responsable scientifique de l'équipe-projet Fun d'Inria Lille - Nord Europe interviendra sur l'Internet des objets de 10h40 à 11h25.

David Simplot-Ryl, directeur du centre de recherche Inria Lille - Nord Europe participera à la table ronde qui se tiendra de 15h55 à 16h40 sur les nouveaux marchés et défis de l'Internet des Objets et de la robotique.

Quelles perspectives pour la communication entre objets ? Des robots communicants pour quels services ? Quel marché aujourd’hui ? Quels projets innovants régionaux ? Autant de questions sur lesquelles vous pourrez échanger !

iMatch - Traitement des données multimédia : sons, images et textes

Wed, 22 May 2013 10:36:34 GMT

]]>

Le service des relations industrielles et de la valorisation du centre de recherche Inria Paris - Rocquencourt et Cap Digital organisent une rencontre autour du "Traitement des données multimédia : sons, images et textes" le vendredi 14 Juin 2013, dans le cadre de Futur en Seine.

Faire coïncider les offres et services technologiques des équipes de recherche Inria avec les usages et applications industriels autour d'une thématique, initier des collaborations entre les PME et la recherche, tels sont les objectifs des iMatch (Inria Match Making Technologies).

A l'occasion de cet événement, les chercheurs présenteront des offres technologiques liées au traitement des données multimédia.

Cette présentation sera suivie d'un forum entre les porteurs de technologies et les entreprises intéressées autour de démonstrations. Le but étant de générer de nouveaux projets de partenariat et de transfert.

Les équipes SIERRA, WILLOW, MUTANT, ALPAGE et IMEDIA seront présentes.

La matinée s'organisera en deux parties :

Introduction et présentations de 10 minutes des principales offres technologiques.
Forum libre avec démonstrations.

Voir le programme détaillé

Rendez-vous à l'atelier 3 du 104, vendredi 14 juin à 9h, au 5 rue Crurial, 75019 Paris. Inscription ici.

Les mathématiques sont-elles utiles pour explorer le cerveau humain et mieux comprendre son fonctionnement ?

Wed, 22 May 2013 09:35:02 GMT

]]>

Presque chaque mois de nouvelles techniques voient le jour qui utilisent des résultats les plus récents de la physique et de la biologie et nous permettent de mieux appréhender l'anatomie et le fonctionnement de parties de plus en plus vastes de notre cerveau, d'en construire des modèles et de les simuler sur des systèmes informatiques de plus en plus performants. Ces avancées considérables sont porteuses de progrès immenses pour la compréhension des mécanismes qui fondent notre connaissance du monde ainsi que de leurs dysfonctionnements.

Est-il alors possible de dire que ces révolutions technologiques vont nous fournir les clés du cerveau humain comme l'affirment les responsables de certains grands projets européens et nord-américains ? Sans répondre précisément à cette question je tenterai de montrer dans mon exposé le rôle fondamental que doivent selon moi jouer les mathématiques dans cette grande aventure.

A partir de quelques exemples issus de l'imagerie cérébrale je montrerai que celle-ci dépend d'une manière essentielle pour l'interprétation des données qu'elle fournit d'outils mathématiques, dont certains restent à forger, exploitant la géométrie.

Je montrerai ensuite comment les techniques les plus récentes issues de la théorie des probabilités permettent "d'expliquer" certains phénomènes organisationnels émergents dans l'activité de grandes populations de neurones, mais sont rapidement limitées dès que la modélisation de la biologie s'approche plus près du réel connu.

Pour conclure, de nouvelles mathématiques sont nécessaires pour accompagner et guider les explorateurs de ce qui reste encore une terra incognita.

Parallel Stabilized Finite Element Solvers In Computational Fluid Mechanics

Fri, 17 May 2013 10:46:04 GMT

]]>

In this seminar, we will present some efficient implementations of balancing domain decomposition (BDD) preconditioners for the finite element discretizations of Laplacian, elasticity and Stokes operators. For the Stokes problem, both monolithic approaches and block-based preconditioners will be discussed. Well-posedness of the resulting preconditioners and their optimality and scalability will be analyzed. We propose an implementation of additive BDD preconditioners that overlap coarse and fine duties and drastically improve the scalability of the methods. Further, a detailed weak scalability analysis on distributed memory platforms up to 30,000 cores and 10^9 unknons will be presented. In the second part of the talk, we will briefly describe our incompressible flow and transport FE solvers, based on novel linear and nonlinear (shock-capturing) stabilization FE techniques for inf-sup stability and convection stability. Some applications of our codes to complex problems, e.g. MHD simulations of test blanket modules will be presented.

Personalized Blood Flow Simulation: Changing the Treatment Paradigm for Cardiovascular Disease

Fri, 17 May 2013 09:52:56 GMT

]]>

Coronary heart disease is the leading cause of mortality worldwide, accounting for 1/3 of all global deaths. Recent studies have conclusively demonstrated that measuring the blood flow distal to a narrowing is the best predictor of disease severity and is therefore critical to determining optimal treatment for a patient. However, measurement of blood flow is an invasive procedure which is both costly and risky to the patient. In contrast to this invasive approach for measuring blood flow in a diseased vessel, we have demonstrated that it is possible to perform an accurate blood flow simulation to produce a simulated blood flow measurement. We have demonstrated with prospective clinical trials that this blood flow simulation is accurate and ready for commercialization. However, an accurate patient-specific simulation critically depends on our ability to create a hyperaccurate 3D geometry of the patient's vasculature. In this talk I will describe our application of blood flow simulation and the new computer vision techniques that we have developed to provide robust solutions to extracting precise vascular geometry from images.

Champions de mathématiques : cuvée 2013

Wed, 15 May 2013 16:54:40 GMT

]]>

En partenariat avec l’Académie de Lille, l'Université Lille1 et EuraTechnologies Développement, Inria reçoit les lauréats des Olympiades de mathématiques pour une remise de prix. La cérémonie se clôturera par une visite du Plateau Inria où les élèves découvriront les dernières innovations technologiques des équipes de recherche Inria.

Pour rapprocher l'univers de la recherche en mathématiques de celui des lycées, Inria engage des actions vers les jeunes et développe les partenariats avec l'Éducation nationale notamment en s'associant aux Olympiades de mathématiques. Les objectifs des Olympiades trouvent en effet un écho particulier à l'institut qui mène une politique active auprès des jeunes pour développer leur intérêt pour les sciences, leur faire connaître la recherche en informatique et en mathématiques et les innovations dont ces disciplines sont à l'origine, telles que l'internet, le téléphone mobile, la carte à puce, etc.

Olivier Danvy - Du calcul mathématique aux calculs informatiques

Wed, 15 May 2013 11:07:17 GMT

]]>

Olivier Danvy interviendra dans le cadre du Colloquium Polaris, le jeudi 20 juin de 14h à 15h30 (Ircica).

Colloquium Manuel Serrano : La programmation du web diffus

Wed, 15 May 2013 10:05:49 GMT

]]>

L'informatique individuelle a été profondément bouleversée par les smartphones et les tablettes. En l'espace de quelques années, ces périphériques ont rattrapé en nombre, mais presque aussi en capacité, les ordinateurs individuels que nous utilisons depuis les années 1980.

Comme les téléphones sont très peu encombrants nous les portons (presque) toujours avec nous. Comme de plus ils sont très connectés au monde réel par une multitude de capteurs et au monde électronique par une large couverture réseau, ils permettent la réalisation de nouvelles applications qui étaient inimaginables il y a tout juste quelques années : les applications diffuses.

Toutefois, la programmation diffuse est complexe car elle cumule une grande partie des difficultés de la programmation classique auquel elle ajoute un lot de problèmes inédits.

Lors de ce séminaire nous présenterons Hop, un langage de programmation conçu pour traiter ces problèmes. Il s'appuie très fortement sur l'architecture du Web qu'il considère comme une vaste plateforme d'exécution. Le séminaire commencera par une brève mise en perspective historique des techniques de programmation du Web. Suivra un exposé des principales caractéristiques du langage. Une application réaliste sera ensuite présentée et quelques points de son implantation détaillés.

Analyse statique : Retours d'expériences industrielles

Mon, 13 May 2013 15:50:53 GMT

]]>

Le Forum Méthodes Formelles est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

Le 28 juin 2013 aura lieu la seconde journée consacrée à l’analyse statique de codes pour la validation formelle de systèmes logiciels. Le schéma général pour cette conférence est d'associer systématiquement une présentation d'outil par son concepteur/développeur et le retour d'expérience utilisateur. A cette occasion les grandes entreprises en avionique et espace présenteront leurs expériences à partager pour l'utilisation de ces méthodes dans d'autres domaines tels que la santé ou les transports terrestres.

Cet événement est une retransmission en direct de la conférence de Toulouse.

Programme:

L’Analyse Statique : Présentation

FRAMA-C : les cas d’applications de l’Analyse Statique dans un contexte industriel

AbsInt a3/Astrée : Analyse statique de programmes avioniques

POLYSPACE : amélioration de la qualité de logiciel spatial

MICROSOFT : spécification et vérification des programmes

Table ronde autour des apports de l’Analyse Statique dans l’industrie.

Retrouvez le programme détaillé

AlgoTel 2013 : 15èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications

Mon, 13 May 2013 11:03:42 GMT

]]>

AlgoTel est l'occasion de réunir toute la communauté universitaire et industrielle souhaitant partager ses compétences et ses résultats récents en algorithmique appliquée aux problèmes des télécommunications.

Le but d'AlgoTel est de permettre la diffusion de travaux nouveaux traitant de la résolution de problèmes fondamentaux provenant du monde des réseaux et des télécommunications au moyen de techniques algorithmiques sophistiquées. Ces techniques sont issues de domaines variés comme les mathématiques discrètes, la théorie des graphes, l'optimisation combinatoire, les systèmes distribués et répartis, l'analyse probabiliste, la géométrie stochastique ou la simulation à évènements discrets.

Il y a une vie après Ruby on Rails : Web 3.0 avec Pharo

Tue, 7 May 2013 15:58:49 GMT

]]>

Vous êtes un pro du web ? L'innovation autour d'internet et de ses applications vous passionne ? Venez découvrir exposés & démonstrations sur le langage open-source dynamique Pharo.
Des entreprises vous y présenteront leurs dernières applications web avancées ; une véritable vitrine de la technologie Pharo. Vous découvrirez comment développer, déployer et faire évoluer des applications complexes souvent en suivant des méthodologies agiles.

Programme de la conférence

L'évènement débutera à 14h et se terminera à 17h.

Pharo c'est quoi ?

Présentation par Stéphane Ducasse
Pharo est un langage et environnement MIT extrêmement utile pour le développement web. Il est totalement dynamique, simple et très puissant.

Bio

Stéphane Ducasse

Stéphane Ducasse, Directeur de recherche pour l'équipe-projet Rmod (commune avec l'Université Lille1*) à Inria Lille, est l’un des auteurs du logiciel open source Seaside. Il est également l’un des lead développeurs de Pharo.
Il est par ailleurs co-créateur de synectique.eu : une entreprise développant des outils dédiés pour la prise de décision dans l'évolution des SI.

* au sein de l'UMR 8022 CNRS-Lille1-Lille 3-Inria, LIFL

Business Session n° 1

Présentations courtes d'entreprises exploitant déjà Pharo dans leur business :
YesPlan présenté par Johan Brichau CTO de 2Rivers nv.
Yesplan est un puissant et flexible logiciel de gestion de planification d'événements.
Johan Brichau nous montrera comment Yesplan tire avantage de Seaside pour créer des interfaces dont le flot d'interaction est a la fois naturel mais capturant la complexité du domaine.

Bio

Johan Brichau

Johan Brichau possède plus de 12 ans d'expérience en développement. Il a récemment créé le site Inceptive.be. Il est chef du développement de yesplan chez 2Rivers nv.

Ibizlog, présenté par Esteban Lorenzano.
Ibizlog est un metashop: un système utilisé pour créer des magazines en ligne. Ibizlog est déployé en Amérique du Sud et utilise une technologie à base de composants web intégrant javascript de manière transparente pour le développeur.

Bio

Esteban Lorenzo

Esteban Lorenzano a développé [ibizlog.com] un site pour créer des magasins. Il a été architecte Java dans « une autre vie ». Depuis plusieurs années, il développe la machine virtuelle Pharo ainsi que de nombreuses librairies.

Tech Session n°1

Seaside par Johan Brichau from 2Rivers

Seaside est un serveur d'applications web dynamiques. Il utilise un DSL embarqué pour la génération d'HTML.
Il est basé sur une technologie de composants proposant un flot de composition et de réutilisation proche de celui des applications desktop. Seaside permet notamment de s'abstraire du protocole HTTP, en offrant la possibilité d'évaluer des callbacks (comme une application desktop) à la place de gérer à la main des urls.

Voyage et autres bases de données par Esteban Lorenzano

Voyage est un framework permettant de sauvegarder des objets complexes sur des bases de données telles que MongoDB et ceci de manière transparente.
DBXTalk est une solution plus traditionnelle pour le déploiement via des bases de données relationnelles.

Business Session n°2

Présentations courtes d'entreprises exploitant déjà Pharo dans leur business :

Odyssey par Nicolas Petton, CEO de ObjectFusion

Vous utilisez régulièrement WordPress ou Joomla ? Vous préféreriez des systèmes plus intuitifs, versionnés automatiquement et vous permettant de vous concentrer sur votre coeur de métier ?
Ce nouveau CMS est conçu pour vous. Odyssey intègre plusieurs fonctionnalités comme l'édition en place, le drag-and-drop d'éléments entre plusieurs pages ou encore l'historique de toutes vos éditions.

Bio

Nicolas Petton

Nicolas Petton est le CEO d'Objectfusion, société montpellieraine spécialisée dans le développement d'applications déployées sur le web. Il est également membre de l'équipe-projet Rmod (commune avec l'Université Lille1*). Nicolas est auteur et contributeur de plusieurs projets Opensource autour de Smalltalk et JavaScript, dont Amber Smalltalk.

NTed by Norbert Hartl, 2denker GmbH

NTed is an analysis tool for disaster scenario rehearsals. (NTed uses smalltalk combined with web technologies on client and server in an adhoc network environment that is not connected to the internet. NTed combines several network technologies to establish a reliable environment)

Norbert Hartl works for 20 years with network and web technologies. His work has always been close to open source software, be it introducing open source to companies or creating/participating in open source software projects.

Tech Session n°2

« Amber » par Nicolas Petton.

Amber est une implémentation de Smalltalk pour le Web. Amber compile en JavaScript, et offre tous les outils caractéristiques à Smalltalk des librairies à l'environnement de développement live (navigateur de classes, inspecteur, debugger, SUnit, etc.). Amber est écrit en lui-même, y compris le compilateur, et offre une excellente intégration avec l'écosystème JavaScript.

“Zinc/Zodiac/WebSockets/Oauth” by Sven Van Caekenberghe from www.Beta9.be

Beta Nine develops and commercialises the T3 Platform, a SaaS vehicle track & trace and fleet management system. Pharo is used in various aspects of their operations, especially for back end server systems processing binary protocols and for offering REST APIs to other subsystems and web applications. This presentation is a survey of some of the base web related technologies integrated in or available for Pharo, most notably Zinc HTTP Components, Zodiac TLS/SSL Streams, Zinc WebSockets and Zinc SSO, which includes OAuth 1, OAuth 2 and OpenID. These open source, battle tested components make it possible to develop modern, standards compliant web applications and services. The subject of deploying Pharo based production servers is included as well.

Bio

Sven Van Caekenberghe is a software developer. Beta Nine, the company he co-founded, builds and commercialises a vehicle track & trace and fleet management system called the T3 Platform. Sven loves high-level, dynamic and interactive object-oriented systems. He authored and maintains several open source Smalltalk projects and is a Pharo contributor and board member.

Pharo Consortium

Présentation par Stéphane Ducasse
Pharo est totalement Open-Source (MIT). Il est structuré autour d'un consortium industriel piloté par Inria. Des acteurs tels que VMWare supportent Pharo.

A l'issue de cette conférence, une collation vous sera offerte.

Dans le même espace, l’ensemble des entreprises intervenantes et les orateurs présenteront leurs solutions sur différentes postes informatiques « en libre accès ».
Vous pourrez ainsi les rencontrer directement et sans rendez-vous.

Colloquium Rennais des Sciences du Numérique : seconde édition le 3 juin à 14h00 à l'occasion du First CominLabs Week

Mon, 6 May 2013 16:15:40 GMT

]]>

Lundi 3 juin à partir de 14 heures, aura lieu la seconde édition du Colloquium Rennais des Sciences du numérique qui accueillera Muriel Medard (MIT), Alan Smeaton (Dublin City University) et Ronan Sauleau (IETR) à l’occasion du First CominLabs week qui se déroulera à l'Espace Conférences du centre Inria Rennes-Bretagne Atlantique.

Entrée Libre

14h00 - 15h00 : Exposé de Muriel Medard, MIT, U.S.A, "Coding for heterogeneous networks"
15h00 - 16h00 : Exposé d'Alan Smeaton, Dublin City University, Ireland, "Wearable sensors in sport"
16h30 - 17h30 : Exposé de Ronan Sauleau, IETR, France, "Passive and Reconfigurable Integrated antennas and systems at millimeter waves"

IHM 2013

Tue, 30 Apr 2013 17:26:23 GMT

]]>

Inria sera au cœur d’un prochain rendez-vous dédié aux Interactions Homme-Machine.

Inria s’associe à l’AFIHM (Association Francophone d’Interaction Homme-Machine) pour organiser IHM 2013, sa 25ème conférence annuelle, à Bordeaux du 12 au 15 novembre 2013.
Martin Hachet, chercheur Inria qui dirige l’équipe Potioc du centre Inria Bordeaux – Sud-Ouest et Nicolas Roussel, chercheur Inria au sein de l’équipe Mint du centre Inria Lille – Nord Europe président la conférence.
IHM 2013 a la volonté de favoriser les synergies entre les domaines académiques et industriels, et est l’occasion annuelle de rassembler tous les représentants francophones de la discipline.

CHI 2013

Tue, 30 Apr 2013 15:44:41 GMT

]]>

Inria participe à la plus importante conférence internationale dédiée aux interactions homme-machine.

Retrouvez ici plus d'infos sur la participation d'Inria à la conférence

Gérard Berry rejoue sa leçon inaugurale "L'informatique du temps et des événements" du Collège de France

Tue, 30 Apr 2013 14:51:48 GMT

]]>

Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, présentera une réédition augmentée de sa leçon inaugurale sur le thème L'informatique du temps et des événements (initialement présentée le 28 mars dernier au Collège de France).

Le temps et les événements en informatique

Cet exposé sera une réédition augmentée de ma leçon inaugurale au Collège de France sur la chaire Algorithmes, machines et langages, donnée le 28 mars 2013. L’exposé sera suivi d’une séance de questions et discussion sur le sujet du temps et des événements en informatique, qui occupera les premières années de la chaire. Les vidéos et supports des cours 2012-2013 sont disponibles sur le site du Collège de France. Pour le cycle de cours 2013 / 2014, les trois premiers cours et séminaires auront lieu au centre Inria Sophia Antipolis - Méditerranée en janvier 2014 et concerneront la relation science-industrie dans l’évolution du langage Esterel, de ses implémentations logicielles et matérielles et de ses applications. Ils seront accompagnés de deux séminaires sur le temps en automatique et en traitement du signal et d’un séminaire sur la simulation à haut niveau des systèmes sur puce.

Le traitement du temps et des événements en informatique joue un rôle central dans une grande variété de domaines : les programmes embarqués dans les objets et en particulier ceux assurant une conduite temps-réel de processus divers (avionique, automobile, etc.) ; les circuits électroniques modernes, qui comportent des composants et horloges multiples ; la simulation de systèmes physiques multi-composants ; la construction d’applications Web sophistiquées fondées sur l’orchestration des nombreuses applications déjà existantes ; enfin, la création musicale contemporaine qui associe harmonieusement interprètes humains et sons numériques au moyen de partitions devenues algorithmiques. Or, le temps et les événements restent les parents pauvres de la programmation classique, qui n’en parle que de façon latérale. Nous montrerons qu’il faut considérablement élargir les discours et formalisations habituels pour maîtriser les phénomènes temporels et événementiels. Nous discuterons des formalismes, des styles et langages de programmation, et des logiques de raisonnement et de vérification formelle adaptés à l’ensemble des applications temporelles précitées. De beaux succès ont déjà été obtenus, mais il reste un travail considérable à effectuer en relation avec d’autres domaines comme l’automatique, la physique et la création artistique.

Modèles mathématiques pour l’environnement et le développement durable

Fri, 26 Apr 2013 16:57:59 GMT

]]>

La demi-heure de science est ouverte au plus grand nombre. Venez nombreux !

La demi-heure de science a lieu tous les mois, à partir de 11h, dans l’amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous y accueille dès 10h45.
Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent afin de répondre à la question « pourquoi mène-t-on des recherches dans ce domaine-là ?».

Le sujet :

Les aléas naturels (vagues scélérates, érosion, avalanches, inondations,…) mettent en jeu des phénomènes physiques complexes que l’on cherche à modéliser et à simuler. Disposer de tels modèles est capital puisque cela permet la compréhension des phénomènes, leur analyse et, dans une certaine mesure, leur prédiction.

Au cours de cet exposé, on décrit brièvement l’élaboration des modèles, leur analyse, et le développement des méthodes pour leur résolution numérique. On montre également comment ces modèles sont utilisés pour des problèmes liés à la géophysique, à l’écologie et au développement durable :

tsunami, mascaret, rupture de barrage,
énergies marines (houlomotrice, hydrolienne),
biocarburants de 3ème génération.

École Thématique Intelligence Ambiante 2013

Thu, 25 Apr 2013 18:29:31 GMT

]]>

L'École Thématique Intelligence Ambiante se tiendra du 01 au 04 juillet 2013 à Polytech'Lille sur le campus universitaire de Villeneuve d'Ascq.

Artificial Evolution Summer School 2013

Wed, 24 Apr 2013 18:19:37 GMT

]]>

La 8e édition de l'école internationale d'été sur l’évolution artificielle (Artificial Evolution Summer School) aura lieu du 10 au 14 Juin 2013, à Quiberon.

Offrant des exposés de référence ainsi que des exercices pratiques, cette école anglophone s'adresse à un public multidisciplinaire d'étudiants, de chercheurs et d'industriels. Ce sera une occasion unique d'être en contact avec une communauté de chercheurs reconnus, couvrant les principaux thèmes de calcul évolutif.

L'AESS est organisée par l'équipe-projet Dolphin du centre de recherche Inria Lille - Nord Europe (commune avec l'Université Lille1*), le LIFL (Université Lille1) et l'Université Nice Sophia Antipolis, en partenariat avec l'association Évolution Artificielle et le GdR-RO (CNRS).

* au sein de l'UMR 8022 CNRS-Lille1-Lille 3-Inria, LIFL.

Inria, partenaire du Printemps des Chercheurs

Wed, 24 Apr 2013 11:49:16 GMT

]]>

Le Printemps des Chercheurs est une opération régionale, lancée il y a 7 ans par « Tous Chercheurs », qui consiste à faire découvrir au grand public et aux scolaires la vitalité de la recherche en PACA en présentant des découvertes récentes ou en lien avec l’actualité.

Organisé conjointement par la Métropole Nice Côte d'Azur, la ville de Nice et PERSAN (le pôle Enseignement Recherche Sophia Antipolis - Nice), cette 3ème édition du Printemps des Chercheurs des Alpes Maritimes se déroulera pendant 2 jours sur la Place Garibaldi à Nice.

Ce festival scientifique original est l’occasion de rencontrer des chercheurs pour expérimenter et débattre des sciences. Des ateliers, des conférences interactives, des expositions et des stands sont prévus pour tous les publics.

Vieillissement, santé, biocarburant à partir de micro-algues, archéologie, énergie, biodiversité, mer, air, bruit, sont parmi les thèmes abordés de façon très accessible dans les stands et animations répartis sur la Place Garibaldi, et à la Maison des Associations. Les stands sont regroupés en quartiers thématiques sur l’Energie, Biodiversité & mer, et Santé.

Inria sera présent à cette 3ème édition :

Quartier Energie :
- GreenStars : Production de biocarburant à partir de micro algues (UPMC/CNRS - INRA - Inria (Equipe BIOCORE) - ACRI - Métropole Nice Côte d'Azur - CG06 - Région PACA
  Dans le cadre des projets d’investissements d’avenir, le projet GreenStars est un des lauréats de l’appel à projet « Institut d’Excellence sur les Énergies Décarbonnées ». Ce projet, focalisé sur la valorisation des micro-algues, étudie la possibilité de produire des biocarburants de troisième génération à partir de CO2 d’origine industrielle, de déchets organiques et d’énergie solaire.
Quartier Santé :
- Exposition aux ondes électromagnétiques des téléphones (Equipe NACHOS) : Les 20 dernières années ont vu les moyens de communication sans fil prendre une place centrale dans l'activité humaine. Aujourd'hui les utilisateurs de téléphones portables sont prés de 4 milliards dans le monde. Cette tendance est renforcée par la croissance de nouveaux systèmes sans fil qui utilisent également des ondes électromagnétiques. De nombreuses questions relatives aux interactions des ondes avec la personne accompagnent cette progression.

New Directions in Dividing: Le Fabuleux Destin de MISTY1

Wed, 24 Apr 2013 11:43:25 GMT

]]>

MISTY1 is a block cipher designed by Matsui in 1997. It is widely deployed in Japan where it is an e-government standard, and is recognized internationally as a NESSIE-recommended cipher as well as an ISO standard and an RFC. Moreover, MISTY1 was selected to be the blueprint on top of which KASUMI, the GSM/3G block cipher, was based. Since its introduction, and especially in recent years, MISTY1 was subjected to extensive cryptanalytic efforts, which resulted in numerous attacks on its reduced variants. Most of these attacks aimed at maximizing the number of attacked rounds, and as a result, their complexities are highly impractical.

In this work we pursue another direction, by focusing on attacks with a practical time complexity. The best previously-known attacks with practical complexity against MISTY1 could break either 4 rounds (out of 8), or 5 rounds in a modified variant in which some of the FL functions are removed. We present an attack on 5-round MISTY1 with all the FL functions present whose time complexity is 2³⁸ encryptions. When the FL functions are removed, we present a devastating related-key attack on the full 8-round variant, requiring only 2¹⁸ data and time.

While our attacks clearly do not compromise the security of the full MISTY1, they expose several weaknesses in MISTY1's components, and improve our understanding of its security. Moreover, future designs which rely on MISTY1 as their base, should take these issues into close consideration.

Joint work with Nathan Keller.

Plate-forme de l'Association Française pour l'Intelligence Artificielle

Tue, 23 Apr 2013 18:33:39 GMT

]]>

La plate-forme de l'Association Française pour l'Intelligence Artificielle se tiendra du 1er au 5 juillet 2013 à Villeneuve d'Ascq. L'équipe-projet Sequel et l'équipe Magnet du centre Inria Lille - Nord Europe sont respectivement impliquées dans les 8èmes JFPDA et dans la Conférence Francophone sur l'Apprentissage Automatique.

L'objectif de plate-forme IA est de réunir chercheurs, industriels et étudiants autour de conférences et d'ateliers consacrés à l'Intelligence Artificielle (IA). Cette manifestation est organisée tous les deux ans, en alternance avec le congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA). Elle constitue un point de rencontre unique et convivial pour la communauté IA afin de rapprocher les différentes disciplines qui la composent et d'établir des passerelles entre elles. À cette intention, cette plateforme s'adresse à l'ensemble de la communauté francophone d'Intelligence Artificielle afin qu'elle aborde des problématiques communes.

L'équipe-projet Sequel (commune avec Centrale Lille, et l'Université Lille 3*) prendra part aux Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, qui ont pour but de rassembler la communauté de chercheurs francophones travaillant sur les problèmes d'intelligence artificielle, d'apprentissage par renforcement, de programmation dynamique et de tous les domaines liés à la prise de décision séquentielle et à la planification.

L'équipe Magnet (commune avec l'Université Lille 3 **) participe à la Conférence Francophone sur l'Apprentissage Automatique, qui réunit chaque année la communauté francophone travaillant dans le domaine de l'apprentissage automatique.

La plate-forme IA 2013 est organisée par l'AFIA et l'Université Lille1, en partenariat avec l'IRIT, le CNRS et Inria.

* au sein de l'UMR 8146 CNRS-Centrale Lille-Lille1, LAGIS et de l'UMR 8022 CNRS-Lille1-Lille 3-Inria, LIFL.

** au sein de l'UMR 8022 CNRS-Lille1-Lille 3-Inria, LIFL.

Forum 4i : "Mobilité intelligente, usages et innovations"

Mon, 22 Apr 2013 11:54:20 GMT

]]>

Le forum 4i, porté par la Ville de Grenoble, est un événement fort pour la création et le développement d’entreprises en Rhône-Alpes. Sa vitrine technologique présente des projets innovants issus des laboratoires de recherche Rhônalpins. Le thème de cette année 2013 portera sur « Mobilité intelligente, usages et innovations ». Deux équipes Inria E-MOTION et STEEP participent à l'événement.

Les principaux thèmes seront la planification et l’optimisation des transports, l’assistance à la mobilité, les mobilités douces, l’énergie… Autant de sujets placés au cœur des stratégies et des politiques publiques de mobilité actuelles.

Deux équipes Inria seront présentes :

E-MOTION ainsi que le Laboratoire d’informatique de Grenoble (LIG), ProbaYes et TME présenteront, eux, leurs dispositifs permettant de doter des systèmes de transport individuel (voiture, fauteuil roulant) ou collectif (bus, tram) de capacités de perception, de décision et d’action dans des environnements dynamiques et partagés par des humains.

STEEP présentera, en collaboration avec l’IDDRI, l’AURG, Modelistica et Le Laboratoire d’économie des transports (LET), ses recherches concernant la planification urbaine. Leur outil est une aide à la décision pour la conception et l’évaluation de politiques de transport ou d’aménagement se basant sur des modèles intégrés transport/usage du sol.

Forum 4i le site web

Modélisation, simulation et calcul intensif

Tue, 16 Apr 2013 17:55:41 GMT

]]>

Le 11 juin 2013 se déroulera une nouvelle édition des Rencontres Inria Industrie sur le thème "Modélisation, simulation et calcul intensif". Cette journée qui se déroulera à Paris est organisée en partenariat avec Genci et Oséo. Elle sera également l'occasion de découvrir l'Initative HPC-PME et de s'entretenir avec des experts du calcul intensif.

Dans de nombreux domaines des sciences et de l’industrie la maîtrise des technologies de modélisation et de simulation numérique est devenue indispensable. Pour faire face à l'accroissement considérable de la quantité d'informations numériques disponibles et à la complexité croissante des systèmes à concevoir, le calcul haute performance (HPC pour High Performance Computing) est une des clés du succès, permettant de calculer plus vite sur des données de tailles toujours plus importantes.

Microsoft Research Machine Learning Summit

Tue, 16 Apr 2013 11:26:08 GMT

]]>

This event offers highlights from the Machine Learning Summit, providing keynotes from machine learning experts and enlightening discussions with leading scientific and academic researchers about approaches to challenges that are raised by the new era in machine learning.

Conférenciers invités :

Andrew Blake : distinguished scientist and laboratory director of Microsoft Research Cambridge (UK) will provide his perspective on the challenges that are associated with machine learning.

Judea Pearl : professor of computer science and statistics, and director of the Cognitive Systems Laboratory at University of California (LA), as well as Turing award recipient for his contribution to artificial intelligence, will present his ideas about data extraction and the discovery of causal effects from data.

Fei-Fei Li : associated professor of Computer Science and director of the Vision Lab at Stanford University, will examine the work of researchers who are teaching computers to extract meaningful information of visual data to perform important tasks.

Avec également l'intervention de Michel Cosnard (président-directeur général d'Inria), Laurent Massoulié (directeur du Laboratoire commun Inria - Microsoft Research) et Francis Bach (Inria Paris-Rocquencourt).

Watch the event Live!

Le Microsoft Research Machine Learning Summit sera diffusé en streaming, en direct depuis Paris, le 23 avril 2013 de 13h30 à 17h (Greenwich time) depuis le site internet de l'événement.

« Vers de nouvelles technologies pour la gestion des services urbains »

Mon, 15 Apr 2013 12:02:09 GMT

]]>

Le 9ème workshop Innovations Numériques pour la Ville Durable aura lieu mercredi 17 avril 2013 de 9h00 à 17h00. Nathalie Mitton, responsable de l'équipe Inria Fun, présentera une intervention sur le sujet « De la RFID passive à la RFID active : applications aux villes du futur ».

Le développement des nouvelles technologies numériques au service des villes est en pleine expansion ces dernières années. Tous les secteurs urbains sont concernés (services d’eaux et de déchets, aménagement urbain, transport et mobilité, planification énergétique urbaine, etc.) Ces technologies contribuent efficacement à la maîtrise de la complexité des systèmes urbains et au développement durable. Elles sont de véritables supports pour aider les décideurs de différents niveaux dans leurs actions.

Ce workshop annuel est l’occasion de réunir des chercheurs, des professionnels et les élèves ingénieurs de l’École des Ingénieurs de la Ville de Paris pour échanger sur les apports et les perspectives de ces technologies.

Rencontres Jeunes Chercheurs en Interaction Homme Machine

Mon, 15 Apr 2013 11:39:00 GMT

]]>

Les Rencontres Jeunes Chercheurs en Interaction Homme Machine sont de retour en 2013 ! Cette édition aura pour thème la formation au métier de chercheur et prendra la forme d'une école d'été.

Festival Sciences en Cour[t]s 2013 : quand Einstein rencontre Spielberg

Mon, 15 Apr 2013 11:35:49 GMT

]]>

Nicomaque, l'association des doctorants rennais, organise la septième édition du festival Sciences en Cour[t]s qui aura lieu le jeudi 18 avril 2013, à 20h30 au Diapason (Campus de Beaulieu) à Rennes.

Expliquer ses recherches en moins de 5 minutes sur grand écran... c'est le défi lancé cette année encore aux doctorants rennais qui participent au festival Sciences en Cour[t]s, festival de très courts-métrages de vulgarisation scientifique.

Tue, 9 Apr 2013 11:21:32 GMT

]]>

Chaque année, les membres de l’axe d’étude Mobilité et Ubiquité du Groupe de Recherche I3 (GDR-I3) se rencontrent lors d'une manifestation.

En 2013, les journées UbiMob se tiendront à Nancy du 5 au 7 Juin 2013. Ces journées sont organisées cette année par Inria et par le Loria (Laboratoire Lorrain de Recherche en Informatique et ses Applications), elles ont pour objectif premier d’être un lieu d’échange scientifique et de rencontre sur le thème de l’informatique ubiquitaire et mobile entre acteurs académiques et industriels issus de différentes disciplines (e.g. systèmes distribués, capteurs, intergiciels, sécurité, bases de données, interaction homme-machine, ergonomie, sciences humaines et sociales) autour de travaux sur la conception, la mise en oeuvre et l'évaluation des systèmes informatiques mobiles et ubiquitaires.

Journée thématique du Pôle ORA

Fri, 5 Apr 2013 14:11:26 GMT

]]>

La 3ème Journée Thématique 2013 du Pôle Optique Rhône-Alpes aura pour sujet Optique et Vision, applications au Contrôle Industriel et à la Robotique et se déroulera le 16 Avril prochain à Inria Montbonnot. 

Cette journée permettra de mettre en avant des compétences dans les domaines suivants:

robotique, mobilité, analyse et fusion de données,
capteurs optiques, vision industrielle, 3D, environnement,
adaptatif, contrôle, traitement d'images, Camera, TOF, drones…....

Les points forts de cette journée :

Un cycle de 9 conférences complémentaires et variées par des spécialistes du domaine :

Perception 3D, Etat de l'art sur les techniques de capteurs 3D
Capteurs TOF - Time Of Flight, opportunité, désintégration industrielle
Robotique adaptative pour applications multi-réfèrences L'optique au service des dispositifs médicaux innovants
Etat de l'art sur la vision et robotique mobile
Intégration de capteurs et de systèmes de vision en robotique mobile
Optique et vision industrielle haute résolution
Exemples de mises en oeuvres de capteurs optiques 3D pour le contrôle d'objets hétérogènes en mouvement
ARMS : Une cellule robotisée multi-bras équipée de capteurs intelligents et perception active pour la découpe d'objets déformables
Une session posters: démonstrations permettant à chacun de participer activement à cette journée en présentant ses compétences, ses services, ses sujets d'investigation,ses offres

Un lieu d'échange et d’opportunités.

Un tour de table pour que chacun puisse s'exprimer sur le sujet, participer au débat d'idées permettant ainsi l'émergence de communautés d'intérêt en vue d'engager une réflexion plus approfondie.

La constitution d'un groupe de travail sur la thématique.

Workshop sur les "massive open online courses"

Wed, 27 Mar 2013 18:09:35 GMT

]]>

Systematic, en partenariat avec Inria, l'IRILL, l'UPMC, Paris Diderot et Abilian, organise le 30 mais prochain à Paris un workshop sur les MOOC (massive open online courses).

Le phénomène des MOOC qui consiste en la publication de cours ouverts et à leur diffusion à un très grand nombre d'étudiants, en l'organisation d'interactions entre ces élèves et les enseignants et entre les élèves eux-mêmes via des réseaux sociaux tend à ce développer en France.

Si ce modèle semble bien s'inscrire dans la thématique "de l'ouvert" comme l'open source ou encore l'open data, il convient néanmoins de s'interroger sur les aspects économiques, sociaux et technologique que représentent cette nouvelle pratique.

Colloquium Rachid Guerraoui : Speculating Seriously in Distributed Computing

Wed, 27 Mar 2013 14:26:18 GMT

]]>

If we are ever to understand what computers can collectively do, we need a new theory of complexity. Recent evolutions, including the cloud and the multicore, are turning computing ubiquitously distributed, rendering the classical complexity theory of centralized computing at best insufficient.

A complexity theory for distributed computing has emerged in the last decades, measuring complexity for each specific model of the networked environment, represented by an adversary that may provoke asynchrony, failures, contention, etc. This one adversary - one result approach led to an exponential proliferation of seemingly unrelated results, none of which captures current practices in the development of distributed applications. Instead, applications rely on speculative algorithms that perform well when the environment behaves nicely and gracefully degrades if the environment is more hostile, considering thereby several adversaries at the same time. With no underlying theory, the proposed speculative algorithms lack however rigor and there is anecdotal evidence of their fragility. It is moreover usually impossible to predict their behavior or determine whether their limitations are related to fundamental impossibilities or artifacts of specific infrastructures. The goal of this talk is to discuss a glimmer of a theory of speculative distributed computing.

Biography

Rachid Guerraoui is Professor in Computer Science at EPFL where he directs the Institute of Theoretical Computer Science. He has worked in the past with HP Labs in Palo Alto and MIT. He is interested in distributed computing on which he wrote few books and papers.

1ère édition du Colloquium Rennais des sciences du numérique : exposé de Mathias Fink, Professeur à l’ESPCI Paris Tech

Wed, 27 Mar 2013 11:32:05 GMT

]]>

Mercredi 17 avril à partir de 14 heures, aura lieu la 1ère édition du Colloquium Rennais des Sciences du numérique qui accueillera Mathias Fink, professeur à l'ESPCI Paris Tech, pour un exposé à l'amphithéâtre du centre Inria Rennes-Bretagne Atlantique.

Entrée libre

Résultat de la volonté des établissements de recherche réunis au sein du Comité de Site Math-STIC de Rennes, le Colloquium Rennais des sciences du numérique a pour but de réunir périodiquement l’ensemble des chercheurs, enseignants-chercheurs et étudiants de la place rennaise qui s’intéressent aux sciences du numérique.
A partir du 17 avril 2013 et environ tous les deux mois, un nouveau cycle de belles conférences scientifiques se tiendra dans l’amphithéâtre du centre de recherche Inria Rennes – Bretagne Atlantique.

Technologies et systèmes d'information appliqués à la santé

Wed, 27 Mar 2013 09:56:14 GMT

]]>

Health-IT Expo : 3 jours connecté et décisifs pour l'avenir de la santé du 28 au 30 mai, à Paris (Porte de Versailles).

La modernisation des systèmes d’information reste un véritable défi pour améliorer l’organisation de l’offre de soins en France : hôpital numérique, télémédecine, e-santé, mobilité, cloud, sécurité, communication ville-hôpital, dématérialisation, robotisation...

Ce salon, organisé dans le cadre des Salons Santé Autonomie, sera l'occasion pour les acteurs du secteur de faire le point, d'anticiper l’avenir et de construire les stratégies qui permettront d’y arriver.

Les Salons Santé Autonomie

Ces salons sont l'un des rendez-vous majeurs de l'univers de la santé où plus de 20 000 professionnels de la santé sont attendus. Il regroupe désormais les trois salons leaders du domaine en un même lieu :

HopitalExpo
GerontExpo/HandicapExpo
HitParis

Pour cette édition, la Fédération hospitalière de France, a défini un fil rouge autour d’un thème central : Les territoires de santé, les inégalités de santé et les enjeux de l’autonomie.

Le HITParis 2013 : Système d'information et nouvelles technologies appliqués à la santé

Concrètement, le pavillon Mobile HIT, Cloud Computing HIT, Security HIT, Village start-up et Agora HIT divulgueront toutes leurs innovations concrètes aux professionnels. Améliorer la prise en charge des patients en leur permettant d’avoir davantage de contrôle sur leurs soins est une des priorités des institutions de santé rendue possible par les technologies et le systèmes d’information.
Des sujets transversaux seront également développés lors des conférences et ateliers qui rythmeront le salon. Inria et le CNRS Santé à Domicile et Autonomie s'associent sur cet événement et vous proposent notamment :

une conférence plénière : Transformer l’organisation des soins avec les TIC : le défi du parcours patient
un atelier : De l’hôpital au domicile : La télémédecine au service des malades chroniques
une table ronde : La m-santé ou comment le téléphone mobile transforme l’accès aux soins
des retours d’expérience : La m-santé à l’hôpital, une nouvelle relation avec les patients

Mon, 18 Mar 2013 17:27:01 GMT

]]>

Deux journées accueillies cette année à Nancy pour évoquer la problématique de la haute fréquence dans des domaines comme la diffraction acoustique, l'optique ou encore la mécanique quantique.

Conférence Internationale Mobicase 2013

Mon, 18 Mar 2013 12:36:05 GMT

]]>

5th International Conference on Mobile Computing, Applications and Services Nov 7-8 2013 in Paris, France

MobiCASE, the International Conference on Mobile Computing, Applications, and Services, is dedicated to cutting edge research on mobile applications and services.

In its 5th edition, MobiCASE has become the premier scientific forum bringing together academic researchers and industrial professionals to jointly advance research in the area of Mobile Computing, Applications, and Services.

Validation formelle de systèmes industriels critiques

Thu, 14 Mar 2013 18:32:59 GMT

]]>

Le club de veille technologique In’ Tech, en partenariat avec CAP’TRONIC, organise une demi-journée de rencontres entre chercheurs et industriels sur le thème " Validation formelle de systèmes industriels critiques ", le jeudi 18 avril de 13h30 à 18h, à Inria Montbonnot.

Séminaire animé par Radu Mateescu directeur de recherche, responsable de l’équipe CONVECS Inria

Pré-Programme
13h30 - 13h40 Introduction Radu Mateescu directeur de recherche, responsable de l’équipe CONVECS Inria Les composants informatiques, matériels et logiciels, sont devenus omniprésents dans tous les secteurs de la vie et de la société. Le parallélisme, la communication et la synchronisation se manifestent à tous les niveaux, depuis l'échelle microscopique des réseaux sur puce jusqu'à l'échelle macroscopique des grilles et des nuages de calcul, en passant par les ordinateurs et dispositifs embarqués multi-coeurs. Les applications informatiques qui exploitent ces équipements sont complexes et souvent critiques, leurs défaillances pouvant avoir des conséquences lourdes en termes humains et économiques. C'est pourquoi, une conception rigoureuse des systèmes critiques, basée sur l'utilisation des méthodes formelles et assistée par des outils de validation adéquats, est devenue plus nécessaire que jamais. Cette édition du séminaire In'Tech propose un panorama des progrès récents des méthodes formelles et des techniques de validation mises en oeuvre pour améliorer la fiabilité des systèmes critiques. Plusieurs approches de validation (preuve formelle, analyse statique, vérification, génération de tests) sont illustrées, ainsi que leurs applications en contexte industriel.
13h40 - 14h10 Arithmétique virgule flottante et validation Jean-Michel Muller, directeur de recherches au CNRS, équipe ARIC Inria Dans la plupart des applications nécessitant du calcul numérique, les nombres sont représentés en "virgule flottante". Dans ce système, les opérations arithmétiques ne sont qu'une approximation des opérations réelles. Pour valider les applications, il est pourtant souvent préférable de les regarder comme des opérations exactes, qui ne sont pas les opérations usuelles, mais sur lesquelles on peut faire des preuves et construire des algorithmes. On donnera des exemples d'outils construits en faisant appel à ce paradigme.
14h10 - 14h40 An overview of the Astrée analyzer *Jérôme Feret*, chercheur équipe ABSTRACTION Astrée is a static program analyzer aiming at proving the absence of Run Time Errors (RTE) in programs written in the C programming language. ASTREE was able to prove completely automatically the abscence of any RTE in the primary flight control software of the Airbus A340 fly-by-wire system and of the Airbus A380, and the automatic software of the Jules Vernes Automated Transfer Vehicle. In this talk, after a short reminder of the Astree story, we give an overview of the structure of the analyzer and describe some of the abstractions that are used within the analyzer.
14h40 - 15h10 Des processus métier et exigences aux tests pour les grands systèmes complexes Bruno LEGEARD, Scientific advisor, Smartesting Les techniques de génération automatique de tests ont muri ces dix dernières années pour se déployer aujourd’hui au niveau industriel. Nous présenterons un état de l’art actualisé des technologies mises en œuvre, de leur déploiement dans le contexte de grands systèmes industriels à la fois pour le test de bout en bout, pour le test inter-composants et de composants. Les enjeux concernent l’automatisation et l’optimisation du processus de test pour augmenter le niveau de couverture des exigences et du code en diminuant l’effort global de test. Un retour d’expérience avec la technologie Smartesting CertifyIt est présenté dans le contexte d’un grand système de suivi (transport).
15h10 - 15h40 Formal Modeling and Verification of Concurrent Systems using CADP Radu Mateescu directeur de recherche, responsable de l’équipe CONVECS Inria Asynchronous concurrency is becoming increasingly present in a large spectrum of systems (communication protocols, embedded systems, multiprocessor architectures, etc.). Due to the intrinsic complexity of asynchronous concurrency, the correct design of such systems is notoriously difficult, requiring the support of formal methods and verification tools. CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design, functional verification, and performance evaluation of asynchronous concurrent systems. The toolbox, which consists currently of over 50 interconnected tools and libraries, is already used by more than 440 research institutions and companies worldwide in many application domains. CADP is also used in education, in particular for teaching the concepts of concurrency theory. This talk gives an overview of the principles, architecture and main functionalities of CADP, with a focus on the various input languages, analysis features, and software libraries that enable users to develop their own analysis tools.
15h40 - 16h30 Pause et découverte des stands
UXP Smartesting Equipe de recherche Convecs Inria Serma Ingénierie Cap’Tronic Esterel Technologies
16h30 - 17h00 Sûreté de Fonctionnement des Logiciels Critiques : État des lieux et évolutions récentes Julien CANCELIER, Serma Ingénierie Le développement de Logiciel industriel critique est un domaine à forte contrainte sécuritaire et normative. L’utilisation de ces logiciels s’est multipliée lors de la dernière décennie. Cette intervention présentera un historique et un état des lieux de la Sûreté de Fonctionnement des Logiciels Critiques avec l’introduction des normes de développement associées pour les différents secteurs (aéronautique, ferroviaire, médicale, nucléaire, automobile, ...), en abordant les récentes évolutions. Les pratiques de développement Logiciel seront introduites avec la présentation du cycle en V, des techniques formelles, de l’analyse statique et des activités de vérification & validation. Ces pratiques de développement Logiciel s’intègrent dans la définition d’un processus de développement critique, d’une organisation adéquate (avec notamment des notions d’indépendance) afin de répondre aux contraintes normatives et de sécurité des systèmes.
17h00 - 17h30 Mathieu Clabaut, Systerel Systèmes, logiciels et données : application industrielle des méthodes formelles Que ce soit pour réaliser des logiciels, valider des données ou concevoir des systèmes, les équipes de SYSTEREL mettent en œuvre des méthodes formelles depuis plus de 15 ans. Nous présenterons un panorama de notre retour d'expérience sur la mise en œuvre industrielle de différentes méthodes formelles.
17h30 - 18h00 Ingénierie d'exigences fonctionnelles à l'aide de langages synchrones Erwan Jahier, ingénieur de recherche CNRS équipe synchrone laboratoire Verimag Dans cet exposé, nous montrons comment des outils et des langages synchrones peuvent être utilisés pour automatiser les tests fonctionnels de systèmes réactifs hétérogènes (pas nécessairement synchrones) développés incrémentalement. Ces technologies synchrones se sont avérées être particulièrement utiles pour ingénierer des exigences fonctionnelles précises, complètes et cohérentes. Nous illustrerons notre propos sur quelques cas d’études issus de systèmes de contrôle-commande de centrale de production d’énergie.

Pré-Programme

13h30 - 13h40

Introduction

Radu Mateescu directeur de recherche, responsable de l’équipe CONVECS Inria

Les composants informatiques, matériels et logiciels, sont devenus omniprésents dans tous les secteurs de la vie et de la société. Le parallélisme, la communication et la synchronisation se manifestent à tous les niveaux, depuis l'échelle microscopique des réseaux sur puce jusqu'à l'échelle macroscopique des grilles et des nuages de calcul, en passant par les ordinateurs et dispositifs embarqués multi-coeurs.

Les applications informatiques qui exploitent ces équipements sont complexes et souvent critiques, leurs défaillances pouvant avoir des conséquences lourdes en termes humains et économiques. C'est pourquoi, une conception rigoureuse des systèmes critiques, basée sur l'utilisation des méthodes formelles et assistée par des outils de validation adéquats, est devenue plus nécessaire que jamais.

Cette édition du séminaire In'Tech propose un panorama des progrès récents des méthodes formelles et des techniques de validation mises en oeuvre pour améliorer la fiabilité des systèmes critiques. Plusieurs approches de validation (preuve formelle, analyse statique, vérification, génération de tests) sont illustrées, ainsi que leurs applications en contexte industriel.

13h40 - 14h10

Arithmétique virgule flottante et validation

Jean-Michel Muller, directeur de recherches au CNRS, équipe ARIC Inria

Dans la plupart des applications nécessitant du calcul numérique, les nombres sont représentés en "virgule flottante". Dans ce système, les opérations arithmétiques ne sont qu'une approximation des opérations réelles. Pour valider les applications, il est pourtant souvent préférable de les regarder comme des opérations exactes, qui ne sont pas les opérations usuelles, mais sur lesquelles on peut faire des preuves et construire des algorithmes. On donnera des exemples d'outils construits en faisant appel à ce paradigme.

14h10 - 14h40

An overview of the Astrée analyzer

Jérôme Feret, chercheur équipe ABSTRACTION

Astrée is a static program analyzer aiming at proving the absence of Run Time Errors (RTE) in programs written in the C programming language. ASTREE was able to prove completely automatically the abscence of any RTE in the primary flight control software of the Airbus A340 fly-by-wire system and of the Airbus A380, and the automatic software of the Jules Vernes Automated Transfer Vehicle.
In this talk, after a short reminder of the Astree story, we give an overview of the structure of the analyzer and describe some of the abstractions that are used within the analyzer.

14h40 - 15h10

Des processus métier et exigences aux tests pour les grands systèmes complexes

Bruno LEGEARD, Scientific advisor, Smartesting

Les techniques de génération automatique de tests ont muri ces dix dernières années pour se déployer aujourd’hui au niveau industriel. Nous présenterons un état de l’art actualisé des technologies mises en œuvre, de leur déploiement dans le contexte de grands systèmes industriels à la fois pour le test de bout en bout, pour le test inter-composants et de composants. Les enjeux concernent l’automatisation et l’optimisation du processus de test pour augmenter le niveau de couverture des exigences et du code en diminuant l’effort global de test. Un retour d’expérience avec la technologie Smartesting CertifyIt est présenté dans le contexte d’un grand système de suivi (transport).

15h10 - 15h40

Formal Modeling and Verification of Concurrent Systems using CADP

Radu Mateescu directeur de recherche, responsable de l’équipe CONVECS Inria

Asynchronous concurrency is becoming increasingly present in a large spectrum of systems (communication protocols, embedded systems, multiprocessor architectures, etc.). Due to the intrinsic complexity of asynchronous concurrency, the correct design of such systems is notoriously difficult, requiring the support of formal methods and verification tools. CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design, functional verification, and performance evaluation of asynchronous concurrent systems. The toolbox, which consists currently of over 50 interconnected tools and libraries, is already used by more than 440 research institutions and companies worldwide in many application domains. CADP is also used in education, in particular for teaching the concepts of concurrency theory. This talk gives an overview of the principles, architecture and main functionalities of CADP, with a focus on the various input languages, analysis features, and software libraries that enable users to develop their own analysis tools.

15h40 - 16h30
Pause et découverte des stands

16h30 - 17h00

Sûreté de Fonctionnement des Logiciels Critiques : État des lieux et évolutions récentes

Julien CANCELIER, Serma Ingénierie

Le développement de Logiciel industriel critique est un domaine à forte contrainte sécuritaire et normative. L’utilisation de ces logiciels s’est multipliée lors de la dernière décennie.
Cette intervention présentera un historique et un état des lieux de la Sûreté de Fonctionnement des Logiciels Critiques avec l’introduction des normes de développement associées pour les différents secteurs (aéronautique, ferroviaire, médicale, nucléaire, automobile, ...), en abordant les récentes évolutions.
Les pratiques de développement Logiciel seront introduites avec la présentation du cycle en V, des techniques formelles, de l’analyse statique et des activités de vérification & validation.
Ces pratiques de développement Logiciel s’intègrent dans la définition d’un processus de développement critique, d’une organisation adéquate (avec notamment des notions d’indépendance) afin de répondre aux contraintes normatives et de sécurité des systèmes.

17h00 - 17h30

Mathieu Clabaut, Systerel

Systèmes, logiciels et données : application industrielle des méthodes formelles

Que ce soit pour réaliser des logiciels, valider des données ou concevoir des systèmes, les équipes de SYSTEREL mettent en œuvre des méthodes formelles depuis plus de 15 ans. Nous présenterons un panorama de notre retour d'expérience sur la mise en œuvre industrielle de différentes méthodes formelles.

17h30 - 18h00

Ingénierie d'exigences fonctionnelles à l'aide de langages synchrones

Erwan Jahier, ingénieur de recherche CNRS équipe synchrone laboratoire Verimag

Dans cet exposé, nous montrons comment des outils et des langages synchrones peuvent être utilisés pour automatiser les tests fonctionnels de systèmes réactifs hétérogènes (pas nécessairement synchrones) développés incrémentalement. Ces technologies synchrones se sont avérées être particulièrement utiles pour ingénierer des exigences fonctionnelles précises, complètes et cohérentes. Nous illustrerons notre propos sur quelques cas d’études issus de systèmes de contrôle-commande de centrale de production d’énergie.

21st International Conference on Real-Time Networks and Systems

Thu, 14 Mar 2013 17:38:32 GMT

]]>

The purpose of the conference is to share ideas, experiences and informations among academic researchers, developers and service providers in the field of real-time systems and networks.

RTNS 2013 is the 21st edition of the conference formerly known as RTS (Real-Time Systems, Paris). The first 12 editions of RTS were french-speaking events held in Paris in conjunction with the RTS Embedded System exhibition. Since its 13th edition, the conference language of RTNS has been english.

ALGO 2013

Thu, 14 Mar 2013 17:16:46 GMT

]]>

Since its first edition in 2001, ALGO has become the major meeting in algorithms held in Europe, spanning areas as diverse as algorithm engineering, computational finance, computational biology, online algorithms, mobile computing, sensor systems or massive data processing.
The reputation of ALGO, and in particular of the scientific events it gathers, attracts every year top scientific contributions and the attendance of leading researchers from all over the world.

The scheduling of ALGO is organized around a general symposium on algorithms (ESA) and several specialized events focussing either on particular aspects of algorithms (IPEC, WAOA, MASSIVE) or on targeted applications (WABI, ALGOSENSORS, ATMOS).

The 2013 edition will be held in France for the first time, organized by Inria Sophia Antipolis - Méditerranée centre and will be hosted by the new Campus SophiTech, in the heart of the technopole of Sophia Antipolis.

Wed, 6 Mar 2013 11:11:37 GMT

]]>

Cette école d'été réunit pour la première fois des chercheurs en physique, mathématique, traitement du signal et neurosciences autour de la caractérisation des réseaux complexes.

L'objectif de cette École est de stimuler des interactions entre des chercheurs de plusieurs domaines: physique des systèmes complexes, traitement du signal et neuroimagerie pour stimuler l'émergence de méthodologies pour la caractérisation et l'identification des propriétés dynamiques spatio-temporelles des réseaux neuronaux.

Les thématiques abordées lors de l'école sont :

Modèles graphiques : estimation, sélection de modèles
Mesures de dépendance, d'information dirigée et de causalité
Connectivité fonctionnelle et anatomique cérébrale
Neuro-imagerie : Imagerie par Résonance Magnétique fonctionnelle (IRMf), Magnétoencéphalographie (MEG), électro-encéphalographie (EEG), Diffusion Tensor Imaging (DTI)

ITS Forum and Networking Event

Mon, 4 Mar 2013 13:59:03 GMT

]]>

Le 04 avril prochain, le Forum Technologique Systèmes de Transports Intelligents, de nouveaux marchés en électronique et TIC, donnera un retour sur les avancées technologiques récentes et innovantes dans les solutions de mobilité.

L’interconnexion et l’interopérabilité des systèmes de mobilité des personnes et des marchandises est un enjeu majeur : augmenter l’intelligence des systèmes embarqués des véhicules, de l’infrastructure et des systèmes d’information voyageurs, répond à la demande de l’usager en terme de qualité d’offres de services.

Au cours de cette journée, vous pourrez assister à une séance plénière sur les évolutions, les retours d’expérience et les perspectives du marché des STI.

Trois tables rondes, trois thématiques :

STI et développement durable: Mobilité, interopérabilité, systèmes d’information du voyageur et paiement électronique,
STI et gestion de trafic: optimisation des flux,
STI et systèmes embarqués dans les transports.

Un forum, des opportunités

- Une convention d’affaires pour rencontrer de nouveaux partenaires commerciaux, technologiques ou de recherche: l’opportunité de démarrer de nouvelles collaborations.
- Une exposition de produits et solutions innovants dans le domaine des STI

La participation à cet événement est gratuite. Cependant, vous devez être inscrit pour assister aux différents temps forts du forum.

Conférence Interspeech 2013

Thu, 28 Feb 2013 15:41:10 GMT

]]>

Interspeech, la conférence annuelle de l'association ISCA (International Speech Communication Association) aura lieu cette année du 25 au 29 août 2013 au Centre des Congrès de Lyon. Interspeech est la plus grande et la plus complète conférence internationale, s'intéressant aux sciences et technologies du traitement du langage parlé.

La parole est une activité humaine fondamentale qui concerne divers domaines tels que la biologie, la médecine, la psychologie, la sociologie, l'anthropologie et l'écologie. Elle est au cœur de l'organisation de l'être humain et de son développement (santé, personnalité et intelligence). Elle est également essentielle à la synergie au sein de groupes et à leurs relations avec l'environnement. Outre les points de vue acoustique classique et linguistiques sur la communication orale, toutes ces disciplines connexes fournissent des approches complémentaires à la parole en tant que clé de voûte de la communication, de la cognition et de l'interaction dans les sociétés humaines.
La conférence Interspeech 2013 a comme objectif de promouvoir une approche interdisciplinaire qui couvre tous les aspects de la science et de la technologie de la parole : des contributions fondamentales aux applications pratiques et ce dans une grande variété de domaines.

Interspeech 2013 est coordonnée par l'AFCP (Association Francophone de la Communication Parlée), et est organisée par le centre Inria Rennes - Bretagne Atlantique, sous la présidence de Frédéric Bimbot (IRISA CNRS) en collaboration avec Cécile Fougeron (LPP CNRS / Université de Paris 3) et François Pellegrino (DDL CNRS / Université de Lyon 2).

Cette édition sera la 14 ème de la série annuelle d'événements Interspeech et coïncidera avec le 25e anniversaire de l'ISCA, anciennement connu sous le nom ESCA, qui est né en France en 1988.

École Jeunes Chercheurs en Programmation 2013 - EJCP 2013

Thu, 28 Feb 2013 12:14:19 GMT

]]>

L'École jeunes chercheurs en programmation (EJCP) accueille chaque année pendant 10 jours une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique.  L'EJCP 2013 se déroulera du 22 au 31 mai à Dinard et à Rennes.

Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n'auront pas été abordés pendant leur MASTER. De plus, à l'issue de l'École, tous connaîtront l'ensemble des thèmes étudiés dans nos équipes et les spécialistes de chaque domaine.

Les inscriptions sont désormais ouvertes sur le site de l'école EJCP 2013.
Cette année, la plupart des cours seront associés à des travaux pratiques. Les étudiants non-francophones pourront participer: les cours pourront être donnés en anglais.

Bibliothèque pour le calcul scientifique : outils, enjeux et écosystème

Wed, 27 Feb 2013 00:07:18 GMT

]]>

L'association Aristote propose un nouveau séminaire sur les bibliothèques logicielles, sous la coordination scientifique de Michel Kern (Inria et Maison de la simulation), de Philippe d'Anfray (CEA) et de Thiên-Hiêp Lê (ONERA).
Le séminaire sera ouvert au public et également diffusé en ligne.

Les bibliothèques logicielles scientifiques sont des composants majeurs des grands logiciels de simulation; ce sont aussi des portes d'accès au calcul haute performance (HPC).

Ce séminaire autour des bibliothèques scientifiques permettra de découvrir ou mieux connaître de nombreuses réalisations dans ce domaine. Parmi les questions qui se posent :

quels sont les éléments “moteurs” du projet (algorithme, domaine d'application, …) et ses cibles ;
quelles sont les évolutions en cours ou prévues;
comment inscrire ce type de projet dans la durée (par exemple, au delà d'un financement initial) ;
y a-t-il une spécificité liée à ce travail de développement logiciel, et une reconnaissance en tant que tel (des pairs, des organismes concernés, …) ?
comment diffuser (Open Source, …), la protection intellectuelle, quelles licences ;
comment constituer et gérer une communauté d'utilisateurs (quels services ? quels retours?).

La disponibilité de paquetages logiciels performants, validés et maintenus est un des éléments qui permet la “cristallisation” de projets scientifiques dans de nombreux domaines applicatifs (aérodynamique, climat, matériaux, chimie, etc.) mais aussi le maintien d'un savoir faire partagé par des acteurs d'horizons très variés. Un point-clef pour l'interdisciplinarité.

Towards a syntactic type system for recursive modules

Fri, 22 Feb 2013 11:38:42 GMT

]]>

A type system for ML-style recursive modules should address at least two technical challenges. First, it needs to solve the double vision problem, which refers to an inconsistency between external and internal views of recursive modules. Second, and more importantly, it needs to handle cyclic type definitions caused by recursion between modules to typecheck common patterns of recursive modules including functor fixpoints.
In this talk, I will first present a syntactic type system for recursive modules without type parameters that solves the double vision problem and accounts for cyclic type definitions. Then, I will discuss how to extend our type system with type parameters in a rather simplified setting, but still allowing us to define abstract types and arbitrary recursive type definitions with type parameters. In particular, I will discuss unsound interaction between non-contractive recursive types and abstract types, and present a new
semantic notion of contractiveness for types and signatures. Our type system with semantic contractiveness is sound with respect to the standard call-by-value operational semantics, which eliminates signature sealings. Another notable result is that while non-contractive types in signatures lead to unsoundness of the type system, they may be allowed in modules. I hopefully expect that we can extend our results to a full-fledged module system à la OCaml.

Data et Big Data : le nouvel or noir ?

Tue, 19 Feb 2013 17:36:52 GMT

]]>

L’exploitation des données amène des défis technologiques importants auxquels la recherche scientifique a des solutions à apporter. Pour illustrer cela, trois équipes du centre Inria Lille - Nord Europe interviendront sur ce sujet le mercredi 13 mars à 14h, à EuraTechnologies.

« Les données constituent les briques de base de la société de l'information. Leur quantité est en croissance exponentielle. Elles représentent déjà des masses considérables pour lesquelles on recourt à de nouvelles mesures. Ces données offrent un potentiel extraordinaire que l'on commence à exploiter. Elles permettent de générer des connaissances, qui étaient soit hors d'atteinte, soit inexistantes, parce que hors du domaine du pensable. » Le Monde, 07.01.2013

Afin d'illustrer les enjeux liés à ces données, trois thèmes seront abordés durant cette conférence.

Thème 1 : « Small or big (data), make it sequentially! »

Par Philippe Preux et Jérémie Mary, équipe-projet Sequel

Philippe Preux

Jérémie Mary

L'équipe Sequel étudie et utilise des méthodes de fouille de données pour optimiser la prise de décision dans une boucle d'interaction ; les applications typiques sont sur le web (publicités, systèmes de recommandation, etc.) L'équipe proposera un tour d'horizon de ses problématiques et méthodes, ainsi que des applications qu'elle traite notamment en collaboration avec des entreprises.

Dans un second temps, l'exposé se concentrera sur une application de prédiction d'audience pour des sites web.

Thème 2 : « Modélisation et optimisation multi-objectif pour l'extraction de connaissances »

Par Lætitia Jourdan et Clarisse Dhaenens, équipe-projet Dolphin

Laetitia Jourdan

Clarisse Dhaenens

A partir d'un grand volume de données, l'équipe Dolphin modélise des problèmes de datamining en problèmes d'optimisation permettant d'extraire des connaissances pertinentes. Cette modélisation offre la possibilité de considérer différents objectifs que l'on souhaite optimiser simultanément. Multi-objectifs, elle a plusieurs atouts dont notamment la possibilité d'adjoindre, aux critères de qualité classiques de la fouille de données, des critères qualitatifs métiers, ou encore de traiter de grandes volumétries de données. En particulier, le nombre de variables décrivant les données (caractéristiques décrivant des clients, par exemple) peut être important. Les applications sont nombreuses et se trouvent dans différents domaines. Dans le contexte de la distribution par exemple, ces approches permettent notamment d'aider au profilage des clients en identifiant des sous-groupes de clients partageant des caractéristiques communes.

Thème 3 : « Classification probabiliste : générez automatiquement les règles de classement de vos données en classes homogènes »

Par Christophe Biernacki, équipe-projet Modal

Christophe Biernacki

Les données actuelles défient l'entendement humain, notamment en raison de leur volume, de la présence d’erreurs ou de données manquantes, mais aussi du nombre important d'individus…

Il est donc difficile, voir impossible, pour un humain de traiter ces données dans un temps raisonnable. La classification probabiliste permet l’analyse de ces données afin de les organiser automatiquement en catégories homogènes et en générant les règles de classement. Il est ensuite possible de dégager une structure dans les données et de les représenter de manière simple et interprétable. L'exposé présentera également les logiciels aujourd'hui disponibles, ainsi que des démonstrations sur données réelles et les perspectives dans ce domaine.

En (e-)marketing et (e-)commerce, la classification permet le ciblage de typologies de clients. Dans les domaines financiers et boursiers, l'intérêt est d'identifier des catégories de placements ou d'investisseurs.

Un speed dating avec les chercheurs ?

A l'issue de cette conférence, des rendez-vous privés en mode « speed-dating » de 10 minutes chacun seront possibles avec les chercheurs.

Quand ?

De 16h30 à 18h sur le Plateau Inria, à l'issue de la conférence.

L'inscription est obligatoire et votre rendez-vous vous sera ensuite validé par mail, selon les places disponibles. Inscrivez-vous !

Cet évènement se déroulera à EuraTechnologies, 165 Avenue de Bretagne à Lille. Descendre à l'arrêt de métro Canteleu.

Congrès international de simulation en santé - SESAM

Tue, 19 Feb 2013 17:11:44 GMT

]]>

Ce congrès annuel qui rassemble jusqu'à 800 professionnels de santé vise à améliorer la formation de tous les professionnels de santé ainsi que la qualité et la sécurité des soins et à encourager les échanges entre scientifiques et professionnels.
Cette année, une grande place sera donnée aux interfaces virtuelles et aux serious games pour la simulation en santé.

Programme

Ce congrès est une excellente occasion de partager et d’échanger sur les nouveautés scientifiques en termes de formation, de recherche, et de tous les autres aspects de la simulation en santé.

Parmi les différents sujets abordés au cours de ce congrès, les principaux thèmes du programme scientifique seront

l’intégration de la simulation dans les programmes pédagogiques ;
la mesure de l’impact de la simulation sur la qualité et de la sécurité des soins ;
les nouveaux environnements de formations et serious games.

La langue principale du congrès sera l'anglais mais les sessions plénières seront traduites en simultanée et quelques sessions seront en français.

Soumettez un abstract ou une proposition de session

Le comité scientifique invite les participants à prendre part activement au congrès en leur proposant de s'investir dans la composition du programme scientifique.

Pour cela, soumettez vos propositions de résumés pour des présentations orales ou des posters pendant le congrès et vos propositions de sessions ! La soumission de résumés s'effectue en anglais uniquement.

Si vous souhaitez soumettre une proposition de session en français, nous vous invitons à nous contacter directement par email à info@sesamparis2013.com, sachant que la date limite d'envoi des résumés est le 4 mars 2013.

On polynomial systems arising from a Weil descent

Tue, 19 Feb 2013 17:09:27 GMT

]]>

Polynomial systems of equations appearing in cryptography tend to have special structures that simplify their resolution. In this talk, we discuss a class of polynomial systems arising after deploying a multivariate polynomial equation over an extension field into a system of polynomial equations over the ground prime field (a technique commonly called Weil descent). We provide theoretical and experimental evidence that the degrees of regularity of these systems are very low, in fact only slightly larger than the maximal degrees of the equations. We then discuss cryptographic applications of (particular instances of) these systems to the hidden field equation (HFE) cryptosystem, to the factorization problem in SL(2,2^n) and to the elliptic curve discrete logarithm over binary fields. In particular, we show (under a classical heuristic assumption in algebraic cryptanalysis) that an elliptic curve index calculus algorithm due to Claus Diem has subexponential time complexity O(2^{c\,n^{2/3}\log n})\) over the binary field GF(2^n), where c is a constant smaller than 2.Based on joint work with Jean-Charles Faugère, Ludovic Perret, Jean-Jacques Quisquater and Guénaël Renault.

Des problèmes de triangulation aux problèmes de maillage pour les simulations numériques

Mon, 18 Feb 2013 10:42:00 GMT

]]>

Responsable scientifique de l’équipe-projet Gamma3 (Inria, Université de technologies de Troyes), Paul-Louis George est l’un des auteurs du mailleur volumique GHS3D, un logiciel utilisé dans le monde entier, que ce soit par les industriels ou par les chercheurs et universitaires. Intégré dans de nombreux logiciels de calculs 3D par éléments finis, GHS3D aide à obtenir des simulations particulièrement fiables et performantes. Il interviendra à Lille le 21 mars dans le cadre du Colloquium Polaris.

La simulation numérique occupe un rôle crucial dans la conception et/ou l'analyse par exemple des produits, du plus petit (nanostructure, puce, ...) au plus gros (A380, ...), mais aussi de phénomènes varies comme, pour n'en citer qu'un, la prévision du comportement d'un site de stockage de déchets radioactifs.

Le processus complet part de la modélisation, par exemple par un système d’équations aux dérivées partielles, pour, a la fin, calculer sur ordinateur la (une) solution approchée de ce système. Les éléments ou les volumes finis sont l'une des possibilités pour remplacer le système continu par un système discret donc calculable.La première étape de cette résolution consiste a mailler le domaine de calcul.

Comment mailler, quelles sont les méthodes et les difficultés, jusqu’où peut on aller ? On tentera de montrer via quelques exemples simples (aucune connaissance particulière n'est requise) que, justement, ce n'est pas si simple mais que trouver les bons algorithmes et les transformer en codes réellement utilisables par l'industrie est un travail passionnant.

Rendez-vous le 21 mars de 14h à 15h30 à l'Ircica, Villeneuve d'Ascq

Calcul haute performance (HPC)

Thu, 14 Feb 2013 21:05:03 GMT

]]>

ORAP organise, chaque année, un forum pour permettre aux acteurs du calcul haute performance de se rencontrer et de disposer d'un espace de "veille technologique" sur ce domaine. Cette année, la matinée sera consacrée aux langages et runtimes et l'après-midi aux applications du HPC à travers la turbulence.

Programme prévisionnel

8h30	Accueil
9h00	Ouverture du forum
9h15	" Programmation des machines multicoeurs hétérogènes: l'espoir peut-il venir des supports d'exécution ? " par Raymond Namyst (Université de Bordeaux, Inria Bordeaux Sud-Ouest)
10h00	" Enabling exascale programming : a system-wide challenge " par Barbara Chapman (University of Houston, USA)
10h45	Pause café
11h15	Jay Boisseau (Director of the Texas Advanced Computing Center, University of Texas at Austin)
12h00	" Nouvelles de l’Europe " par Jean-Philippe Nominé (CEA)
12h20	Présentation de lauréats du " Certificat de compétences en calcul intensif " (C3I)
12h45	Déjeuner
14h15	" La simulation numérique des écoulements turbulents" par  Marie Farge (directrice de recherche CNRS, LMD-IPSL-CNRS)
14h45	" Simulation de la turbulence mésoéchelle océanique dans l'océan global  " par Bernard Barnier (directeur de recherche CNRS) et Jean-Marc Molines (ingénieur de recherche CNRS, Laboratoire des écoulements géophysiques et industriels, INP Grenoble)
15h15	Pause café
15h45	" Large eddy simulations of astrophysical turbulence  " par Wolfram Schmidt (University of Goettingen, Germany)
16h15	" Study of the stall phenomenon by unsteady simulations in the aeronautical context " par Ivan Mary (ONERA, dépt. simulation numérique et aéroacoustique)
16h45	Cloture du forum

Première réunion annuelle du Consortium ns-3

Fri, 8 Feb 2013 21:56:24 GMT

]]>

Dans le cadre du Consortium ns-3, Inria et l'Université de Washington organisent la première rencontre annuelle du Consortium à destination des utilisateurs et développeurs du simulateur de réseaux ns-3.

Des conférences plénières et des ateliers, ouverts à tous les utilisateurs et développeurs intéressés par la simulation de réseaux, permettront de découvrir ou d’approfondir leurs connaissances sur ns-3, ainsi que mieux connaître les objectifs du consortium.

Journées Génie de la Programmation et du Logiciel

Thu, 7 Feb 2013 16:20:32 GMT

]]>

Trois conférences réunies autour de mêmes thèmes pour permettre aux chercheurs et industriels de ces différents domaines, plus d'échanges et de collaborations.

250 chercheurs et industriels sont attendus à Nancy autour du Génie Logiciel et de la Programmation. Après Rennes, c'est à Nancy que revient l'organisation de ces conférences aux thématiques multiples peu éloignées, liées aux technologies à objets, à l'ingénierie des modèles dans le domaine des langages, de la représentation des connaissances, des bases de données, du génie logiciel et des systèmes.

Le programme, en cours de finalisation, comporte certains exposés de personnalités de renom :

Benoît Combemale, Irisa Rennes
Yves Le Traon, Université de Luxembourg
Laurent Voisin, Systerel
Bruno Legeard, Femto - ST Disc

Réseaux sans fil et objets communicants

Thu, 7 Feb 2013 10:26:14 GMT

]]>

CAP'TRONIC organise une journée de rencontres entre chercheurs et industriels sur le thème "Réseaux sans fil et les objets communicants", en partenariat avec le club de veille technologique IN'Tech d'Inria. Cet événement aura lieu le mardi 19 février 2013, de 9h00 à 16h, à Minatec, Grenoble

Le séminaire traitera les thèmes suivants:

Panorama des réseaux sans fil existants
Témoignages de mise en œuvre pratique et de certification
Etat de l’art et tendances

avec les experts du domaine.

Programme
Matin : 9:00 Accueil 9:30 Présentation d’un panorama des réseaux sans fil (zigbee, bluetooth, wifi, wimax, 3G/4G..) : Kimeggi 10:15 Environnement normatif pour la certification : LCIE 11:00 Pause 11:15 Etat de l’art des réseaux de capteurs : CITI /INRIA – équipe Urbanet 12:15 Buffet Après-midi : 13:30 Méthodologies pour la planification de réseau sans-fil (MR-FDPF) : CITI /INRIA – équipe Socrate 14:15 Mise en œuvre robuste d’un réseau de capteur : Adeunis 15:00 Fuite de données personnelles dans la technologie WiFi : CITI/INRIA équipe Privatics 15:45 Fin du séminaire 16:00 Rencontre-conseil individuel sur vos projets avec Cap’tronic et les intervenants

Programme

Matin :

9:00 Accueil
9:30 Présentation d’un panorama des réseaux sans fil (zigbee, bluetooth, wifi, wimax, 3G/4G..) : Kimeggi
10:15 Environnement normatif pour la certification : LCIE
11:00 Pause
11:15 Etat de l’art des réseaux de capteurs : CITI /INRIA – équipe Urbanet
12:15 Buffet

Après-midi :

13:30 Méthodologies pour la planification de réseau sans-fil (MR-FDPF) : CITI /INRIA – équipe Socrate
14:15 Mise en œuvre robuste d’un réseau de capteur : Adeunis
15:00 Fuite de données personnelles dans la technologie WiFi : CITI/INRIA équipe Privatics
15:45 Fin du séminaire
16:00 Rencontre-conseil individuel sur vos projets avec Cap’tronic et les intervenants

Réunion publique mensuelle de l'OSSIR (Observatoire de la Sécurité des Systèmes d'Information et des Réseaux)

Thu, 7 Feb 2013 10:23:47 GMT

]]>

L'OSSIR est une association à but non lucratif (loi de 1901) existant depuis 1996 qui regroupe les utilisateurs intéressés par la sécurité des systèmes d'information et des réseaux. Son premier groupe de travail, le groupe SUR, a été créé antérieurement en 1987.

Chaque année, l'association organise la Journée de la Sécurité des Systèmes d'Information (JSSI).

De 14h à 17h30

Ordre du jour :
- FireAMP (Yann Le Borgne / SourceFire)
- Education au phishing (Fabrice Prigent / Université Toulouse 1 Capitole)
- Revue d'actualité

Multi-scale modeling of cellular tissue: coupling of meshfree particle methods and finite element simulations

Thu, 7 Feb 2013 10:04:49 GMT

]]>

This talk aims to provide an insight on how two numerical methodologies in mechanical modeling of (bio)materials, whereby one is interested in linking microscopic properties to macroscopic (tissuelevel) behavior, can be cast into an integrative approach.
At the microscopic level, we exploit the advantages of the meshfree particle method Smoothed Particle Hydrodynamics (SPH), known for its robustness, flexibility, and multi-physics applications, to describe the viscoelastic behavior of individual cells with high detail. Inside the unit cells, the particles representing the fluid phase and solid phase interact with each other and according to constitutive equations.
On the other hand, the macroscopic level is solved by standard nonlinear finite element theory (FEM).
The bridging of the two scales is achieved using the concept of Representative Volume Elements (RVEs). Using the Generalized Mathematical Homogenization technique, we can successfully exploit the separation in spatial scales by applying the computationally expensive microscopic model only inside the RVEs instead of on the full domain.
The macroscopic finite element accurately reproduces full microscale simulations results, yet can easily take timesteps a few orders of magnitude larger. This methodology has large flexibility and opens possibilities to quantify the mechanical response of cellular tissue where a macroscopic constitutive equation is lacking and needs to be determined from a microscopic description.

Séminaire sur les interfaces cerveau-ordinateur

Wed, 6 Feb 2013 14:39:42 GMT

]]>

Le 8 mars, en partenariat avec la société g.tec, spécialiste de l'ElectroEncéphaloGraphie et des interfaces cerveau-ordinateur, le centre organise un séminaire gratuit sur les interfaces cerveau-ordinateur.

Au programme : travaux pratiques, présentations scientifiques et tutoriaux.

Les interfaces cerveau-ordinateur (ou BCI - Brain-Computer Interfaces) sont des systèmes de communication qui permettent à leurs utilisateurs d'envoyer des commandes à un ordinateur en utilisant uniquement leur activité cérébrale, celle-ci étant mesurée (généralement par ElectroEncéphaloGraphie) et analysée par le système.

L'informatique du temps et des événements : Leçon inaugurale de Gérard Berry (Collège de France)

Mon, 4 Feb 2013 14:57:45 GMT

]]>

Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, donnera sa conférence inaugurale le 28 mars 2013 sur le thème L'informatique du temps et des événements.

Ecole CEA EDF Inria - Waves in periodic media : mathematical and numerical aspects

Mon, 4 Feb 2013 14:36:28 GMT

]]>

Objectives

The propagation of waves in periodic media has known a regain of interest for many important applications, particularly in optics for micro and nano-technology. Significative progress have been achieved in the past decades in the mathematical understanding and numerical solutions of related problems.
The aim of this course is to give a state of the art of the most important aspects of the subject.
The three main courses will give a general overview of the mathematical theory of wave(s) in periodic media, the development of adapted numerical methods and the links with the applications. Some more specific results will be adressed in complementary lectures.
This school is primarily dedicated to beginners or experienced researchers in the fields of applied mathematics or physics but also for engineers who want to deepen their fundamental knowledge on the subject.

Lectures

The school will be organized as follows :
3 main courses (each composed of 4 sessions of 1h30) to introduce the basic aspects of the subject:

Peter Kuchment - Texas A&M University (USA) :
(1) Floquet-Bloch thoery for periodic operators
(2) Structure of the spectrum
(3) Gad and edge Phenomena
(4) Miscellanea

Steven Johnson - Massachussets Institute of Technology (USA) :
(1) Computing Bloch waves and Band structures
(2) Modeling microcavities and resonant devices
(3) Sources ans surface integral equations
(4) Optimization and inverse design in Photonics

Patrick Joly - Inria Saclay-Île-de-France (France) :
(1) Introduction and generalities on DtN operators - the 1D periodic problem
(2) The periodic waveguide problem - application to the transmission between an homogeneous media and a photonic crystal
(3) The 2D time harmonic periodic problem - extension to multiple scattering
(4) Application of the DtN method to time dependentproblems

6 complementary courses (each composed of 1 session of 1h30) to tackle specific aspects given by specialists in the field:

"Bloch wave homogenization", Grégoire Allaire - École Polytechnique (France)
"Trapped and guided modes in periodic structure" (2 sessions), Anne-Sophie Bonnet-Ben Dhia - CNRS, Sonia Fliss - ENSTA (France)
"An introduction to modal methods in nonaphotonics", Philippe Lalanne - CNRS (France)
"Limiting amplitude and limiting absorption principle", Vu Hoang - Karlsruhe Institue of Technology (Allemagne)
"Gap opening for 1D and quasi-1D periodic operators", Konstantin Pankrashkin - Université Paris-Sud (France)

Program

Inaugurations de la plateforme Com4Innov et de la filière française 3D Consumer

Fri, 1 Feb 2013 10:39:33 GMT

]]>

Le Pôle de Compétitivité mondial Solutions Communicantes Sécurisées, l’Association Plate-forme Télécom et l'Association 3D Consumer ont le plaisir de vous convier aux inaugurations de la plateforme Com4Innov et de la filière française 3D Consumer.

Com4Innov est le résultat d’une initiative industrielle, labellisée et portée par le Pôle SCS qui a été sélectionnée le 13 juillet 2011 par l’appel à projet Plates-formes d’Innovation N°2 du Ministère de l’Économie, des finances et de l’Industrie. A travers ses services, Com4Innov met à la disposition des acteurs du marché, et en particulier des centaines de PME françaises, souhaitant développer ou valider de nouveaux produits ou services sans fil, les infrastructures télécom les plus récentes, accompagnées des outils de développement, des moyens techniques de test et validation sur un déploiement de technologies et services mobiles du futur en vraie grandeur. Elle met également à disposition des compétences d’experts, des centres d’expérimentations et de démonstrations répartis en région PACA (Sophia Antipolis, Marseille). Pour cela Com4Innov intègre diverses technologies comme le haut débit mobile (4G/LTE), les réseaux de collecte sans fil haute vitesse, les infrastructures applicatives (IMS), les terminaux mobiles, les applications, composants, réseaux M2M (Machine à Machine) et capteurs sans fil faible portée, les objets communicants etc.

La 3D stéréoscopique : une nouvelle filière industrielle autour de 2 grands domaines d’activité, le cinéma 3D et la télévision en relief. L’association 3D Consumer a été créée à Sophia Antipolis en février 2012. Elle regroupe un Consortium d’entreprises représentant l’excellence française dans le domaine de l’image 3Ds (stéréoscopie) et du son 3D. L'objectif est de mettre sur pied une filière technologique française de la 3D stéréoscopique avec un fort enjeu de développement et d'ouverture sur un marché mondial.

Venez découvrir leurs services et assister à des démonstrations.

Agenda de la matinée:

10h00 : Café d'Accueil
10h30 : Interventions du Pôle SCS, Com4Innov, 3D Consumer et des représentants des Pouvoirs Publics du Territoire
11h00 : Inauguration de Com4Innov : Témoignages & Présentations
11h45 : Inauguration de la Filière française 3D Consumer : Témoignages & Présentations
12h30 : Cocktail Déjeunatoire & Ateliers de démonstration

Journée francophone des langages applicatifs 2013

Tue, 29 Jan 2013 17:15:55 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.).

Course on Computational Geometric Learning

Sat, 26 Jan 2013 16:58:39 GMT

]]>

This course is an introduction to the new field of Computational Geometry Learning providing mathematical and algorithmic foundations to geometric sampling and approximation.

High dimensional geometric data are ubiquitous in science and engineering, and thus processing and analyzing them is a core task in these disciplines. Recently, a new geometric and topological approach to data analysis has emerged, extending the success story of geometric algorithms with guarantees to high-dimensions.

This course is related to a European project called CG-Learning and involving research groups at Inria Saclay - Ile-de-France, Inria Sophia Antipolis - Méditerranée, ETH Zurich, and in the universities of Iena, Dortmund, Berlin, Gronningen, Athens and Tel Aviv.

Quel est le rôle de la statistique dans le débat sur les OGM ?

Fri, 25 Jan 2013 15:51:58 GMT

]]>

Marc Lavielle, directeur de recherche Inria et membre du Comité Scientifique du Haut Conseil des Biotechnologies donnera, jeudi 31 janvier 2013 à 20h30 dans l'amphithéâtre Botté de l'IUT Nancy-Charlemagne, une conférence sur "le rôle de la statistique dans le débat sur les OGM".

Entrée libre.

Le club des industriels de l'option Robot présente les "Libres Ateliers-Conférences Robotiques"

Wed, 23 Jan 2013 18:43:45 GMT

Le club des industriels de l’option Robot (ENSEIRBMATMECA-IPB et ENSC-IPB) en partenariat avec le Centre Inria Bordeaux - Sud-Ouest, organisent des ateliers-conférences.

Chacun de ces ateliers a pour but d'identifier les besoins et problématiques des industriels à différents stades de développement d'une solution robotisée (verrou technologique, problème réglementaire, nécessité de politique publique). Les échanges entre industriels et intervenants experts en ce domaine pourront permettre à chacun de s’exprimer librement, d'eclaircir et d'apporter des éléments concrets de réponse sur les problèmes identifiés.

Programme :

La robotique dans l’aéronautique, vendredi 25 Janvier de 10h à 12h
Robotique maritime : fonctions robotisables et verrous technologiques, lundi 28 Janvier de 10h à 12h
Politiques publiques et gemmage en Aquitaine, mardi 29 Janvier de 10h à 12h
Handicap visuel et traitement de l'information, mardi 29 Janvier de 14h à 16h
Un robot peut-il apprendre comme un enfant, mercredi 30 Janvier de 14h à 16h

Partenaires : Université de Bordeaux, Inria, LaBRI, IMS, RobotCampus, Conseil régional d'Aquitaine, Aquitaine développement innovation, ATEOS, TOPOS

]]>

Colloquium Joëlle Coutaz : L'interaction Homme-Machine, c'est plus qu'une affaire de peinture !

Wed, 23 Jan 2013 16:54:04 GMT

]]>

Si l'esthétique intervient dans la qualité des interfaces homme-machine, elle ne saurait leur servir de fondement. L'interaction homme-machine est avant tout une affaire de conformité. Ce point de vue sera le fil conducteur de cet exposé qui s'appuiera sur mes trente années d'expérience avant de poser la question des prochains défis.

Joëlle Coutaz est professeure émérite à Grenoble1 et membre de l'équipe Ingénierie de l'Interaction Homme-Machine au Laboratoire d’Informatique de Grenoble (LIG). Elle s'est donnée comme objectif la promotion en France du domaine de l'Interaction Homme-Machine (IHM). Ses intérêts couvrent l'architecture logicielle des systèmes interactifs, l'interaction multimodale incluant la réalité mixte, et dans le cadre de l'informatique diffuse, la plasticité des interfaces utilisateur et le “end-user development”. Elle a reçu l’“Honorary Degree of Doctor of Science” (Honoris Causa) de l’université de Glasgow et a été élue membre de la SIGCHI Academy de l’ACM for “leadership in the profession in Computer Human Interaction”. Récemment, à la demande conjointe du CNRS et du Ministère de l’Enseignement Supérieur et de la Recherche, elle a co-animé un groupe de travail pour la création d’un programme de recherche en Intelligence Ambiante.

Ce colloquium se déroulera exceptionnellement dans le cadre du congrès SIF (Société Informatique de France) qui se tiendra du 6 au 8 février 2013 au campus SophiaTech.

Congrès 2013 de la SIF

Wed, 23 Jan 2013 16:25:26 GMT

]]>

Formation à l'informatique « tout au long de la vie », de notre vie d'écolier à notre vie professionnelle, le thème du congrès annuel de la SIF (Société Informatique de France) est au cœur de l'actualité qui a vu la mise en place de la spécialité ISN en classe de terminale, voit se dessiner son extension possible aux autres spécialités.

De multiples tribunes et interventions annoncent également les prémices de la définition de cursus informatique tout au long de la scolarité. Ces questions sont d'actualité chez nos voisins, ne citons que l'exemple du rapport de la Royal Society, « Shut down or restart?: The way forward for computing in UK schools », résultat d'une enquête de dix-huit mois prônant moult recommandations en la matière.

Si l'informatique reste un secteur actif en terme d'emploi, on ne peut nier l'évolution de la discipline et des besoins. Dans ce contexte, la qualification des informaticiens ne peut être décorrélée de la formation, et plus particulièrement de la formation continue et de la formation professionnelle.

Au programme :

Mercredi 6 février

Conférence d'ouverture : Gilles Dowek, Inria, membre du conseil scientifique de la SIF : Pourquoi doit-on enseigner un peu d'informatique à tout le monde ?
Sessions "école/collège", "formation continue et professionnelle"
Assemblée générale de la SIF

Jeudi 7 février

Sessions "lycée/ISN" : Participerons à cette session : Laurent Chéno, IGEN chargé de l’informatique et des sciences du numérique ; Thierry Vieville, directeur de recherche Inria, en charge de la médiation scientifique ; Luc Albert, enseignant d’informatique au Lycée international de Valbonne ; David Cachera et Yann Busnel, enseignants/chercheurs acteurs de la formation ISN. La session sera animée par Philipe Marquet.
14 h : Colloquium Morgenstern avec une conférence de Joëlle Coutaz (Professeur émérite à l'Université de Grenoble) : L'interaction homme-machine, c'est plus qu'une affaire de peinture
Prix de thèse Gilles Kahn de l'Académie des Sciences

Vendredi 8 février

Journée doctorants

Recherche en Imagerie et Technologies pour la Santé

Wed, 23 Jan 2013 14:23:35 GMT

]]>

Pour la première fois, seront regroupés à Bordeaux, du 8 au 11 avril 2013, le colloque biennal Recherche en Imagerie et Technologies pour la Santé (RITS) et le colloque annuel de l’Institut Thématique Multi Organismes Technologie pour la Santé (ITMO TS).

Réunir l’ensemble des acteurs contribuant à une recherche académique de haut niveau et porteurs d’innovations de valeur

Le colloque national RITS fait suite à celui de Rennes en 2011. Il s'inscrit dans la continuité des colloques en GBM organisés de longue date à l'initiative de la SFGBM, en partenariat avec les sociétés savantes du domaine. Son objectif est de réunir l’ensemble des acteurs contribuant à une recherche académique de haut niveau et porteurs d’innovations de valeur. C'est une occasion exceptionnelle pour les chercheurs de toutes les disciplines, qu’ils soient ingénieurs, physiciens, chimistes, médecins, chirurgiens, mais aussi pour les entreprises, de se rencontrer, pour échanger et découvrir les travaux et innovations les plus récents. Préparer et encourager la nouvelle génération, présenter en un même lieu les initiatives collectives en cours et afficher les plus récentes ruptures technologiques sont quelques-uns des enjeux du colloque. Les biomatériaux, l’ingénierie tissulaire, le vieillissement et le handicap seront tout particulièrement abordés lors de ce RITS 2013 du 8 au 10 avril. A l’issue des conférences du 9 avril, se tiendra l’Assemblée Générale de la SFGBM, et la remise des prix de thèse.

Regrouper les chercheurs impliqués dans les domaines des technologies pour la santé

Pendant ces journées, l’Agence Nationale pour la Recherche présentera également les projets 2009 financés dans le cadre du programme TecSan. Ce sera aussi l'occasion pour le chapitre EMBS-IEEE section France, la SFGBM, l'AGBM et le GDR STIC-Santé de décerner les prix de thèse de Doctorat en GBM pour l'année 2012. En groupant toutes ces manifestations, leurs organisateurs ont voulu réunir en un même lieu l’ensemble des chercheurs impliqués dans les domaines des technologies pour la santé, pour montrer toute l'importance, la qualité et la vitalité des travaux de la communauté nationale dans ces domaines.