inria
Inria.fr
Inria Channel
A la une
Futur en Seine
Futur en Seine
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.
Lieu : 5, rue Curial 75019 Paris
Mots-clés :
École d'été
Rencontres Jeunes Chercheurs en Interaction Homme Machine
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é.
Lieu : Domaine St Joseph, Sainte-Foy-lès-Lyon
Mots-clés :
Médiation
Stage MathC2+ : découvrir 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.
Lieu : Inria, site de Sophia Antipolis
Evenement
Colloquium Polaris
Olivier Danvy interviendra dans le cadre du Colloquium Polaris, le jeudi 20 juin de 14h à 15h30 (Ircica).
Lieu : Ircica
Intervenants : Olivier Danvy
Mots-clés :
Colloquium Jacques Morgenstern
Colloquium Jeffrey Shallit
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).
Lieu : Inria, site de Sophia Antipolis (Amphi Morgenstern - 11 h à 12 h
Intervenants : Jeffrey Shallit, professor of Computer Science, University of Waterloo, Canada
Séminaire des équipes de recherche
Séminaire Gallium
Lieu : Rocquencourt, Amphithéâtre A.Turing - bâtiment 1
Intervenants : Benoît Valiron
Mots-clés :
© Airbus
Forum Méthodes Formelles
Forum Méthodes Formelles
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.
Lieu : Grand amphithéâtre Inria Grenoble
Intervenants : Reinhard Wilhelm, Florent Kirchner, Stéphane Duprat, Benjamin Monate, Christian Ferdinand, Jean Souyris, Patrick Munier, Aurore Dupuis, Francesco Logozzo, Paul Arberet
Mots-clés :
Conférence
HPC Languages
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.
Lieu : Résidence Villemanzy, Lyon Centre
Mots-clés :
Intelligence artificielle
PFIA 2013
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.
Lieu : IUT A Université Lille1, Villeneuve d'Ascq
Mots-clés :
École d'été
ETIA 2013
L'École Thématique Intelligence Ambiante se tiendra du 01 au 04 juillet 2013 à Polytech'Lille sur le campus universitaire de Villeneuve d'Ascq.
Mots-clés :
Calendrier
Archives
Centres de recherche Inria
Rubrique « Le saviez-vous »
Le numérique influence notre quotidien, pourtant le Baromètre Inria montre que les Français ne voient pas toujours son utilité. Cette rubrique est l’occasion de faire découvrir à tous des cas concrets rendus possibles par les travaux de recherche d’Inria et d’autres acteurs.
