Trimestres et mois thématiques

Le semestre thématique Graphes, Groupes et Dynamique vise à comprendre les systèmes simples de nature algébrique, combinatoire et dynamique en mathématiques, en physique et en informatique, à travers des techniques qui exploitent les interactions entre analyse spectrale, théorie ergodique et combinatoire.L’objectif est de faciliter la collaboration entre les chercheurs dans ces domaines et de fournir un lieu de rencontre pour échanger idées et techniques.

Le trimestre thématique en arithmétique « Groupes algébriques et géométrisation du programme de Langlands » est organisé avec le soutien de MILYON et aura lieu du 23 avril au 29 juin 2018.Il est composé de deux parties et d’une conférence de mi-parcours du 22 au 25 mai 2018.La première partie portera sur la théorie des groupes algébriques et particulièrement sur la conjecture de Grothendieck-Serre sur les espaces principaux homogènes localement triviaux. La deuxième partie portera principalement sur la question de la géométrisation de la correspondance de Langlands locale.

Ce trimestre thématique en probabilité a pour but de rassembler des mathématiciens de plusieurs domaines de la théorie des probabilités autour de deux workshops et une mini-école.

Le semestre thématique Graphes, Groupes et Dynamique vise à comprendre les systèmes simples de nature algébrique, combinatoire et dynamique en mathématiques, en physique et en informatique, à travers des techniques qui exploitent les interactions entre analyse spectrale, théorie ergodique et combinatoire.L’objectif est de faciliter la collaboration entre les chercheurs dans ces domaines et de fournir un lieu de rencontre pour échanger idées et techniques.

La modélisation et la simulation numérique sont devenues, pour une grande partie de la communauté scientifique, des outils indispensables de compréhension des phénomènes au même niveau que l’expérimentation et le prototypage, et pour un coût bien moindre. A ce titre, les enjeux liés aux capacités et aux performances des calculs numériques ne sont pas seulement scientifiques mais aussi sociétaux, économiques et financiers.

Le semestre « Science des réseaux » est organisé par l’équipe DANTE du Laboratoire de l’Informatique du Parallélisme (École Normale Supérieure de Lyon, Université Claude Bernard Lyon 1, CNRS), l’équipe SISYPHE du Laboratoire de Physique (École Normale Supérieure de Lyon, Université Claude Bernard Lyon 1, CNRS), le Centre de Physique Théorique (Université Aix-Marseille, Université Toulon, CNRS), le Laboratoire d’excellence MILYON et l’Institut de l’échange scientifique (ISI).

Cette période thématique vise à fournir, dans sa globalité, un aperçu de l’état actuel de la recherche en calcul des variations, théorie du transport optimal, et théorie géométrique de la mesure, à travers deux écoles d’été et une conférence internationale.Un état de l’art reposant à la fois sur le point de vue de la théorie (modélisation, analyse numérique) et sur celui des applications. Applications du quotidien de la vie des hommes et de la société ou en interaction avec d’autres domaines scientifiques (traitement d’images, vision par ordinateur, physique, science des matériaux, infographie, biologie, ou la science des données).

Cette période thématique vise à fournir, dans sa globalité, un aperçu de l’état actuel de la recherche en calcul des variations, théorie du transport optimal, et théorie géométrique de la mesure, à travers deux écoles d’été et une conférence internationale.Un état de l’art reposant à la fois sur le point de vue de la théorie (modélisation, analyse numérique) et sur celui des applications. Applications du quotidien de la vie des hommes et de la société ou en interaction avec d’autres domaines scientifiques (traitement d’images, vision par ordinateur, physique, science des matériaux, infographie, biologie, ou la science des données).

Cette session a abordé plusieurs versants de l’interface entre mathématique et informatique.D’une part, les méthodes mathématiques jouent un rôle crucial dans plusieurs domaines de l’informatique, comme la vérification formelle des programmes et la théorie des langages de programmation (la logique avec la théorie de la démonstration étant des outils historiques importants à cet égard, et plus récemment, d’autres théories comme la topologie algébrique ont trouvé d’élégantes applications).D’autre part, des notions et des techniques venant de l’informatique ont permis des applications remarquables en mathématiques, comme la réécriture qui fournit des procédures de décision algébrique et de calcul d’invariants homologiques.

L’objectif du bimestre était de couvrir à la fois les bases et les avancées les plus récentes de la théorie des groupes et de leurs représentations.Les groupes algébriques étaient présents à travers leur structure interne et leurs représentations linéaires.

La riche programmation a conduit les participants à assister à quatre conférences, une école de printemps et un workshop.L’une des réussites de l’événement réside dans la diversité des horizons des organisateurs, venant des mathématiques, de la biologie, de la médecine ou de la physique.

Articulé autour des principaux intérêts de recherche de Compsys (compilation des systèmes embarqués), l’équipe-projet du LIP et de l’INRIA, le trimestre a donc porté sur les interactions entre les compilateurs, les langages et les architectures pour le calcul à hautes performances. L’équipe est particulièrement active sur cet axe de recherche, au cœur du processus d’automatisation informatique allant de haut en bas (c’est-à-dire du langage jusqu’à la machine).