Séminaires pour les élèves du département

Date : Vendredi 24 novembre 2024 de 16h30 à 18h00 en salle 1Z61

Intervenantes : Cécile Pierrot, INRIA / LORIA, et Camille Désenclos, Université de Picardie, UFR d'Histoire et de Géographie

Titre : Percer le secret des lettres chiffrées de Charles Quint: un travail interdisciplinaire entre cryptographes et historiens.

Hiver 2020. Une dépêche presque intégralement chiffrée est redécouverte dans les 16 kilomètres de rayonnages de la bibliothèque du patrimoine de Nancy. Elle semble datée de 1546 et signée de la main de l'empereur Charles Quint. Mais comment percer le mystère d'une lettre chiffrée multiséculaire ? Venez suivre l'histoire de ce décryptage qui ouvre la voie d'une recherche à la frontière entre cryptographie, histoire, linguistique et intelligence artificielle. Aucune prérequis n'est indispensable dans ces disciplines pour suivre l'exposé.

Date : Vendredi 13 décembre 2024 de 16h15 à 17h15 en salle 1Z61

Intervenants : Vincent Lafeychine, M2 MPRI, et Baptiste Lemoine, membre du CA d'OpenStreetMap France. OpenStreetMap en anglais et OpenStreetMap en français

Titre : OpenStreetMap au service des acteurs publics

La cartographie en ligne s'est imposée comme un outil incontournable pour se déplacer ou accéder à des informations sur un lieu.

Depuis 20 ans, OpenStreetMap (OSM) propose une alternative libre et collaborative, comparable à Wikipédia pour les encyclopédies. OSM permet à chacun de contribuer en enrichissant le contenu de la carte ainsi que son ontologie.

OSM se distingue aujourd'hui d'autres acteurs par la richesse, l'homogénéité et la précision de ses données. Des acteurs publics (comme l'IGN, le SDIS, Île-de-France mobilités ou la SNCF) ou privées (comme la majorité des GAFAM) utilisent des données issues d'OSM.

Après avoir exploré l'ensemble des possibilités offertes par OpenStreetMap, nous analyserons comment son écosystème évolue grâce à l'intéraction entre acteurs publics, privées et bénévoles, perpétuant ainsi le cercle vertueux de la contribution libre.

Date : Vendredi 6 décembre 2024 de 16h15 à 17h15 en salle 1Z61

Intervenant : Frédéric Magniez, IRIF, CNRS

Titre : L'ordinateur quantique : principes et potentiels usages

Les ordinateurs actuels, basés sur les machines de Turing, restent contraints par la physique classique, malgré des progrès en semi-conducteurs et lasers utilisant déjà certaines propriétés quantiques de la matière et de la lumière. Dans les années 80, une autre approche a émergé : le calcul quantique, exploitant les phénomènes de superposition et d'intrication pour garantir la sécurité des transmissions par les lois de la physique quantique, ou encore pour changer la difficulté de certains calculs jugés irréalisables en temps polynomial. Aujourd'hui, des technologies prometteuses pourraient rendre ce paradigme une réalité, ce qui marquerait une "deuxième révolution quantique" capable de transformer des domaines comme l'algorithmique et la cryptographie. Cet exposé présentera les bases de cette discipline et les défis à relever.

Date : Vendredi 29 novembre 2024 de 16h15 à 17h15 en salle 1Z61

Intervenant : Pierre Depaz, NYU Berlin, Sciences Po

Titre : Esthétiques et éthiques des codes sources

La mise en forme du code source—comment on l’écrit, et comment on le lit—implique toujours des jugements de valeur(s). Traditionnellement considérée comme orthogonale à la rigueur de l’ingénierie, l’esthétique n’en est pas moins présente, principalement dans son rapport à la fonctionnalité de ce qui est fabriqué. S’intéresser à l’esthétique du code source, c’est donc aussi mettre à jour les dimensions implicites et irrationnelles des pratiques de programmation. En examinant ces esthétiques à travers le prisme des jugements de valeur(s), en établissant une connexion entre le beau et le bien, le laid et le mauvais, il est donc possible de détailler comment ces valeurs ont elles-mêmes des implications éthiques. Plus spécifiquement, il s’agit de montrer comment elles sous-tendent une certaine manière de fabriquer des logiciels, de collaborer avec autrui, et de traduire le monde, mais aussi comment d’autres valeurs esthétiques et éthiques peuvent suggérer d’autres manières de faire, à travers des approches artistiques du code source et des langages de programmation.

Date : Vendredi 22 novembre 2024 de 16h15 à 17h15 en salle 1Z61

Intervenant : Assalé Adjé, , Université de Perpignan

Titre : L'optimisation mathématique pour la vérification formelle de systèmes dynamiques

La vérification formelle est une étape primordiale dans la conception et la validation de programmes informatiques et de systèmes embraqués sûrs. La vérification formelle est basée sur des méthodes formelles qui visent à prouver de manière automatique le bon respect de spécifications sur ces systèmes. L'analyse statique par interprétation abstraite est l'une de ces méthodes. La démarche consiste à calculer des sur-approximations des valeurs ou états possibles pris par les variables du système. Une sur-approximation trop grossière peut conduire à une incapacité de décider si une spécification est respectée ou non. Dans ce cas, il est important de pouvoir calculer une sur-approximation fine ou de raffiner une sur-approximation. Nous nous rapprochons ainsi de l'optimisation mathématique. Dans cette présentation, nous allons, en abstrayant les programmes informatiques comme des systèmes dynamiques en temps discret, montrer comment l'optimisation mathématique peut répondre à des questions d'analyse statique de programmes par interprétation abstraite.

Annulé

Date : Vendredi 15 novembre 2024 de 16h15 à 17h45 en salle 1Z61

Intervenantes : Cécile Pierrot, INRIA / LORIA, et Camille Désenclos, Université de Picardie, UFR d'Histoire et de Géographie

Titre : Percer le secret des lettres chiffrées de Charles Quint: un travail interdisciplinaire entre cryptographes et historiens.

Hiver 2020. Une dépêche presque intégralement chiffrée est redécouverte dans les 16 kilomètres de rayonnages de la bibliothèque du patrimoine de Nancy. Elle semble datée de 1546 et signée de la main de l'empereur Charles Quint. Mais comment percer le mystère d'une lettre chiffrée multiséculaire ? Venez suivre l'histoire de ce décryptage qui ouvre la voie d'une recherche à la frontière entre cryptographie, histoire, linguistique et intelligence artificielle. Aucune prérequis n'est indispensable dans ces disciplines pour suivre l'exposé.

Date : Vendredi 8 novembre 2024 l'après-midi

Intervenant.es : Plusieurs

Titre : Journée Serge Haddad

Date : Vendredi 18 octobre 2024 de 16h15 à 17h15 en salle 1Z61

Intervenante : Sylvie Putot, LIX, École Polytechnique

Titre : Méthodes ensemblistes pour la vérification de systèmes autonomes

Je présenterai un point de vue, orienté par mon parcours scientifique, sur la vérification de programmes et plus largement de systèmes contrôlés, lorsque l'on raisonne non seulement sur le programme mais aussi sur ses interactions avec l'environnement physique.

Date : Vendredi 11 octobre 2024 de 16h15 à 17h15

Intervenant : Bastien Laboureix, DER Maths, ENS Paris-Saclay

Titre : Un peu de géométrie dans ce monde de brutes

La géométrie discrète s'intéresse aux structures discrètes de Z^d. Bien qu'elle ressemble au premier abord à la géométrie euclidienne continue, ses propriétés sont nettement différentes : plus de division, adieu les limites, tout n'est plus qu'arithmétique. En particulier, de nombreuses questions très simples dans le monde continu peuvent devenir extrêmement complexes dans le monde discret. Nous ferons un rapide panorama de divers problèmes du domaine : rotations, intersections, convexité... Nous nous intéresserons plus en profondeur à la connexité des hyperplans. Les hyperplans d'un espace vectoriel sont toujours connexes, ce qui n'est pas nécessairement le cas des hyperplans arithmétiques en géométrie discrète. La simple question de la connexité amène d'ailleurs à jongler avec de nombreuses notions mathématiques : algorithmes de PGCD, réseaux, fractales, bases de numération, anneaux d'entiers et même de l'analyse. Plongeons donc ensemble dans le monde fantastique de la géométrie discrète.

Date : Vendredi 4 octobre 2024 de 16h15 à 17h15

Intervenante : Bernadette Charon-Bost, DIENS, ENS Paris

Titre : Problèmes de Consensus : du calcul distribué à la théorie du contrôle

Les problèmes de consensus apparaissent dans un grand nombre de systèmes multi-agents, qu'ils soient naturels ou artificiels : les agents doivent, par exemple, se coordonner afin de se synchroniser ou encore adopter un même état mémoire.

Dans tout problème de consensus, les agents possèdent chacun une valeur d'entrée et doivent finir par s'accorder sur une même valeur de sortie. Au delà de cette clause commune d'accord, les problèmes de consensus diffèrent essentiellement de par la propriété de stabilité exigée pour les valeurs de sortie. Ainsi peut-on demander à chaque agent de ne proposer qu'une seule fois une valeur de sortie, ce qui correspond à une décision irrévocable. On peut affaiblir cette condition en autorisant les agents à modifier leur décision un nombre fini de fois. Ou encore leur permettre de changer d'avis infiniment souvent, auquel cas le consensus correspond à un problème de convergence vers une valeur limite commune. On parle ainsi de consensus irrévocable, de consensus stabilisant ou de consensus approché.

Dans un premier temps, j'examinerai sous quelles formes ces différents problèmes de consensus apparaissent selon le type d'applications considérées. Je présenterai ensuite les principaux résultats de calculabilité : d'une part, le théorème d'impossibilité de Fischer, Lynch et Paterson ainsi que le théorème dit des ``généraux byzantins'' de Shostak, Pease et Lamport, pour le consensus irrévocable et, d'autre part, le résultat de Moreau prouvant la supériorité des interactions symétriques pour réaliser un consensus approché.

Dans une seconde partie, je m'intéresserai au problème du consensus contraint : on renforce chacune des versions du consensus présentées ci-dessus par l'exigence que la valeur de consensus soit égale à celle prise par une certaine fonction f lorsque ses arguments sont les valeurs initiales des agents. On dit alors que les agents calculent la fonction f. Typiquement, pour des valeurs d'entrée réelles, les agents doivent s'accorder sur le minimum, la moyenne ou encore la somme de ces valeurs. Je caractériserai la classe des fonctions calculables et montrerai que la calculabilité d'une fonction ne dépend que du mode de communication et non du type de calcul -- exact ou approché -- demandé.

Date : Vendredi 27 septembre 2024 de 16h15 à 17h15

Intervenant : Jérôme Lang, LAMSADE, Université Paris-Dauphine

Titre : Choix social computationnel : dix petits exposés (un hommage à Agatha Christie) Attach:Grenoble-Ten.pdf

Le choix social computationnel est un domaine de recherche à l'intersection de l'intelligence artificielle, de l'informatique théorique et de l'économie mathématique. Il consiste à analyser les problèmes d'agrégation des préférences d'un groupe d'agents d'un point de vue algorithmique. Parmi ses sous-domaines, il y a la démocratie représentative (élections de représentants), la démocratie directe (par exemple les budgets participatifs), le partage équitable de ressources, les appariements stables (la théorie derrière Parcoursup). L'interaction entre l'informatique et le choix social n'a pas seulement conduit au développement d'algorithmes pour la prise de décision collective : elle a contribué à remodeler et à revitaliser le domaine, en identifiant de nouveaux paradigmes, de nouveaux problèmes et de nouveaux objets d'étude. Je présenterai brièvement le domaine, puis je donnerai quelques exemples de ces nouveaux paradigmes, problèmes ou objets d'étude. Les dix petits exposés mentionnés dans le titre font référence à des exposés potentiels : je parlerai (évidemment!) de moins de dix sujets, mais ceux-ci seront sélectionnés parmi dix candidats par l'assistance par le biais d'un vote.

Date : Vendredi 3 mai 2024 de 16h30 à 17h30 en salle 1Z61

Intervenant : Olivier Serre, CNRS / IRIF

Titre : L'écosystème du CNRS en sciences informatiques

Dans cet exposé je présenterai le fonctionnement de l'écosystème de l'enseignement et de la recherche, avec comme tropisme celui du CNRS et de l'institut dont je suis aujourd'hui l'un des directeurs adjoints scientifique. Ce sera l'occasion de présenter la diversité des sujets en sciences informatiques, les domaines qui montent sans oublier ceux qui sont bien installés.

Je prévois un exposé assez court afin de permettre des échanges avec l'auditoire.

Date : Vendredi 26 avril 2024 de 16h30 à 17h30 en salle 1Z61

Intervenant : Yoan Geran (promo 2017), CRI et LMF

Titre : Forme canonique dans l'algèbre imax-successeur

Les théories des types sont des alternatives à la théorie des ensembles pour les fondements des mathématiques, et sont la base de systèmes de preuves comme Coq. Cependant, des paradoxes, comme celui de Russel en théorie des ensembles naïve, peuvent apparaître si on ne fait pas attention. Une solution à ce problème est de hiérarchiser les types. Chaque type est donc à un certain niveau, les niveaux étant indexés par les entiers. La fonction imax : N -> N -> N définie par imax(n, 0) = 0 et imax(n, m + 1) = max(n, m + 1) est utilisée pour cette hiérarchisation, d'où notre intérêt pour l'étude de l'algèbre imax-successeur. En particulier, il est parfois utile de pouvoir comparer deux éléments de cette algèbre. Nous proposons ici une forme canonique pour cette algèbre, et donc une façon simple de comparer ses éléments.

Date : Vendredi 5 avril 2024 de 16h30 à 17h30 en salle 1Z61

Intervenante : Mélanie Guenais, LMO, Université Paris-Saclay

Titre : Les sociétés savantes dans la vie publique : engagements et actions.

J'expliquerai comment l'implication dans l'actualité politique d'une communauté associative scientifique a abouti à la formation du Collectif Math&Sciences. Je décrirai quels sont ses buts, son organisation et les actions qu'il porte. Au delà, je présenterai les questions liées à l'accès aux sciences pour les femmes et plus généralement quels sont les axes de réflexions autour de la faible diversité dans les parcours scientifiques, notamment les plus prestigieux.

Je prévois un exposé assez court (30 min) pour laisser un temps d'échange avec le public.

Date : Vendredi 29 mars avril 2024 de 16h30 à 17h30 en salle 1Z61

Intervenante : Marie Duflot-Kremer, Université de Lorraine, LORIA

Titre : Partager l'informatique

Ce séminaire vous propose de (re)découvrir une manière de communiquer la science informatique, non pas en racontant, mais en jouant. Vous n'imaginez pas comment parler de gestion de la mémoire (cache, RAM) à des élèves de CE1, de routage à des élèves de sixième ou de votre cours de M2 à des élèves de première ? Vous ne voyez pas le rapport entre du coloriage et de la cryptographie, ou des aiguilles à tricoter et des bases de données ? Alors ce séminaire est fait pour vous. Venez découvrir, notamment en participant, comment partager l'informatique.

Date : Vendredi 22 mars avril 2024 de 16h30 à 17h30 en salle 1Z61

Intervenante : Manon Blanc (promo 2017), LIX, École Polytechnique

Titre : Calculabilité et complexité sur les réels

Habituellement, quand on parle de calculabilité ou de complexité, les informaticiennes et les informaticiens pensent aux machines de Turing. En particulier, des machines qui, par leur définition classique, manipulent des mots ou des entiers. Cependant, de nombreux domaines des sciences appliquées nécessitent la manipulation de nombres réels, en temps et espace limités. Nous proposons ici des caractérisations de classes de complexité polynomiales simples et concises travaillant sur les réels. Et surtout, sans passer par le (lourd) formalisme des machines de Turing.

Date : Vendredi 15 mars 2024 de 16h30 à 17h50 en salle 1Z61

Deux intervenants, durée totale de 80 minutes.

Intervenant 1 :Gaëtan Douéneau (promo 2015), Ministère des Armées

Titre 1 : ENS & doctorat : une formation par la recherche, pour l’administration publique

Ancien élève du département informatique (2015-2019), j’ai réalisé une thèse en théorie des automates (plus de détails ici sur mes activités de recherche) et rejoint un grand corps technique de l’État pour réaliser une carrière dans l’administration publique. Je suis actuellement en poste au Ministère des Armées.

Sur la base de mon parcours, j’essayerai de répondre aux questions suivantes : Qu’est-ce que la fonction publique, en dehors de l’enseignement et de la recherche ? Que font les gens dans les ministères ? Pourquoi est-ce un débouché assez naturel pour un normalien-docteur ? Qu’est-ce qu’une formation par la recherche apporte dans un parcours de (haut) fonctionnaire ? Comment faire pour obtenir un poste dans l’administration publique ?

Certaines analyses seront basées sur un rapport présenté au cabinet de la ministre de la fonction publique en 2021, et disponible ici.

Intervenant 2 : François Bobot, CEA

Titre 2 : Entre l'industrie à la recherche et inversement !?

Ancien élève de l'ENS, je décrirais mon parcours et les choix qui m'ont amenée à travailler en tant qu'ingénieur-chercheur au CEA. Les particularités du CEA seront également rapidement abordées, puis elles seront illustrées à travers l'exemple d'un travail sur les DTNUs avec Safran.

Disjunctive temporal network with uncertainty (DTNU) is a way to describe temporal problems with uncertainty. The problems feature controllable actions and uncontrollable events. It allows to constraints the difference between the occurring time of events or actions, disjunction of such constraints. Solving DTNUs consists in generating a strategy that schedule the controllable actions and that react to the uncontrollable events. The presentation proposes a new technique that benefice from evolution in SMT solving, alias MCSAT-solver. The generation of the strategy follow a classic depth first search of sub-strategies, however it speeds up the search in two ways. Firstly new constraints are learned by using over-approximation when a branch can't be completed into a working strategy. Those constraints are used to cut part of the remaining search space. Secondly applicability constraints are inferred for completed sub-strategies in order to reuse them for sibling branch. The proposed presentation will present shortly the DTNU framework. Then the basics of learning constraints from a formula and satisfiable or unsatisfiable model will be explained. Finally the idea of the new algorithm will be described.

Date : Vendredi 1er mars 2024 de 16h30 à 17h30 en salle 1Z61

Intervenant : Pierre Senellart, ENS Paris / PSL

Titre : Provenance, Probabilities, and Power Indices in Databases

We explain how the foundational notion of provenance in databases capture (in an algebraic way) computations run during query valuation in probabilistic databases. A simple form of provenance is Boolean provenance, where the dependency between output and input data is expressed as a Boolean function. We present two applications of Boolean provenance, which we will present, are computing probabilstic results over probabilistic databases, and computing the usefulness of input data with respect to a query result, using power indices such as the Shapley value. We discuss the central problem of efficient computation and of characterizing queries and data for which we can tractably compute specific forms of provenance representation, probabilities, and power indices.

Date : Vendredi 2 février 2024 de 16h30 à 17h30 en salle 1B26

Intervenant : David Pichardie, ENS Rennes / Meta

Titre : Histoire et architecture de la plateforme d'analyse statique multi-langages Infer

Histoire et architecture de la plateforme d'analyse statique multi-langages Infer Résumé: Infer est une plate-forme d’analyse statique open source développée chez Meta depuis 10 ans déjà. Elle tire sa source dans les travaux fondamentaux de preuve de programme par logique de séparation, ainsi que sur la théorie de l’interprétation abstraite. Dans cet exposé, je vous raconterai l’histoire de cette plateforme et je vous décrirai les éléments clés de son architecture. Je présenterai aussi le parcours professionnel qui m’a mené à travailler sur cet outil depuis un peu plus de 2 ans maintenant.

Date : Vendredi 26 janvier 2024 de 16h30 à 17h30 en salle 1Z61

Intervenant : Roberto Di Cosmo, IRIF, Université Paris Cité

Diapos

Titre : Securing the (Open Source) Software Supply chain: challenges and opportunities

Software security is a broad and well established domain, with many research projects and industry products focusing on the traditional goal of detecting, and possibly fixing, vulnerabilities present in a specific software code base. Open Source has brought a new dimension into play: by making available large amounts of software components, developed and distributed collaboratively across the world, it has immensely sped up innovation, but also raised key challenges about the quality, evolution and security of what is today called the "software supply chain" of modern software systems, where many components from disparate origins are put together.

How can we search for vulnerabilities among millions of software projects? How can we track their propagation? How can one make sure that the source code of a key module used today will be still there when it is needed in the future? Do we really know what source code we are using, and where it comes from (the Know Your Software principle)? how can we adress cybersecurity if we do not know? How do we share this information across the software supply chain?

Answering these questions and answering them at scale is quite a challenge.

In this presentation, you will discover Software Heritage, an open non-profit initiative, in partnership with Unesco and supported by major IT players, and how the revolutionary infrastructure it is building offers great opportunities to change the way we address these issues.

With more than 17 billions unique source files from more than 270 million repositories, it is the largest archive of source code ever built, and you can already access and use it for a variety of purposes.

Date : Vendredi 15 décembre 2023 de 16h15 à 17h15 en salle 1Z61

Intervenant : Pierre Mounier-Kuhn, CRM/CNRS, Sorbonne Université

Titre : Histoire de l'informatique : de l'invention de l'ordinateur à l'émergence d'une science

L'invention de l'ordinateur est à la fois un "cas d'école" d'innovation – du laboratoire à l'industrie – et un sujet actuel de controverse autour de la question "Turing est-il le père de l'informatique ?". On montrera que celle-ci s'est plutôt développée à partir de problèmes pratiques, qui ont ensuite inspiré un besoin de théorisation ; celui-ci, combiné à la nécessité de former des informaticiens de plus en plus nombreux, a conduit à l'émergence d'une nouvelle science (les sociologues diraient "à sa construction sociale"). Cela, non sans résistances.

Date : Vendredi 1er décembre 2023 de 16h15 à 17h15 en salle 1Z61

Intervenante : Marie-Paule Cani, LIX, École Polytechnique

Titre : Creative 3D Graphics for Scientists : Can we use expressive modeling and animation to support scientific thinking ?

Visual representations are essential in science, as they facilitate intuition and ease communication. While the 2D sketches used for centuries recently evolved into 3D contents, the latter are generally not responsive: they do not allow scientists to interact with their models, change hypotheses on the fly and experiment their effects. In this talk, we explore the use of smart 3D environments as both illustrative media and visual testbeds in science. We show that a combination of efficient procedural models based on prior knowledge, expressive sculpting or sketching interfaces, and light learning mechanisms, can help to reach this goal. We illustrate this through a variety of examples, from sculpting eroding mountains that express geological knowledge to helping prehistorians explore past ecosystems with flora and animated fauna.

Date : Vendredi 24 novembre 2023 de 16h15 à 17h15 en salle 1Z61

Intervenant : Gilles Dowek, LMF/INRIA, ENS Paris-Saclay

Titre : From the universality of mathematical truth to the interoperability of proof systems

The development of proof systems, such as Coq, HOL Light, Isabelle/HOL, PVS or Lean, is a major step forward in the history of mathematical rigor. But it jeopardizes the universality of the notion of mathematical truth: we previously had proofs of Fermat's little theorem, we now have Coq proofs, HOL Light proofs... of this theorem. This crisis of the universality of the notion of mathematical truth is not the first. We will discuss solutions to past crises and possible solutions to the current crisis.

Date : Vendredi 17 novembre 2023 de 16h15 à 17h15 en salle 1Z61

Intervenante : Maena Quemener (promo 2021), M2 MPRI, ENS Paris-Saclay

Titre : Real roots of combinatorial polynomials

It is common practice to use analytic techniques to study combinatorial objects. For example, this can take the form of analytic combinatorics where complex analysis techniques are used. Another approach is studying polynomials whose coefficients represent a statistic on a family of combinatorial objects : for example, in the Touchard polynomial, the number of blocks of partitions of {1,…,n}. For these polynomials, we often study their real-rootedness. This real-rootedness property actually implies interesting results on the coefficients, as well as some probabilistic interpretation. In this talk, we will go through some techniques and results about real-rooted combinatorial polynomials.

Date : Vendredi 10 novembre 2023 de 16h15 à 17h15 en salle 1Z61

Intervenante : Nathalie Aubrun, LISN/CNRS, Université Paris-Saclay

Titre : How to compute with tilings?

Consider unit squares with colored edges, also called Wang tiles. These Wang tiles can be assembled together only if they share the same color on their common edge. If you are given a finite set of tiles, would you be able to tesselate the whole plane? This question, known as the Domino problem, turns out to be much harder to solve in the general case than you might think! In this talk I will present an overview of some results concerning Wang tilings. And if time permits, we will look at how to generalize questions from the Euclidean plane to other structures, such as finitely generated groups.

Date : Vendredi 6 octobre 2023 de 16h15 à 18h en salle 1Z61

Intervenant : Florent Capelli, Université d’Artois, CRIL

Titre : An introduction to Knowledge Compilation

Date : Vendredi 29 septembre 2023 de 16h15 à 18h en salle 1Z61

Intervenant : Marc Pouzet, DIENS, ENS Paris et INRIA équipe PARKAS

Titre : Langages synchrones, langages hybrides

Date : Vendredi 22 septembre 2023 de 16h15 à 18h en salle 1Z61

Intervenant : Daniela Petrisan, IRIF, université Paris-Cité

Titre : Dualités, structures, langages

Date : Mardi 14 mars 2023 de 9h00 à 10h00 en salle 1Z34

Intervenant : Yvan Le Borgne

Titre : Peut on compter sur une définition de structure de données ?

Dans ce résumé, ne reculant pas devant des généralités abusives, le calcul peut se voir comme l'art de manipuler des quantités et l'algorithmique comme l'art de manipuler de l'information. La combinatoire (énumérative) est une communauté où parfois, au cours d'un calcul, les quantités refusent de se plier à la loi des nombres. Ces quantités deviennent des informations stockées dans des ensembles réguliers de structures de données et cela force à poursuivre par de l'algorithmique. Comme il y a bien trop de généralités et de grands mots dans ce résumé, l'exposé sera une suite d'exemples concrets les mettant en pratique.

Date : Mardi 29 novembre 2022 de 9h00 à 10h00

Intervenants : Gaëtan Douéneau et Aliaume Lopez

Titre : Rejoindre l'administration publique avec un doctorat : comment et pourquoi ?

Les présentations de l'ENS décrivent souvent une formation « par la recherche, pour la recherche », selon la formule consacrée. Ainsi, une grande majorité des normaliens commencent leur parcours professionnel par un doctorat (c'est le cas d'environ 80% des élèves du département informatique).

Néanmoins, seuls 50% des docteurs diplômés en France rejoignent finalement les métiers de la recherche et de l'enseignement publics. Cela contraste avec les débouchés usuellement présentés aux normaliens, centrés sur les postes permanents de maîtres de conférences, chargés de recherche ou professeurs agrégés. Parmi les docteurs, on compte également 30% de débouchés dans le secteur privé ou l'entreprenariat. Notre objectif est de discuter des 20% restants, qui choisissent de rejoindre le secteur public hors du monde académique, autrement dit les administrations publiques.

Les voies d'accès de la fonction publique aux jeunes docteurs sont nombreuses, qu'il s'agisse de recrutements sur concours ou en tant que contractuels (CDD ou CDI), à des postes de managers ou d'experts techniques. L'objectif de ce séminaire est de présenter les postes et les recrutements dans l'administration, ainsi que quelques parcours de normaliens l'ayant rejointe.

Date : Mardi 18 octobre 2022 de 9h00 à 10h0

Intervenante : Anja Petković Komel

Titre : Gender-balance in computer science

Despite growing awareness, women are still seriously underrepresented in STEM (Science, Technology, Engineering, and Mathematics) areas. According to [CfRI21], women are less likely to be employed as scientists and engineers, they are under-represented among Doctoral graduates in the majority of narrow STEM fields and at the highest level of academia (grade A). They also remain underrepresented as the heads of higher education institutions, and as board members and leaders. The percentage of women decreases as we progress within the academic stage, from Bachelor and Master studies, to PhD, Postdoc and Professor level. Research, in particular, requires creative thinking, and diversity is key to boost creativity and productivity.

The common misconception is that women will solve the issue of gender balance themselves, while the truth is we all need to be aware of subconscious biases that occur, and how to address them. Since some micro-inequalities appear already in the early stages of the professional career (in school and Bachelor studies), it is never too early to raise awareness. Within the workshop we will discuss some of the key issues and problems with gender balance in computer science, unpack reasons why women remain underrepresented, and look into strategies to improve gender balance and diversity. We will identify some good practices throughout the academic career that facilitate equal opportunities for women and other minority groups.

About the lecturer: Anja Petkovi ́c Komel is a postdoctoral research fellow at TU Wien in Vienna, Austria. She works in the area of type theory, proof assistants and automated theorem proving. From 2020 to 2022 she served as a country coordinator for Slovenia within European Women in Mathematics associations. She is a gender-balance coordinator of the Euro- ProofNet COST action CA20111 and a member of the European Network For Gender Balance in Informatics (EUGAIN) COST action CA19122.

Date : Mardi 8 mars 2022 de 12h45 à 13h45

Intervenant : Bastien Laboureix (promo 2017)

Titre : Quelques problèmes de géométrie discrète

Résumé des épisodes précédents : ayant déréglé votre clavier, vous êtes allé chez votre réparateur préféré. Celui-ci vous a annoncé que votre nouveau clavier était universel : nulle raison donc de faire une intervention !

Vous rentrez maintenant chez vous, heureux de pouvoir reprendre l'écriture de vos mails avec votre nouveau clavier. Vous vous attelez à la tâche, toujours avec votre tasse de café. Et là, c'est le drame ! Vous renversez par inadvertance le liquide sur votre ordinateur ! Votre clavier n'a rien, il est toujours universel, ouf ! Mais votre écran est très bizarre : il n'affiche plus votre photo préférée, une figure géométrique illustrant le théorème de Pythagore. Au lieu de cela, vous avez devant vous de gros carrés colorés, organisés de manière plus ou moins régulière... Vous retournez donc chez votre réparateur qui vous apprend que tout est normal : l'ordinateur a juste fortement zoomé. Vous découvrez alors que le virtuel n'était qu'une illusion : les images informatiques, a priori continues, n'étaient en réalité qu'une vaste supercherie, une série de petits pixels disposés çà et là pour tromper votre vue !

Pourquoi les informaticiens ont-ils choisi de représenter les objets avec des pixels plutôt que continûment ? Par fourberie ? Par feignantisse ? Par peur du réel ? Un peu les 3. La calculabilité sur les réels est un sujet complexe : peu de nombres sont calculables et le modèle dénombrable des machines de Turing rend difficile l'utilisation de réels. Les informaticiens ont donc préféré les entiers, et font notamment de la géométrie dans Z^n au lieu de R^n. Mais l'impôt du dénombrable se paye ! Plus de division, plus de complétude : adieu les limites, tout n'est qu'arithmétique ! Les chercheurs en géométrie discrète se voient alors confier la lourde tâche de reconstruire toute la géométrie avec Z, et c'est de cette lourde tâche dont nous allons parler.

Date : Mardi 22 février 2022 de 12h45 à 13h45 (online, in English)

Intervenant : Benoît Lize (Google)

Titre : Researching, Finding, Developing and Shipping Memory Management Changes in Chrome

In this talk, we will present some recent work done in Chromium, an open-source web browser used by more than 3 billion clients in the world.

As a mature and complex project (~30 million lines of code, written over >20 years), finding new ways of saving memory is difficult, and realizing the gains for all users is a challenging task. We will present a few examples, from inception of the idea to shipping to billions of users. More specifically, we will focus on Chrome's new memory allocator, and a novel and experimental project to prevent security issues in a mature C++ codebase without rewriting it into a memory-safe language. We will present the entire process, in particular Chrome's data-driven experiments framework, and highlight some of the challenges associated with Chrome's scale and reach.

Date : Mardi 15 février 2022 de 12h45 à 13h45 en salle 1Z61

Intervenant : Fabien Tarissan

Titre : Recommandation algorithmique et diversité de l'information : comment analyser l'impact des algorithmes en ligne ?

Que ce soit des problématiques de classement de l'information (moteurs de recherche) ou celles de la recommandation de contenus (via les réseaux sociaux notamment), les algorithmes sont au cœur des processus de sélection qui rendent visibles les informations en ligne. Ces choix algorithmiques ont de facto un fort impact sur l'activité des utilisateurs et, dès lors, sur leur accès à l'information. Ceci soulève la question de notre capacité à mesurer la qualité de ces choix algorithmes ainsi que leur impact sur les utilisateurs.

Dans cet exposé, je montrerai comment exploiter les structures relationnelles qui sont générées par l'activité des utilisateurs, dans le but de révéler la diversité (ou non) de l'information à laquelle ils accèdent.

Date : Mardi 8 février 2022 de 12h15 à 13h45 en salle 1Z61.

Intervenant : Giuseppe Longo

Titre : De l'informatique comme science à l'usage anti-scientifique de l'informatique comme miroir du monde

Date : Mardi 25 janvier 2022 de 14h00 à 15h00

Intervenante : Anne Bouillard

Titre : Évaluation de performance dans les réseaux de communication critiques

De nos jours, les réseaux de communication ont de fortes contraintes en terme de fiabilité et de délais. C'est aussi le cas pour les réseaux embarqué (avionique). Dans cet exposé, je présenterai un domaine de l'évaluation de performance dont le but est de calculer des bornes supérieures des performances d'un réseau de communication (par exemple les délais de bout en bout de flots de données), le Network Calculus, ainsi que certaines solutions proposées, basées à la fois sur les algèbres (min,plus) et la programmation linéaire. Je montrai également comment ces travaux se sont inscrits dans mon parcours professionnel à la fois en milieu académique et industriel.

Date : Jeudi 16 décembre 2021 à 17h30, salle 1Z53

Intervenante : Délia Qu (étudiante en Master 2 MPRI), (Talk in English)

Titre : Translate & Fill: Improving Zero-Shot Multilingual Semantic Parsing with Synthetic Data

Date : Jeudi 9 décembre 2021 à 17h30, salle 1Z53

Intervenant : Vincent Jugé, MCF LIGM, Université Eiffel

Titre : Sorting presorted arrays Slides (Talk in English)

efficient sorting algorithm. One crucial aspect of Timsort is that it sorts presorted arrays (rare if array entries are elements of a large set chosen uniformly at random, but frequent in practice) in much fewer than the N log(N) operations that might be expected. We will present the algorithm and adequate measures of presortedness, explain why Timsort is so good on presorted data, and how one may still improve upon Timsortand on some of its most naive implementations.

Date : Jeudi 14 octobre 2021 à 17h30, salle 1Z53

Intervenant : Jean-Jacques Lévy

Titre : Vive la recherche en informatique ! Inria: débuts, croissance, renommée. Théorie et Applications. Exemples.

Date : Mercredi 12 mai 2021 de 13h à 14h

Intervenante : Natacha Portier

Avez-vous déjà entendu parler du syndrome de l'imposteur ? Dans cet atelier interactif, nous verrons ce que c'est, d'où ça vient et ce qu'on peut y faire. Vous pourrez participer de manière anonyme dans un navigateur ou avec votre téléphone (j'utilise l'outil wooclap).

Date : Mercredi 14 avril 2021 de 13h à 14h.

Intervenante : Natacha Portier

Titre : La pieuvre qui voulait devenir barmaid

Une barmaid aveugle avec des gants de boxe veut vous servir l'apéro, à vous et à vos 3 amis. Mais les verres ne sont pas tous à l'endroit, et vous lui faites des blagues en tournant le plateau où ils se trouvent ! Comment peut-elle faire ? Et si c'est une pieuvre qui veut servir, et que vous avez plus d'amis ? Comment faire ? Dans cet exposé interactif nous parlerons d'automates, d'algorithmes, de bornes supérieures et inférieures, et de récursivité.

Si vous le pouvez, venez avec de quoi tester l'algorithme en direct. L'exposé sera interactif ! Version simple : une feuille de papier A4 et 6 verres en plastique Version de luxe : plateau rond ou grande assiette plate et quatre (ou même six) verres assez stables

Date : Mercredi 31 mars et 6 avril 2021 de 12h30 à 14h

Intervenant : Pierre Mounier-Kuhn

Titre : Une science encore en construction : l'émergence de l'informatique comme discipline.

On examinera les processus à l'œuvre, depuis le milieu du XXe siècle, qui ont mené d'une innovation technique à la constitution de l'informatique comme discipline académique. Ce sera l'occasion de revisiter certains mythes fondateurs qui s'attachent à cette histoire. Dans une approche comparative, on présentera une approche géo-historique du développement des pôles universitaires informatiques, dont Orsay.

Date : Wednesday 3rd February, 2021

Intervenant : David Baelde , LMF

Titre : Modelling and verifying unlinkability (Talk in English)

In this talk I will give an overview of how formal methods can be used to automatically analyze and prove cryptographic protocols. I will focus in particular on the notion of unlinkability (sometimes called untracability) illustrating the difficulties in modelling it formally and verifying it automatically. This is based on joint work with Stéphanie Delaune, Lucca Hirschi and Solène Moreau.

Date : Mercredi 17 février 2021 de 13h à 14h.

Intervenant : Hugo Delavenne (promotion 2019)

Titre : Pimp my tikz (Talk in English)

Tired of using sentences? You want to be able to draw beautiful graphs and drawings? Mastering tikz must be what you need! It is an extremely powerful and customizable drawing tool for LaTeX. Its power may be a weakness when drawing simple things, but a lot of syntax exist to simplify the code of a drawing. It is however hard to find these syntaxes, but it is the objective of this seminar: presenting all the simple syntaxes, the main customization options, an overview of the power of Tikz, and some tips to use Tikz to create your own beautiful LaTeX template using it.

Date : Mercredi 10 février 2021 de 13h à 14h.

Intervenants : Yoan Geran, Bastien Laboureix, Corto Mascle, Valentin Richard (promotion 2017)

Titre : Les claviers intempérés. Un verre d'eau est tombé sur votre clavier : que faire ?

Vous êtes sur le point de terminer votre projet prog, en dégustant une tasse de café pour tenir la nuit et, tout d’un coup, c’est le drame ! La tasse vous échappe des mains et inonde votre clavier d’ordinateur. Vous voici désormais avec un clavier déréglé. Vous écrivez « cd », l’ordinateur écrit « lsv ». Deux solutions s’offrent maintenant à vous : faire réparer votre clavier ou vous détacher des considérations matérialistes de ce monde pour étudier ce nouvel objet que les dieux des mathématiques ont placé entre vos mains. De simples touches défectueuses à une hiérarchie de classes de langages, plongez avec nous dans le monde fascinant d’un nouveau modèle de calcul : les claviers.

Date : Mercredi 27 janvier 2021 de 13h à 14h

Intervenant : Victor Poupet , (Talk in English)

Titre : Twelve (or so) Proofs of a Result About Tiling a Rectangle

We will present several proofs of the following simple 2D plane tiling result: "If a rectangle can be tiled with rectangles that each have at least one integer side, then the tiled triangle also has at least one integer side." All proofs are essentially independent from each other and illustrate a wide variety of tools and techniques (induction, graphs, polynomials, integration, etc.). We will also discuss how some of these proofs generalize to variations of the original result.

Date : Vendredi 11 décembre 2020 de 13h à 14h.

Intervenant : Sylvie Boldo , INRIA et LMF

Titre : Pourquoi mon ordinateur calcule faux ?

Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste.

Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une arithmétique dite flottante qui a ses contraintes. D'une part chaque calcul est effectué avec un certain nombre de chiffres (souvent environ 15 chiffres décimaux) et donc chaque calcul peut créer une erreur, certes faible, mais qui peut s'accumuler avec les précédentes pour fournir un résultat complètement faux. D'autre part, les valeurs que l'ordinateur appréhende ont des limites vers l'infiniment petit et l'infiniment grand. Hors de ces bornes, l'ordinateur produit des valeurs spéciales souvent inattendues. Cet exposé montrera que l'ordinateur n'est pas infaillible ou plutôt que son utilisation est parfois abusive.

Date : Vendredi 4 décembre 2020 de 13h à 14h.

Intervenant : Antonin Callard (promotion 2018)

Titre : À propos de l'indécidabilité du problème du domino

Parmi les problèmes de pavage du plan, un se distingue par ses applications en calculabilité : le problème du domino. Il consiste à décider, étant donné un ensemble de pièces de puzzle, si elles permettent de paver le plan. Ce problème a été démontré indécidable en 1966, et pourtant il est toujours étudié aujourd'hui dans le domaine de la dynamique symbolique (l'étude des systèmes dynamiques discrets). Ce domaine se place à la frontière entre les mathématiques et l'informatique, entre la topologie et l'algèbre discrète. Dans cette présentation seront introduits les fondamentaux de la dynamique symbolique et ses espaces de prédilection, appelés les sous-shifts. Cet exposé sera également l'occasion de voir comment l'étude des sous-shifts et la calculabilité peuvent mener à une preuve d'indécidabilité du problème du domino, et permettent de mieux saisir la subtilité de ce problème devenu un classique des mathématiques discrètes.

Date : Vendredi 27 novembre 2020 de 13h à 14h.

Intervenant : Renaud Vilmart , INRIA et LMF

Titre : Un langage graphique pour l'informatique quantique

L'informatique quantique est un sujet de recherche brûlant, en particulier car un ordinateur quantique permet de résoudre certains problèmes bien plus efficacement qu'un ordinateur classique, rendant ainsi certains protocoles de sécurité, utilisés de nos jours, obsolètes. Comprendre ce qu'il se passe sous le "capot" d'un tel ordinateur est une tâche ardue pour nos esprits "classiques", mais des approches graphiques peuvent être mises à profit pour visualiser et raisonner sur des processus quantiques. Dans cet exposé, nous créerons dans ce but un langage graphique, appelé ZX-Calcul, à partir de structures mathématiques simples; et nous nous attarderons sur certaines propriétés importantes dont il dispose.

Date : Vendredi 20 novembre 2020 de 13h à 14h.

Intervenante : Chantal Keller , Université Paris-Saclay et LMF

Titre : Autour de la Loi de Programmation de la Recherche

Ce séminaire prendra la forme d'une discussion autour du métier d'enseignant-chercheur et de chercheur en France, et de la (très controversée) Loi de Programmation de la Recherche, en cours de vote final à l'Assemblée Nationale et au Sénat.