Les actualités de l’INRIA
L’INRIA, l’Institut National de Recherche en Informatique et en Automatique a pour vocation d’entreprendre des recherches fondamentales et appliquées dans les domaines des sciences et technologies de l’information et de la communication (STIC). L’INRIA est un acteur majeur dans le développement des STIC en France.
http://www.inria.fr/actualite/actualites-de-l-inria/8th International Conference on emerging Networking EXperiments and Technologies
The 8th international conference on emerging networking experiments and technologies (conext) will be held from december 10th to 13th in nice, located at the wonderful côte d’azur in france. conext 2012 will be a major forum for presentations and discussions of novel networking technologies that will shape the future of internetworking. the conference is single track and features a high-quality technical program with significant opportunities for individual and small-group technical and social interactions among a diverse set of participants. the conext conferences focus on stimulating exchanges between various international research communities. lire la suite
Ecole d'hiver : Algorithms in Structural Bio-Informatics
The goal of this winter school is to present state-of-the-art concepts, algorithms and software tools meant to analyze and predict macro-molecular assemblies, with a focus on methodological developments and the corresponding software. it aims at gathering 20 students from all over europe during 5,5 days, at the master and phd level, and is organized as follows: during the first afternoon, the students will introduce their research interests. pairs of students will be formed, for the so-called projects to be undertaken during the practicals. each of the remaining five days will consist of a lecture (morning session), followed by a computer practical (afternoon). the practical will consist of applying concepts and tools learned during the lecture to macro-molecular structures related to the project. lire la suite
Ecole CEA EDF Inria - Systemic Risk and Quantitative Risk Management
Objectivessince the crisis of 2008, there has been a critical reorientation of research priorities in quantitative finance with emphasis on risk. the recent crisis, and in particular the lehman brothers bankruptcy and its consequences, has underlined a systemic risk due to the strong interdependencies of financial institutions. the failure of one of them can cause a cascade of failures, thus affecting the global stability of the system. better understanding of these interlinkage phenomena becomes crucial. the school aims at presenting the various approaches that have been developed to model this risk such as random graphs and mean field diffusion models. the course and the talks given by the academics will be complemented by a presentation of a practitioner in charge of counterparty risk. on the other hand, the question of the quantification of the risk induced by a portfolio of financial instruments has motivated an intense research activity among practitioners and academics in the last ten years. the theory of risk measures has emerged as one of the seminal topics in quantitative finance. the second objective of the school is to give a pedagogical presentation of this theory. tutorialsrama cont, cnrs université paris 6 marco frittelli, università degli studi di milano lecturesmichel de lara (ecole des ponts paristech) pierre gaye (société générale) nicole el karoui (université paris 6) hans föllmer (humboldt universität zu berlin) josselin garnier (université paris 7) andreea minca (cornell university, usa) marie-claire quenez (université paris 7) luitgard veraart (london school of economics for further informations
15th International Conference on Medical Image Computing and Computer Assisted Intervention
Inria (french institute for research in computer science and applied mathematics) is organising miccai 2012, the 15th international conference on medical image computing and computer assisted intervention. miccai attracts annually world leading scientists, engineers and clinicians from a wide range of disciplines associated with medical imaging and computer assisted surgery. general topics of the conference include medical image computing, computer-assisted intervention, guidance systems and robotics, visualization and virtual reality, computer-aided diagnosis, bioscience and biology applications, specific imaging systems, and new imaging applications. the conference series includes three days of oral presentations and poster sessions. the quality and importance of posters are considered to be on a part with oral platform presentations. all oral and poster papers are published in the miccai conference proceedings, which is having an increasing impact on the field. the conference series includes workshops and seminars just before and/or after the conference. these associated workshops and seminars focus in detail on current status and advances in the topics of miccai. lire la suite
Rencontres Internationales de la Culture Scientifique, Technique et Industrielle 2012
« médiation des sciences : perspectives internationales, enjeux et stratégies » l'université et les organismes de recherche sont des lieux vivants et engagés de médiation des sciences. et leurs actions sont d'autant plus importantes que les rapports entre sciences, technologies et société sont au cœur des débats actuels. surtout au moment où la poussée de la cyberculture a démultiplié à l'infini les interactions entre producteurs et utilisateurs d'informations. ce colloque veut examiner les nouvelles formes de dialogue entre ceux qui sont directement engagés dans la production des connaissances et ceux pour lesquels les questions éthiques, politiques et économiques, liées à la recherche et à ses retombées sont mises sur le même plan que l'avancement des connaissances. cinq axes de questionnements pour explorer de nouveaux horizons : spécificité de la médiation des sciences dans les universités, dans les centres de recherche politiques publiques de la médiation scientifique collaboration et partenariat publics de la médiation scientifique nouveaux outils, nouvelles pratiques lire la suite
La conférence internationale ISSAC (The International Symposium on Symbolic and Algebraic Computation)
La conférence internationale issac (the international symposium on symbolic and algebraic computation) est une conférence majeure du domaine du calcul formel. issac 2012 sera la 37e occurrence de la série, démarrée en 1966 et qui a lieu chaque année depuis 1981, alternativement en amérique du nord, en asie et en europe. la conférence s'organise autour de conférenciers invités, de tutoriels, de posters, de démonstrations logicielles, de présentations de partenaires industriels, avec en point central les présentations d'articles de recherche originaux. les thèmes de la conférence regroupent tous les domaines du calcul formel et symbolique. ceux-ci incluent sans s'y limiter : aspects algorithmiques (algèbre linéaire, polynomiale et différentielle exacte et symbolique ;méthodes symboliques/numériques pour les séries et l'homotopie ;géométrie algorithmique ; théorie des groupes ; théorie des nombres ;élimination des quantificateurs ; logique ; sommes et récurrences ; intégration, edo et edp ; aspects théoriques et pratiques incluant la complexité algébrique et des techniques pour des cas particuliers importants ; etc.) aspects logiciels (génie logiciel pour les bibliothèques de calcul, structures de données ; calcul algébrique parallèle, distribué, haute-performance ;nouvelles architectures matérielle ; interfaces homme-machine ; bibliothèques numériques ; didacticiels ; outils de simulation et d'optimisation ; preuve automatique de théorèmes ; cao ; différentiation automatique ; etc.) aspects pratiques (applications atteignant les limites actuelles du calcul ; nouvelles utilisations ; situations à large impact, en particulier en sciences du vivant, ingénierie, économie et finance, éducation, etc.) le choix des invités reflète l'investissement de la communauté dans les thématiques suivantes : le calcul haute-performance (volker strassen et l'algorithmique en l'algèbre linéaire), la modélisation et simulation, et plus particulièrement les forts liens entre calcul formel et bio-informatique (seth sullivant). lire la suite
Conférence JOBIM 2012 : Journées Ouvertes en Biologie, Informatique et Mathématiques
Du 3 au 6 juillet 2012, inria organise la 13e édition du colloque jobim : journées ouvertes en biologie, informatique et mathématique, le rendez-vous annuel de la communauté bio-informatique francophone, placé sous l’égide de la société française de bio-informatique (sfbi). les thèmes abordés par jobim couvrent le spectre de la bio-informatique au sens large. cela comprend à la fois les aspects méthodologiques en amont (modélisation mathématique, informatique, statistique, physique), les outils logiciels et des contributions plus appliquées, allant jusqu'à l'établissement de nouveaux résultats en biologie. génomique, génomique comparative et métagénomique évolution et phylogénie biodiversité, génétique et génomique des populations analyse des séquences et recherche de motifs cartographie et annotation des génomes biologie des systèmes et réseaux biologiques structures des macromolécules protéomique et interactions expression des gènes, génomique fonctionnelle analyse de données de grand séquençage arn non codants épigénétique et épigénomique ontologies, bases de données, intégration de données algorithmique et statistiques pour la bio-informatique etc. lire la suite
Première rencontres "R" à Bordeaux
Les 02 et 03 juillet prochain, auront lieu les 1ères recontres r à bordeaux. l’esprit de ces rencontres est de fournir à l’échelle nationale un lieu d’échange et de partage d’idées sur l’usage du logiciel r dans différentes disciplines (visualisation & graphiques, statistique appliquée, biostatistique, statistique bayésienne, bioinformatique, analyse des données, modélisation, machine learning, high performance computing...). le programme sera constitué de conférences plénières, de communications libres, de lightning talks et de posters présentant : de nouveaux développements en statistique et leur implémentation dans r, de nouveaux packages r, des applications ou études de cas originales utilisant r (génétique, bioinformatique, environnement, psychométrie, sciences sociales, neurosciences…), des aspects informatiques du logiciel r (calcul parallèle, visualitation & graphiques, interfaçage avec d’autres logiciels…), des aspects « enseignement et pédagogie avec r ». ces rencontres sont destinées à tous types d’utilisateurs de r : les chercheurs, les enseignants, les industriels, les étudiants, ... elles sont ouvertes aux statisticiens, aux informaticiens et à tous les domaines d’application. elles s'adressent auusi bien aux débutants qu'aux utilisateurs confirmés et expérimentés. cette première édition des rencontres r est organisée par l'inria bordeaux sud-ouest en partenariat avec l'université de bordeaux et l'institut de mathématiques de bordeaux. lire la suite
L'héritage de la machine universelle d'A.Turing
Cette conférence apporte un éclairage sur les travaux d'alan turing et leur influence remarquable sur les mathématiques, l’informatique, la morphogénèse, l’intelligence artificielle et la philosophie. elle est organisée par l'École normale supérieure de lyon, en partenariat avec inria, à l'occasion du centenaire de la naissance de alan turing, dès 1936, a. turing élabore le concept de calculateur universel programmable que l’on nomme maintenant communément ordinateur. il présente sa « machine de turing », le premier de ces calculateurs universel programmable, et invente les concepts de programmation et de programme. il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué la science. ces trois jours de conférence, organisés à l'occasion du centenaire de sa naissance, comportent : "héritage d'alan turing et impact de la notion fondamentale d’ordinateur/calculateur/machine universelle: une journée francophone grand public et multi-disciplinaire (informatique, philosophie, épistémologie, etc.) (2 juillet 2012) “turing's heritage: logic, computation & complexity” : une conférence internationale en langue anglaise (3 juillet 2012) “complexité et modèles finis” : un atelier du gdr cnrs informatique mathématique (4 juillet 2012) parmi les conférenciers : leslie valiant, harvard university, usa giuseppe longo, cnrs, ens paris gérard berry, inria, académie des sciences jean-michel salanskis, professeur de philosophie à l’université paris ouest nanterre la défense jean lassègue, cnrs, centre de recherche en Épistémologie appliquée (crea) de l’ecole polytechnique sophie laplante, professeur en informatique à l’université paris-sud 11 gilles dowek, inria lire la suite
4ème édition de la journée des utilisateurs de Scilab
La journée annuelle des utilisateurs actuels ou futurs de scilab est devenue le rendez-vous incontournable de la communauté du calcul numérique et de la simulation depuis 4 ans. organisé dans le cadre du forum teratec, le scilabtec 2012 se déroulera le jeudi 28 juin. l’espace d’une journée, les utilisateurs de scilab ont la possibilité de découvrir les récents développements du logiciel, des applications industrielles et de renforcer leurs connaissances du logiciel et de son écosystème. outre la possibilité d’échanger entre utilisateurs, de rencontrer l’équipe de développement, les participants auront aussi l’occasion d’avoir des précisions sur la stratégie et le positionnement de scilab enterprises avec la présence de claude gomez, son directeur général et jacques dhellemmes, son vice-président. parmi les intervenants confirmés, vous retrouverez : will schroeder, kitware (keynote speaker) jean-pierre bovee, sanofi frédéric pauliac, astrium michel ravachol, dassault aviation programme complet à venir prochainement. lire la suite
Programmation et génie logiciel
Software carpentry organise, en partenariat avec inria, une formation à la programmation et au génie logiciel les 28 et 29 juin 2012 à l'antenne inria à paris. what: our goal is to help scientists and engineers become more productive by teaching them basic computing skills like program design, version control. in this two-day boot camp, short tutorials will alternate with hands-on practical exercises. participants will be encouraged both to help one another, and to apply what they have learned to their own research problems during and between sessions. who: the course is aimed at postgraduate students and other scientists who are familiar with basic programming concepts (like loops, conditionals, arrays, and functions) but need help to translate this knowledge into practical tools to help them work more productively. requirements: participants must bring a laptop with a few specific software packages installed. (the list will be sent to participants a week before the boot camp.) content: the syllabus for this boot camp will include: using version control to manage and share information: an introduction to git and github introduction to python for scientists numerical programming with numpy and scipy lire la suite
Numerical analysis Summer school 2012
Accommodation and courses take place in a castle depending of the cea (french alternativeenergies and atomic energy commission) at cadarache, south of france, from monday,june 25th till friday, july 6th, 2012. these courses can interest a public of industrial engineers as well as academics (in particular researchers from cea, edf and inria), confirmed or not, in particular the phdand the post-doctorate students. abstractthis school will cover three approaches in stochastic optimization — stochastic programming, dynamic programming, variational methods — by emphasizing the modelling of dynamical control problems, as well as algorithmics aspects. among the applications, we find the management of energy systems under uncertainty. main courses stochastic optimization will be approached under three angles corresponding to different ways to handle non-anticipativity constraints, and leading to different resolution methods. each course lasts 9 hours and comprises six sessions of 1h30. computer practical works and “practical lectures” alternate with the theoretical courses and are organized in 3 (or 4) sessions of 2 hours each. for further informations
23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
The 23rd international meeting on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, or simply aofa 2012, is the third joint meeting of two conferences, mathematics and computer science (mathinfo) and analysis of algorithms (aofa). it is the 18th meeting in the aofa series---five separate mathinfo meetings were held, for a total of 23. its main purpose is to exchange ideas and foster collaboration around the themes of analytic, combinatorial and probabilistic methods, randomized algorithms, and theoretical aspects of trees, graphs, networks, strings and other mathematical structures. january 15, 2012: submission deadline. february 15, 2012: reports are due. march 1, 2012: decisions on the final program. notification of authors. april 1, 2012: final versions of accepted papers. the meeting is dedicated to the memory of philippe flajolet. lire la suite
7ème édition du Workshop du laboratoire commun Inria-University of Illinois at Urbana Champaign pour le Petascale Computing
La 7ème édition du workshop du laboratoire commun inria-urbana champaign sur la thématique du "petascale computing" rassemblera les meilleurs scientifiques spécialistes du hpc d'inria, de l'université de l'illinois et de l'anl (argonne national lab). durant 3 jours, ils exploreront les problèmes de recherche liés à cette thématique et présenteront les résultats de leurs travaux communs. ce workshop comprendra des sessions techniques sur les 5 thèmes principaux suivants : resilience big data and i/o numerical algorithms and libraries programming models and mpi mapping and scheduling hpc clouds lire la suite
Calcul Haute Performance
Le service transfert et innovation du centre de recherche inria bordeaux – sud-ouest organise une rencontre dédiée au calcul intensif le mercredi 13 juin 2012. c’est tout naturellement que la thématique du hpc a été retenue pour le premier imatch à bordeaux, le centre concentrant plus de 50 % des forces vives d’inria dans le domaine. a l'occasion de cet événement, les chercheurs présenteront des offres technolgiques liées au calcul haute performance. cette présentation sera suivie de rendez-vous personnalisés et confidentiels entre les porteurs de technologies et les entreprises intéressées, l'objectif étant de générer de nouveaux projets de partenariat et de transfert. venez nombreux échanger autour des technologies présentées. thématiques abordéespartitionner et distribuer les données scotch, pt-scotch : partitionneurs de graphes pampa : manipulation de maillages distribués pour la redistribution et le remaillage parallèles les solveurs numériques directs et hybrides pastix, mumps, hips : solveurs directs et hybrides eigen : boîte à outils pour la résolution de problèmes numériques matriciels optimiser le temps et les ressources hwloc : établit une cartographie de l’architecture de votre machine starpu : optimiser le calcul pour l’utilisation de machines parallèles hérérogènes optocloud : optimisation des coûts pour l’utilisation commerciale des clouds sponge : simulation de propagation d’ondes en géophysique wub-analyst : fournit des résumés du comportement des utilisateurs du web programmel’après midi sera organisée en deux parties : présentations de 10 minutes des principales offres technologiques et des entreprises présentes. rendez-vous privés de 20 minutes. lire la suite
RFIDs et réseaux de capteurs, au coeur de l'innovation
Le centre de recherche inria lille-nord europe et le citc-eurarfid , en collaboration avec euratechnologies présentent leur 1er colloque. a quoi servent ces technologies ? Pourquoi font-elles de plus en plus parler d'elles ? comment les intégrer dans une démarche innovante et quelles en sont les perspectives de marché à court et moyen terme ? centrés autour de la recherche, de l’innovation et des applications dans notre quotidien, ce colloque abordera les technologies sans contact à travers ses nombreux usages tant privés que professionnels. nathalie mitton, responsable de l’équipe inria fun nous en dit plus à ce sujet : © inria / photo kaksonen nathalie mitton, responsable de l'équipe inria fun :"l’internet des objets est un domaine très vaste qui fait référence à la faculté de faire communiquer les objets au travers d’un réseau. les objets peuvent être connectés directement au réseau ou bien être équipés de capteurs (caméras, micros, radars, thermosenseurs, etc.) ou d’étiquettes à radio-fréquences (tags rfid) qui transmettent leurs informations par des liaisons sans fil." le programmele déroulement consistera en un parcours initiatique en quatre phases : 1ère partie: "panorama et perspectives autour des rfids et des réseaux de capteurs" lieu: citc-eurarfid 2ème partie: "présentation de la plateforme senslab : 1024 nœuds-capteurs, répartis sur 4 sites en france" lieu: plateau inria 3ème partie: « touchez au sans-contact » devenez vous-même utilisateur, le temps d’une expérience. lieu: citc-eurarfid 4ème partie : approche b2b > "technologies & Études de cas" retour d’expériences sur des problématiques professionnelles. lieu: euratechnologies lire la suite
Récentes avancées dans l'analyse et les applications des systèmes dynamiques
Cette journée de séminaires, organisée par l'équipe-projet neuromathcomp, a pour but de réunir des chercheurs de tous horizons et de présenter leurs récentes avancées dans le cadre des systèmes dynamiques. un accent sera mis sur les applications dans les systèmes du vivant. lire la suite
Functional programming for parallel and concurrent applications
Accommodation and courses take place in a castle depending of the cea (french alternative energies and atomic energy commission) at cadarache, south of france, from june 11 till june 22, 2012. objectivesthe aim of the summer school is to give a thorough and application-oriented introduction to functional programming using the programming language haskell. a special focus is on parallel and concurrent programming, highlighting the ways in which features such as strong typing and purity make it dramatically easier to write reliable parallel or concurrent code. the school is split into three different courses that highlight different aspects of functional programming. all courses consist of lectures and hands-on sessions where everyone can try out the language on several exercises. publicthis school is a 2 weeks course for engineers, and for students and researchers. participants should be familiar with programming (e.g. in c or java), but the school will be self-contained and no preliminary knowledge of functional programing is required. for further informations
Design, optimization and control in systems and synthetic biology
Topics of interest include quantitative biology, control and optimization, microfluidics and single cell biology, biological noise, synthetic biology, deterministic and stochastic modeling. in addition, there will be a specific emphasis on novel approaches for in silico feedback control of live cells. the list of confirmed speakers include gilles charvin (igmbc, france), hidde de jong (inria, france), domitilla del vecchio (mit), diego di bernardo (tigem, italy), alfonso jaramillo (issb, france), eric klavins (u. washington, usa), heinz koeppl (ethz, switzerland), wendell lim (ucsf, usa), ariel lindner (inserm, france), john lygeros (ethz, switzerland), brian munsky (lanl, usa), guy-bart stan (imperial college, uk), and ron weiss (mit, usa). lire la suite
Ouverture des données : technologies et usages
Le club de veille technologique in'tech, animé pour inria et le cluster isère du logiciel et des services informatiques (grilog), organise une demi-journée de rencontres entre chercheurs et industriels sur l'ouverture des données : technologies et usages. cet événement aura lieu le mardi 5 juin 2012, de 14h à 18h, à inria montbonnot. on assiste actuellement à un mouvement vers l'ouverture des données qu'elles soient publiques, participatives ou privées. ces données peuvent être mises à disposition sous un format brut ou dans des formes plus adaptées à leur réutilisation par les technologies du web sémantique (ce que l'on appelle les données liées). le but de ce séminaire est à la fois de présenter des solutions techniques permettant de publier et de se réapproprier les données, d'illustrer la mise à disposition des données, et d'explorer leurs usages potentiels. le séminaire est ouvert à tous, industriels ou académiques. il est animé par jérôme euzenat, chercheur inria, responsable d’équipe - projet exmo. pré-programme 14h00 – 14h15 : introduction - jérôme euzenat (inria et lig) 14h15 – 14h45 : l'ouverture des données au niveau national - charles ruelle (etalab) 14h45 – 15h15 : des données brutes au web des données liées - françois scharffe (lirmm) 15h15 – 15h45 : des données ouvertes aux données liées d'entreprise - fabrice lacroix (antidot) 15h45 – 16h30 : pause et découverte des stands 16h30 – 17h00 : le nouveau marché des données: technologies et disruption - françois bancilhon (data publica) 17h00 – 17h30 : expérimentation d'utilisation de données d'une communauté d'agglomération - vincent kober (chargé du système d'information décisionnel, direction du pilotage et de l'evaluation, communauté d'agglomération de grenoble (la métro)) 17h30 – 18h00 : projets de la ville de grenoble pour l'ouverture des données publiques - gildas laeron (ville de grenoble) lire la suite
Calcul des racines multiples
Il est bien connu que la méthode de newton ne converge pas quadratiquement au voisinage d'une racine multiple. le but de cet exposé est d'expliquer comment retrouver cette convergence quadratique. lire la suite
Ce lien est brisé
Envoyer à un ami