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

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

Intervenant : Yoan Geran, 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 3 mai 2024 de 16h30 à 17h30 en salle 1Z61

Intervenant : Olivier Serre, CNRS / IRIF

Titre : TBA

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

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

Titre : TBA

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

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’Etat 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'analysis statique multi-langages Infer

Histoire et architecture de la plateforme d'analysis 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.

CANCELED

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

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

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

Intervenant : Vincent Jugé, (Talk in English)

Titre : Sorting presorted arrays Slides

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