Actualités

Computer algebra, a.k.a. symbolic computation, is a broad transdisciplinary area which aims at computerizing mathematics, i.e. solving exactly mathematical problems, using computers. Hence, it encompasses effective mathematics in algebra, analysis, geometry and number theory, the design of algorithms, the study of their complexities, their implementations and their use in applications, as well as software system aspects to manipulate and encode efficiently mathematical objects.

Computer algebra, a.k.a. symbolic computation, is a broad transdisciplinary area which aims at computerizing mathematics, i.e. solving exactly mathematical problems, using computers. Hence, it encompasses effective mathematics in algebra, analysis, geometry and number theory, the design of algorithms, the study of their complexities, their implementations and their use in applications, as well as software system aspects to manipulate and encode efficiently mathematical objects.

The thematic semester ML-LYSE will take place in Lyon and Saint-Etienne sites between spring 2021 and spring 2022 and will be based on the main themes represented in machine learning and data analysis.

Le semestre thématique ML-LYSE se déroulera entre le printemps 2021 et le printemps 2022 et reposera sur les principales thématiques représentées en apprentissage automatique et analyse des données sur les sites de Lyon et de Saint-Etienne.

Chocola revient sur vos écrans !

Pour la deuxième édition des rendez-vous « L’Académie en région », l’Académie des sciences se transporte à Lyon.

Rencontres mensuelles “CHoCoLa” / Février et Mars

Rencontres mensuelles “CHoCoLa” Curry-Howard : Calcul et Logique.

La deuxième édition des journées LHC aura lieu les 16 et 17 octobre à Lyon.

À l’occasion d’une visite de la gouvernance du VIASM à l’ENS de Lyon et au Labex MILYON, Ngô Bảo Châu, donnera deux exposés sur "La géométrie de la fibration du Hitchin".

Le 38ème Symposium international sur les systèmes distribués fiables (SRDS 2019) aura lieu à l'INSA de Lyon, Campus La Doua, du 1er au 4 octobre 2019.

Ces stages organisés par Prologin visent à faire découvrir le milieu de l'informatique et de la programmation aux filles : collégiennes et lycéennes. L'édition 2019 se déroulera à l'ENS de Lyon.

Cette 7e édition de MMEE permettra de rassembler une nouvelle fois chercheurs confirmés et jeunes chercheurs autour des modèles abstraits relatifs aux questions écologiques et de l’évolution.

Workshop sur les processus non linéaires et équations différentielles stochastiques qui se déroulera à l’Université Jean-Monnet de Saint-Étienne.

L’appel à candidatures pour un séjour au Collegium de Lyon (Université de Lyon) en partenariat avec le Labex MILYON pour 2020-2021 est ouvert jusqu’au 30 septembre 2019.

Les Journées de Physique Mathématique de Lyon sont une école de perfectionnement annuelle en physique mathématique consacrées cette année aux Random tensors and SYK models

L’événement rassemblera des experts en combinatoire, probabilités et physique mathématique à l'ENS de Lyon.

Organisé par les laboratoires d'informatique, de mathématiques et de physique de l'ENS de Lyon, ce séminaire porte sur la combinatoire et les mathématiques discrètes en général.

Ces journées sur l’intelligence artificielle porteront sur le « machine learning » et se tiendront à l’ICJ à l’Université Lyon 1.

This school is a session of the Etats de la Recherche organized by the French Mathematical Society (SMF)

Vincent Pilloni, Chargé de recherche en mathématiques au CNRS – Unité de Mathématiques pures et appliquées – ENS de Lyon et membre de la commission recherche du Labex MILYON est lauréat d’une bourse ERC Consolidor Grant 2018 pour développer un projet de recherche portant sur les variétés de Shimura.

Frédérique Vidal, ministre de l’Enseignement supérieur, de la Recherche et de l’Innovation, et Guillaume Boudy, Secrétaire général pour l’investissement, ont annoncé le 11 février 2019 la liste des 103 Laboratoires d’excellence (LabEx) prolongés pour une période de cinq ans.

Les événements qui ont fait l’actualité 2018 du Labex MILYON et de sa Maison des Mathématiques et de l’Informatique

Rencontres mensuelles “CHoCoLa” Curry-Howard : Calcul et Logique.

Ce séminaire consacré aux jeunes chercheurs en mathématiques qui présenterons des exposés en théorie géométrique des groupes est organisé par le GdR Platon et l'ICJ à l’Université Claude Bernard Lyon 1.

L'objectif de cette rencontre est de rassembler différents chercheurs de différentes communautés travaillant dans le domaine des processus gaussiens, du point de vue théorique aux applications.

Cette 14e édition a pour objectif de réunir la communauté scientifique française dont les thèmes de recherche sont liés au codage et à la cryptographie.

Stages destinés aux filles : collégiennes et lycéennes afin de leur faire découvrir le milieu de l'informatique et de la programmation, organisés par l'association Prologin. « Girls Can Code! » 2018 se déroulera successivement à Nantes, Lyon, Paris. La session de Lyon se tiendra à l’ENS de Lyon du 27 août au 1er septembre 2018.

ICGT est une conférence créée en l'honneur de Claude Berge en 1976 et organisée tous les 4 ans environ par la communauté française en théorie des graphes dédiés aux avancées en théorie des graphes et la combinatoire

Le workshop abordera principalement le thème de la théorie de la représentation des algèbres de Lie de dimensions infinies et s'inscrit dans la continuité de précédentes collaborations de chercheurs fructueuses dont la conférence Lyon-Ottawa de juin 2016 à Lyon, soutenue par MILYON.

Cette 3e édition aura lieu à l'ENS de Lyon du 25 au 29 juin 2018, et rassemblera la communauté informatique des doctorant.e.s du GDR GPL.

Ce deuxième congrès national de la Société Mathématique de France permettra d’établir un panorama des avancées en mathématiques : des thèmes les plus fondamentaux aux aspects les plus appliqués. Orateurs prestigieux mais aussi jeunes mathématicien.nes seront mis à l’honneur.

Les Journées de Physique Mathématique de Lyon sont une école de perfectionnement annuelle en physique mathématique consacrées cette année au chaos quantique.

Ce colloque est dédié du colloque aux doctorant.e.s en mathématiques et aux étudiant.e.s de master. Son but est de resserrer les liens entre jeunes chercheurs de tous les domaines mathématiques et les faire interagir autour de mini-cours.

5e edition organisée à l’ENS de Lyon a pour but d’échanger autour de l’étude des matrices structures, un domaine interdisciplinaire, permettant de concevoir des algorithmes plus efficacies.

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.

Événement franco-chinois portant sur la Géométrie algébrique et complexe.

A thematic trimester in arithmetic will take place in ENS de Lyon and Université Lyon 1 from April 23, 2018 to June 29, 2018. This trimester is divided in two parts with different focus, with a conference taking place from May 22 to May 25.

L’objectif notamment de ce séminaire est de fournir une introduction aux diagonales, après avoir décrit leurs propriétés principales, et présenter les problèmes arithmétiques impliquant leur réduction p et les liens avec la théorie des automates et d’exposer certaines algèbres Iwahori-Hecke associées aux groupes Kac-Moody.

Véronique Maume-Deschamps, professeure de mathématiques à l’Université Claude Bernard Lyon 1, ancienne correspondante « valorisation » du Labex MILYON, prend la tête du Labex AMIES (Agence pour les mathématiques en interaction avec l’entreprise et la société).

Christophe Sabot, Professeur à l’Université Claude Bernard Lyon 1, a été nommé Responsable Scientifique et Technique du Laboratoire d’Excellence en Mathématiques et Informatique fondamentale de Lyon (Labex MILYON) porté par l’Université de Lyon (COMUE) et a pris ses nouvelles fonctions au 1er septembre 2017. Il succède à Petru Mironecsu, Professeur à l’Université Claude Bernard Lyon 1, qui assurait la direction depuis septembre 2014.

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.

The thematic semester Graphs, Groups and Dynamics aims to understand simple systems of an algebraic, combinatorial and dynamic nature in mathematics, physics and computer science, through techniques that exploit the interactions between spectral analysis, ergodic theory and combinatorics. The objective is to facilitate collaboration between researchers in these fields and to provide a meeting place for exchanging ideas and techniques.

Les relations mathématiques entreprises se structurent au niveau régional par la création d’une Maison de la Simulation et de l’Optimisation Auvergne Rhône-Alpes (MSO-AuRA) regroupant les mathématiciens de Grenoble (MaiMoSiNE), de Lyon (VaLSEM = Valorisation Lyon Saint-Etienne en Mathématiques) et de Clermont- Ferrand (Maison de la Simulation Auvergne).

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.

This thematic quarter in responses aims to bring together mathematicians from several fields of probability theory around two workshops and a mini-school.

La liste des lauréats à l’appel d’offres Initiatives d’Excellence a été publiée ce vendredi 24 février, suite à l’avis émis par le jury international à l’issue des auditions finales.

Un nouveau site internet dédié à la topologie algébrique à travers les textes fondateurs de Poincaré vient de paraître sur la toile : ANALYSIS SITUS – http://analysis-situs.org. Créé par un collectif de mathématiciens français dont deux lyonnais, avec le soutien du Labex MILYON, ce site, dirigé vers un public de niveau avancé en mathématiques, a pour objectif d’initier à ce domaine à la fois à travers les textes originaux de Poincaré mais aussi à travers de nombreux exemples illustrés, des images et des vidéos.

Le domaine des réseaux complexes a énormément évolué au cours des 15 dernières années, et est maintenant devenu un champ interdisciplinaire réunissant des mathématiciens, des physiciens , des sociologues , des épidémiologistes , des informaticiens, etc.La conférence présentera l’état de l’art de la recherche dans le domaine des réseaux complexes.

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).

The thematic period aims to provide an overview of the current state of research in calculus of variations, optimal transportation theory, and geometric measure theory, from both the perspectives of theory and applications.

Le but de SWIM est de rassembler des chercheurs et des praticiens travaillant sur les méthodes d’intervalle et leurs applications. Faire l’état de l’art de la discipline, nourrir les discussions et confronter les différentes approches scientifiques constituent l’ambition première de cette 9ème édition.

L’un des principaux objectifs de ce workshop est de réunir différents domaines de recherche tels que la science des réseaux, les mathématiques, l’informatique, le traitement du signal et l’épidémiologie et d’étudier les problématiques communes (les systèmes biologiques, les systèmes linguistiques, les systèmes sociaux et divers autres systèmes artificiels comme l’Internet, WWW, systèmes peer-to -peer, etc.).

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).

L’objectif de ce workshop est de comprendre les liens entre les individus, la structure sociale et l’utilisation de la langue. Le nombre colossal de données numériques échangées via les réseaux sociaux comme Twitter constituent un immense laboratoire. L’étude de ces données recueillies sont autant d’opportunités pour les chercheurs de décrivent les interactions sociales et leur évolution ainsi que l’évolution de la langue.L’approche est ici sociolinguistique et interdisciplinaire.

The semester Network Science is organized by the project team DANTE (ENS de Lyon, Université Claude Bernard (Lyon 1), CNRS, Laboratoire de l'Informatique du Parallélisme - UMR5668), the SiSyPhe team (ENS de Lyon, Université Claude Bernard (Lyon 1), CNRS, Laboratoire de Physique - UMR5672), the Centre de Physique Théorique - UMR-7332, the Excellence Laboratory MILYON and the Institute of Scientific Interchange - (ISI).

dans le cadre du Trimestre HPC – Calcul Haute Performance.L’objectif de cette école est de faire le lien entre les avancées les plus récentes en informatique et mathématiques appliquées en relation avec les besoins des applications.

La conférence “HPC Days in Lyon”réunira des experts de diverses communautés scientifiques pour partager un aperçu sur les développements récents de la science informatique et mathématiques appliquées liées toHigh Performance Computing .

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.

The HPC Days in Lyon conference aims to bring together the scientific communities around the theme of High Performance Computing, including an update on the recent progress of research in computer science and applied mathematics in this area.

Les applications à valeurs dans des variétés interviennent dans la science des matériaux (cristaux liquides, supraconductivité), physique (théories de jauge) et mathématiques (applications harmoniques). L’école d’hiver propose cinq cours dispensés par des experts reconnus à l’intention des étudiants de masters, des doctorants, et de chercheurs. Le programme va d’un cours introductif sur les outils de base dans l’étude des espaces nonlinéaires à des résultats très récents sur le problème de la densité faible.Il permet aux jeunes participants d’avoir une vision générale du domaine, et à tous les participants l’occasion de discuter des perspectives de recherche dans les thèmes abordés.

Les thèmes abordés lors du workshop : les équations aux dérivées partielles, le transport optimal et les espaces métriques seront les sujets abordés.

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).

This thematic period aims to provide an overview of the current state of research in calculus of variations, optimal transport theory, and geometric theory of measurement, through two summer schools and an international conference.

La conférence « Géométries en action » a été organisée en l’honneur d’Étienne Ghys, Directeur de recherche au CNRS à l’École normale supérieure de Lyon (UMPA), et s’est tenue à l’amphithéâtre Charles Mérieux au sein de son école, du 29 juin au 3 juillet 2015.

Le 60e anniversaire de Denis Serre, Professeur (UMPA) à l’ENS de Lyon, a été célébré à l’occasion d’une conférence en son honneur : « REvISitiNg DEcadES of conseRvation laws », qui s’est tenue du 5 au 7 novembre 2014 à Écully (69).

Cette conférence a porté sur les recherches récentes en matière de représentations des groupes algébriques et des structures connexes.

L’atelier était axé sur les bimodules et leurs applications sur des représentations, de W.Soergel (Allemagne), et plus particulièrement sur les représentations des groupes algébriques de caractéristique positive.

États des lieux des recherches récentes sur la structure du groupe algébrique.

L’atelier était basé sur les compactifications équivariantes des groupes algébriques selon les récents travaux de O. Gabber.

Plus de 50 jeunes ont participé à l’école d’été.

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.

Plus de 50 jeunes ont participé à l’école d’été.

Thèmes abordés : concurrence, logique et concurrence, vérification

Thèmes abordés : preuves formelles en relation avec des questions d’arithmétique des ordinateurs et de calcul formel

Thèmes abordés : concurrence et topologie algébrique dirigée appliquée au calcul distribué

Thèmes abordés : calculs diagrammatiques et calcul de Garside

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.

Thèmes abordés : notions de continuation en programmation et leur contrepartie en mathématiques constructives, théorie homotopique des types.

Ce workshop est un événement international qui a lieu tous les 18 mois en Europe, depuis 20 ans, et réunit (sur invitation seulement) la communauté des langages, compilateurs et architectures pour le calcul parallèle.

Les participants français étaient des chercheurs de l’industrie venant de STMicroelectronics, du CEA, de CGG (industrie pétrolière et gazière), de EASii IC (micro-électronique), de Limagrain (agriculture), ou des laboratoires universitaires en dehors de la communauté des sciences de l’ordinateur (Creatis en imagerie médicale, Institut Jacques Monod en biologie, CETHIL en thermique, GRAME en musique).

50 participants venus d’Autriche, France, Allemagne, Pologne, Etats-Unis ont suivi des conférences données par Arnaud Chauvière, Pierre Degond, Bard Ermentrout, Denis Thieffry et Raphaël Voituriez.

Conjointement organisée par MILYON, BioSyL (Réseau de Biologie Systémique de l’Université de Lyon) et le Labex ECOFECT, la conférence a réuni des biologistes, des biochimistes, des généticiens, des biophysiciens, des épidémiologistes, des mathématiciens et des physiciens.

« Spring School on Polyhedral Code Analysis and Optimizations »

Elle a été un événement intense en présence des mathématiciens, médecins, chercheurs en médecine, représentants de sociétés pharmaceutiques (Roche, Astra Zeneca, Merck Serono) et organisations de recherche sous contrat (Pharsight, Novadiscovery, Cosmo).

Cet événement d’ouverture officielle du trimestre donna lieu à 16 exposés scientifiques, et quelques courtes présentations, réunissant 42 participants.

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).

Cette conférence a rassemblé 70 participants qui ont été invités à suivre 15 cours complets et 9 courtes conférences données par des chercheurs juniors. Les échanges furent très animés et fructueux.

Intégrée au programme international « Mathématiques de la planète Terre 2013 « , elle a réuni 90 participants (et 15 mathématiciens appliqués et 10 biologistes théoriciens comme conférenciers) pour comparer les modèles et les méthodologies et enrichir l’état de l’art dans le domaine de la biologie évolutive.

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.