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

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 2023-2024, ils auront lieu les vendredi après-midi de 16h15 à 18h dans la salle 1Z61.

Prochaines séances

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 8 décembre 2023 de 16h15 à 17h15 en salle 1Z61

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

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 : TBA

Séances passées

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, M2 info, 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 (promotion 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é, (Talk in English)

Titre : Sorting presorted arrays Slides

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

Intervenant : David Baelde , (Talk in English)

Titre : Modelling and verifying unlinkability

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 de 13h à 14h.

Intervenant : Hugo Delavenne (promotion 2019) (Talk in English)

Titre : Pimp my tikz

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 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 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écembrede 13h à 14h.

Intervenant : Sylvie Boldo

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 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 de 13h à 14h.

Intervenant : Renaud Vilmart

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 de 13h à 14h.

Intervenante : Chantal Keller

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.