Des séminaires sont organisés pendant l'année pour (et parfois par) les élèves du département informatique.
Pour l'année universitaire 2024-2025, ils auront lieu les vendredi après-midi de 16h15 à 17h15 (parfois 18h) dans la salle 1Z61.
Prochaines séances
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 11 octobre 2024 de 16h15 à 17h15
Intervenant : Bastien Laboureix, DER Maths, ENS Paris-Saclay
Titre : TBA
Date : Vendredi 18 octobre 2024 de 16h15 à 17h15
Intervenante : Sylvie Putot, LIX, École Polytechnique
Titre : TBA
Date : Vendredi 8 novembre 2024 l'après-midi
Intervenant.es : Plusieurs
Titre : TBA
Date : Vendredi 15 novembre 2024 de 16h15 à 17h45
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 22 novembre 2024 de 16h15 à 17h15
Intervenant : Assalé Adjé, , Université de Perpignan
Titre : TBA
Date : Vendredi 29 novembre 2024 de 16h15 à 17h15
Intervenant : Pierre Depaz, NYU Berlin, Sciences Po
Titre : TBA
Date : Vendredi 6 décembre 2024 de 16h15 à 17h15
Intervenant : Frédéric Magniez, IRIF, CNRS
Titre : TBA
Séances passées
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.
Année 2021-2022
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
Abstract: While multilingual pretrained language models (LMs) fine-tuned on a single language have shown substantial cross-lingual task transfer capabilities, there is still a wide performance gap in semantic parsing tasks when target language supervision is available. In this talk, we propose a novel Translate-and-Fill (TaF) method to produce silver training data for a multilingual semantic parser. This method simplifies the popular Translate-Align-Project (TAP) pipeline and consists of a sequence-to-sequence filler model that constructs a full parse conditioned on an utterance and a view of the same parse. Our filler is trained on English data only but can accurately complete instances in other languages (i.e., translations of the English training utterances), in a zero-shot fashion. Experimental results on three multilingual semantic parsing datasets show that data augmentation with TaF reaches accuracies competitive with similar systems which rely on traditional alignment techniques. This is joint work with Massimo Nicosia and Yasemin Altun.
Date : Jeudi 9 décembre 2021 à 17h30, salle 1Z53
Intervenant : Vincent Jugé, MCF LIGM, Université Eiffel
Titre : Sorting presorted arrays Slides (Talk in English)
Abstract: Twenty years ago was invented Timsort, a surprisingly
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.
Année 2020-2021
Date : Mercredi 12 mai 2021 de 13h à 14h
Intervenante : Natacha Portier
Atelier sur le syndrome de l'imposteur
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.