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

Des séminaires sont organisés régulièrement pendant l'année pour (et parfois par) les élèves du département informatique.

Prochaines séances

Date : Mardi 18 octobre 2022 de 9h00 à 9h55

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.

Séances passées

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.