巴黎圣母院

日期：Vendredi 3 mai 2024 de 16h30á17h30 en salle 1Z61公司

干预剂： 奥利维尔·塞雷，加拿大国家铁路公司/IRIF

职务： CNRS科学信息库

Dans cet exposéje présenterai le functionnement de l’ecosystème de l’ensignement et de la recherche，avec comme tropisme celui du CNRS et de l’institut don je suis aujourd’hui l'un des directeurs adjuints scientifique。Ce sera l’ocation de présenter la diverité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）。

日期：Vendredi 2024年9月27日16时15分17时15分

干预措施： 塞西尔·皮尔罗INRIA/LORIA等卡米尔·戴森克洛斯皮卡迪大学，UFR d'Historie et de Géographie

职务： 待定

日期：Vendredi 26 avril 2024 de 16h30÷17h30 en salle 1Z61公司

干预剂： 尤恩·杰伦、CRI和LMF

职务： 组建canonique dans l'algèbre imax-successeur

《替代品类型的理论》（Les the ories des types sont des alternatives，la the theorie des ensemples pour Les fundements des matiques，et sont la base de systèmes de preuves comme Coq）。吊坠、悖论、俄罗斯艺术委员会（comme celui de Russel en the theorie des ensemblies）天真、朴实、引人注目。解决这一问题的方法是类型。Chaque类型是指特定的niveau，les niveauxétant指数。函数imax：N->N->Néfinie par imax（N，0）=0 et imax（m，+1）=max（N，m+1）est utilie e pour cette hiérarchisation，'onotre intérít pour l’etude de l’algébre imax successeur。更特别的是，这是一个非常实用的方法。努斯提出了一个新的标准，即在简单的比较过程中进行比较。

日期：Vendredi 5 avril 2024 de 16h30÷17h30 en salle 1Z61公司

干预措施：梅拉尼·盖奈斯（Mélanie Guenais）、拉莫斯（LMO）、巴黎大学（UniversityéParis-Saclay）

职务： 《社会的救世主：参与与行动》。

J'expliquerai评论l’implication dans l’actualitépolitique’une commonautéassociation scientifique关于数学与科学集合的信息。Je décrirai quels sont ses buts，son organization et les actions qu’il port.（杰德克里拉伊将儿子、儿子组织和行动视为一种行动。）。在过去，我向女性提出了科学领域的问题et+généralement quels sont les axes de réflexions autour de la faible diversityédans les parcours scientifiques，notement les plus prestigieux。

Je prévois un exposéassez court（30分钟）向公众开放临时性变革。

日期：Vendredi 29 mars avril 2024 de 16h30至17h30 en salle 1Z61

干预措施： 玛丽·杜弗洛特·克莱默洛里亚州洛林大学

职务： 信息合作伙伴

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》（缓存，RAM）与CE1的desélèves de CE1，与M2ádes le lleves de premire的votre cours？Vous ne voyez pas le rapport entre du colorage et de la cryptographie，ou des aiguillesátricoter et des bases de donnees？（《Vous ne voyez通过色彩和密码中心》，《三人行》和《多内斯基地》？）？Alors ce séminaire est fait pour vous公司。Venez découvrir，不是参与者，评论了信息合作伙伴。

日期：Vendredi 22 mars avril 2024 de 16h30至17h30 en salle 1Z61

干预措施： 马诺·布朗，LIX，埃科尔理工学院

职务： 简历上的计算与复合

习惯，计算中心的数量，信息提供者和信息提供者发送到图灵机器。特别是机器qui，par leur dédefinition classique，manipulent des mots ou des entiers。Cepense，de nombreux domaines des sciences appliquees nécessitent la manipulation de nombres réels，en temps et espace limités公司。复数多项式类的概念简洁明了。图灵机器无通行证。

日期：Vendredi 2024年5月15日16时30分17时50分售出1Z61

多多干预，总共80分钟。

干预剂1：加丹·杜埃诺，DGA

标题1： ENS和博士：une formation par la recherche，pour l’administration publique

Ancienélève duépartitement informatique（2015-2019），j'ai réaliséune thèse en théorie des automates（再加上des détails ici sur mes activite s de recherche），以及联合国大军团技术研究所（the grand corps technology de l'Etat pour aliser une carriére dans l'administration publique）。《国防部长公报》（Je suis actuellement en post au Ministère des Armées）。

在蒙帕库斯的基础上，j’essayerai de répondre提出了一些起诉人的问题：公共职能、任命和重新任命？Que font les gens dans les ministères？Pourquoi est-ce un débouchéassez naturel pour un normalen-docteur？最重要的是，在（高级）行动的过程中，是否形成了一个研究小组？对公共管理的评论？

Certaines分析seront basées sur un relaport présentéau cabinet de la ministre de la function publique en 2021，et disponsibleici公司.

干预剂2：弗朗索瓦·博博特，CEA

标题2： 进入产业再就业和反就业！？

Ancienélève de l'ENS，je décrirais mon parcours et les choix quin’nt amenée e e e a travailer en tant qu'ingénieur-cheur au CEA。由于CEA浆液快速反应的特殊性，在DTNUs avec Safran的道路上穿越了一个“示例”。

具有不确定性的虚拟时间网络（DTNU）是一种描述具有不确定性的时间问题。这些问题的特点是行动可控以及无法控制的事件。它允许限制事件或动作的发生时间、这种约束的分离。解决DTNU包括生成调度可控操作的策略对无法控制的事件做出反应。演示文稿提出了一个新的从SMT求解进化中受益的技术，也称MCSAT求解器。战略的生成遵循经典的子战略深度优先搜索，然而，它在两个方面加快了搜索速度。首先学习新的约束当分支不能完成为工作时使用过近似战略。这些约束用于削减剩余搜索空间的一部分。其次，为完成的子策略推断适用性约束以便在同级分支中重用它们。拟议的演示将很快介绍DTNU框架从公式学习约束的基本知识和可满足或不可满足模型将被解释。最后将描述新算法的思想。

日期：Vendredi 1er mars 2024 de 16h30至17h30 en salle 1Z61

干预剂： 皮埃尔·塞内拉特ENS巴黎/PSL

职务： 数据库中的起源、概率和幂指数

我们解释了数据库中起源的基本概念是如何在概率数据库的查询评估期间捕获（以代数方式）计算的。起源的一种简单形式是布尔起源，其中输出和输入数据之间的依赖关系表示为布尔函数。我们将介绍布尔出处的两个应用，即在概率数据库上计算概率结果，以及使用Shapley值等幂指数计算输入数据相对于查询结果的有用性。我们讨论了有效计算和表征查询和数据的核心问题，对于这些查询和数据，我们可以方便地计算出特定形式的起源表示、概率和幂指数。

日期：Vendredi 2 février 2024 de 16h30á17h30 en salle 1B26餐厅

干预剂： 大卫·皮哈迪，ENS Rennes/Meta

职务： 统计多语言推断分析平台的历史与架构

多语言推理分析平台的历史和架构综述：推断出一个平台形式，用于分析静态开放源码开发检查Meta depuis 10和déjá。Elle tire sa source dans les travaux fondamentaux de preuve de program par logique de séparation，ainsi que sur la theéorie de l’interprétation abstraite的Elle tile sa来源。丹麦的cet exposé，je vous raconterai l’historie de cette platforme et je vou décrirai leséléments clés de son architecture。Je présenterai aussi le parcours professionnel qui m’a menéa travailler sur cet outil depuis un peu plus de 2 ans maintenant。

日期：Vendredi 26 janvier 2024 de 16h30至17h30 en salle 1Z61

干预剂： 罗贝多·迪·科斯莫巴黎城市大学IRIF

隔膜

职务： 保障（开源）软件供应链：挑战与机遇

软件安全是一个广泛而成熟的领域，有许多研究专注于传统检测目标的项目和工业产品，并可能修复特定软件代码库中存在的漏洞。开源带来了一个新的维度：大量软件组件，跨在世界范围内，它极大地加快了创新，但也提出了关键挑战关于今天所谓的“软件”的质量、发展和安全现代软件系统的“供应链”，其中许多组件来自不同的起源被放在一起。

我们如何在数以百万计的软件项目中搜索漏洞？怎么我们能追踪他们的传播吗？如何确保今天使用的关键模块在将来需要时仍然存在？我们是不是真正了解我们正在使用的源代码以及它的来源（know您的软件原理）？如果我们不知道，我们如何应对网络安全？怎么我们在整个软件供应链中共享这些信息吗？

回答这些问题并大规模回答它们是一个相当大的挑战。

在本演示中，您将了解Software Heritage，一个开放的非盈利组织倡议，与联合国教科文组织合作，并得到主要IT参与者的支持，以及它正在建设的革命性基础设施如何提供巨大的机遇改变我们解决这些问题的方式。

拥有超过2.7亿个独立源文件，超过170亿个存储库，它是有史以来最大的源代码存档，并且您已经可以访问它并将其用于各种目的。

日期：Vendredi 15 décembre 2023 de 16h15á17h15 en salle 1Z61酒店

干预剂： 皮埃尔·穆尼尔-库恩，索邦大学CRM/CNRS

职务： 信息时代的历史：统一科学的融合

“普通的邀请”是指“创新”——实验室和工业——以及“图灵est-il le père de L’informatique？”。在蒙特雷拉·凯尔（Montrea que celle-ci）的《最具潜力的普拉提广场》（est plutót développeée e a partir de problèmes pratiques）上，圣母院（quint sunsite inspiréun besoin de theorisation）；celui-ci、combinéla nécessitéde former des informaticiens de plus en plus nombreux、一条新科学（les socialogues diraient“a-sa construction sociale”）融合的管道。Cela，非无抵抗。

取消

日期：Vendredi 8 décembre 2023 de 16h15á17h15 en salle 1Z61酒店

干预剂： 罗贝多·迪·科斯莫巴黎城市大学IRIF

职务： 保障（开源）软件供应链：挑战与机遇

软件安全是一个广泛而成熟的领域，有许多研究专注于传统检测目标的项目和工业产品，并可能修复特定软件代码库中存在的漏洞。开源带来了一个新的维度：大量软件组件，跨在世界范围内，它极大地加快了创新，但也提出了关键挑战关于今天所谓的“软件”的质量、发展和安全现代软件系统的“供应链”，其中许多组件来自不同的起源被放在一起。

我们如何在数以百万计的软件项目中搜索漏洞？怎么我们能追踪他们的传播吗？如何确保今天使用的关键模块在将来需要时仍然存在？我们是不是真正了解我们正在使用的源代码以及它的来源（know您的软件原理）？如果我们不知道，我们如何应对网络安全？怎么我们在整个软件供应链中共享这些信息吗？

回答这些问题并大规模回答是一个相当大的挑战。

在本演示中，您将了解Software Heritage，一个开放的非盈利组织倡议，与联合国教科文组织合作，并得到主要IT参与者的支持，以及它正在建设的革命性基础设施如何提供巨大的机遇改变我们解决这些问题的方式。

拥有来自2.7亿多中的170多亿个唯一源文件存储库，它是有史以来最大的源代码存档，并且您已经可以出于各种目的访问和使用它。

日期：Vendredi 1er décembre 2023 de 16h15á17h15 en salle 1Z61公司

干预措施： 玛丽·保尔·卡尼，LIX，埃科尔理工学院

职务： 面向科学家的创意3D图形：我们可以使用富有表现力的建模和动画来支持科学思维吗？

视觉表现在科学中至关重要，因为它们有助于直觉和轻松沟通。虽然数百年来使用的2D草图最近演变成了3D内容，但后者通常没有反应：它们不允许科学家与模型交互、动态改变假设并试验其效果。在本次讲座中，我们探讨了智能3D环境在科学中作为演示媒体和视觉试验台的使用。我们表明，基于先验知识的高效程序模型、富有表现力的雕刻或草图界面以及轻型学习机制的组合可以帮助实现这一目标。我们通过各种各样的例子来说明这一点，从雕刻侵蚀的山脉来表达地质知识，到帮助史前学者探索过去的植物群和动物群生态系统。

日期：Vendredi 2023年11月24日16时15分17时15分售出1Z61

干预剂： 吉尔斯·道克、LMF/INRIA、ENS Paris-Saclay

职务： 从数学真理的普遍性到证明系统的互操作性

证明系统的发展，如Coq、HOL-Light、Isabelle/HOL、PVS或Lean，是数学严谨史上的一个重大进步。但它破坏了数学真理概念的普遍性：我们以前有费马小定理的证明，现在有考克证明，HOL光证明。。。这个定理。这种数学真理概念普遍性的危机并不是第一次。我们将讨论过去危机的解决方案和当前危机的可能解决方案。

日期：Vendredi 2023年11月17日16时15分17时15分售出1Z61

干预措施：梅娜·奎梅纳（Maena Quemener），M2 info，ENS Paris-Saclay

职务： 组合多项式的实根

通常使用分析技术来研究组合对象。例如，这可以采用分析组合学的形式，其中使用了复杂的分析技术。另一种方法是研究其系数表示组合对象族统计信息的多项式：例如，在Touchard多项式中，{1，…，n}的分区块数。对于这些多项式，我们经常研究它们的实际根性。这种真正的根属性实际上意味着对系数的有趣结果，以及一些概率解释。在本次讲座中，我们将介绍一些关于实根组合多项式的技术和结果。

日期：Vendredi 2023年11月10日16时15分17时15分售出1Z61

干预措施： 纳塔莉·奥布伦巴黎大学萨克雷分校LISN/CNRS

职务： 如何使用平铺进行计算？

考虑带彩色边的单位正方形，也称为Wang tiles。这些王牌瓷砖只有在共同边缘上具有相同的颜色时才能组装在一起。如果给你一组有限的瓷砖，你能细分整个平面吗？这个被称为Domino问题的问题在一般情况下比您想象的要难解决得多！在这次演讲中，我将概述有关Wang tilings的一些结果。如果时间允许，我们将研究如何将问题从欧几里德平面推广到其他结构，例如有限生成群。

日期：Vendredi 2023年10月6日16时15分18分售出1Z61

干预剂： 弗洛伦特·卡佩利CRIL阿尔托瓦大学

职务： 知识编译导论

日期：Vendredi 2023年9月29日16时15分18分售出1Z61

干预剂： 马克·普泽特，DIENS，ENS巴黎和INRIAéquipe PARKAS

职务： 语言同步，语言混合

日期：Vendredi 2023年9月22日16时15分18分售出1Z61

干预剂： 丹妮拉·佩特里桑、IRIF、巴黎大学Cité

职务： 对偶、结构、语言

日期：Mardi 14 mars 2023年9月14日上午10点开始销售1Z34

干预剂： 伊万·勒博涅

标题： 关于多内斯结构的计算机定义？

Dans ce résumé，ne rechlant pas devant des généralite s crimites，le calculate peut se voir comme l’art de manipuler des quantités et l’algorithmique comme l‘art de manipuler de l’information。组合（数量）是指共同财产，计算过程中，数量是指被拒绝的财产。信息存储和集成的数量是数据结构和计算力的集合。《商业评论》（Comme il y a bien trop de généralite s et de grands mots dans ce résumé，l'exposésera une suite d’examples concrets les mettan en pratique）。

日期：Mardi 2022年11月29日9时至10时

干预剂： 加丹·杜埃诺et（等）阿利奥梅·洛佩兹

职务： Rejoindre l’administration publique avec un doctorat:评论et pourquoi？

“ENS犯罪组织”“par la recherche，pour la recerche”“selon la formule consarcée e”。Ainsi，une grand majoritédes normalens communicent leur parcours professionnel par un doctorat（环境问题80%desélèves du départitement informatique）。

内阿蒙德，50%的法国医生重新加入了最后一幕，即公众参与。塞拉对比了埃维塞莱斯·德布歇大学的高利贷政策，南路中央邮政局的长期财政管理局，教授协会主席。Parmi les docteurs，关于竞争30%的商业机密。诺特反对讨论20%的餐馆，要求选择不受欢迎的部门，公共部门，公共管理部门。

《公共职能会计准则》（Les voies d’accès de la function publique aux jeunes docteurs sont nombreus）、《根据合同进行招聘的准则》（qu’il’agisse de recruptements sur concorous ou ent-que contractuels，CDD ou CDI）、《管理人员和专家的岗位技术》。我们的目标是在行政管理部门进行招募，并在正常情况下举行集会。

日期：2022年10月18日9时至10时Mardi

干预措施： 安贾·佩特科维奇·科梅尔

职务： 计算机科学中的性别平衡

尽管认识不断提高，但女性在STEM（科学、技术、工程和数学）领域的代表性仍然严重不足。根据[CfRI21]，女性不太可能被聘为科学家和工程师，她们在大多数狭窄的STEM领域和最高学术水平（A级）的博士毕业生中的表现不足。他们作为高等教育机构负责人、董事会成员和领导人的代表性仍然不足。女性的比例随着我们在学术阶段的进步而下降，从学士和硕士研究到博士、博士后和教授级别。研究尤其需要创造性思维，多样性是关键提高创造力和生产力。

常见的误解是，女性会自己解决性别平衡问题，而事实是，我们都需要意识到潜意识中出现的偏见，以及如何解决这些偏见。由于一些微观不平等现象已经出现在职业生涯的早期阶段（在学校和学士学位学习中），提高认识永远都不嫌早。在研讨会中，我们将讨论计算机科学中有关性别平衡的一些关键问题，揭示女性代表性不足的原因，并探讨改善性别平衡和多样性的策略。我们将在整个学术生涯中找出一些有利于妇女和其他少数群体机会平等的良好做法。

关于讲师：Anja Petkoviác Komel是奥地利维也纳TU Wien的博士后研究员。她在类型论、证明助理和自动定理证明领域工作。2020年至2022年，她担任斯洛文尼亚在欧洲的国家协调员数学协会中的女性。她是欧洲性别平衡协调员-证明净成本行动CA20111和欧洲性别网络成员信息平衡（EUGAIN）成本行动CA19122。

日期：Mardi 8 mars 2022年12月45日至13月45日

干预剂： 巴斯蒂恩·拉布雷克斯（2017年推广）

职务： 盖奥梅特里·迪斯克问题

《复仇录》（Résumédesépisodes précédents）：阿亚特·德·雷格利·沃特雷（ayant déRégl votre）键盘手，所有人都可以成为复仇录助理。Celui-ci为我们带来了一个全新的世界之声：零葡萄干和公平干预！

Vous rentrez主租户chez Vous，heureux de pouvoir reprendre l’écriture de vos mails avec votre nouveau clayer。Vous Vous attelezála táche，toujours avec votre tasse de café。等一下，就这样吧！Vous renversez par invertance le liquide sur votre orderur！我们的目标是：！投票给键盘手n'a rien，世界杯，噢！Mais votreécran est très离奇：iln’office+votre photo préférée 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，organize s de manière加上ou moins régulière。。。Vous returnez donc chez votre réparateur qui Vous append que tout est normal：l’ordinateur a just fortement zoomé。Vous découvrez alors que le virtual n’était qu‘une幻觉：图像信息，先验继续，n’étaient en réalitéqu‘une vast superherie，une série de petits pixels disposeésçàand làpour tromper votre vue！

Pourquoi les informaticiens ont-ils choisi de représenter les objets avec des pixels plutót que continument？标准fourberie？Par feignantisse？巴黎？Un peu les 3号机组。可计算的资源是sujet复合物：可计算资源和可计算资源的模型和机器的使用困难。Les informaticiens ont donc préféréLes entiers，et font notement de la géométrie dans Z^n au lie de r^n（信息提供者和信息提供者）。不值得称赞的地方！再加上除法，再加上复数：再见了，极限，这是一个算术！Les chercheurs en géométrie discrète se voient alors confer la lourde t–che de reconstruire toute la géome trie avec Z，et c’est de cette lourde ta–che don nous allons paraler。

日期：Mardi 22 février 2022 de 12h45á13h45（在线，英语）

干预剂： Benoît丽泽（谷歌）

职务： 研究、发现、开发和发布Chrome中的内存管理更改

在本次演讲中，我们将介绍Chromium的一些最新工作，Chromiun是一款开源网络浏览器，全球有30多亿客户使用它。

作为一个成熟而复杂的项目（约3000万行代码，编写时间超过20年），寻找新的节省内存的方法非常困难，实现所有用户的收益是一项具有挑战性的任务。我们将举几个例子，从最初的想法到交付给数十亿用户。更具体地说，我们将关注Chrome的新内存分配器，以及一个新颖的实验性项目，以防止在成熟的C++代码库中出现安全问题，而无需将其重写为内存安全语言。我们将介绍整个过程，特别是Chrome的数据驱动实验框架，并强调与Chrome规模和范围相关的一些挑战。

日期：Mardi 15 février 2022 de 12h45á13h45 en salle 1Z61（马尔迪15费维尔2022年12时45分）

干预剂： 法比安·塔利桑

职务： 信息的纠正算法与改道：评论分析人员对算法的影响？

信息分类问题查询de recherche）ou celles de la recommendation de contenus（通过les）réseaux sociaux注释），les算法sont au cœur des processus选择需要呈现可见的在线信息。塞斯·乔伊事实上非堡垒撞击事件的算法usiliateurs et，dès lors，sur leur accèsál'信息。塞西·苏莱夫圣母院容量测量师问题算法ainsi que leur impact sur les utiliateurs。

在这次曝光中，我评论了结构的利用者关系内尔斯·奎森特·盖内尔（Nelles quisont générées par l’activitédes utiliateurs），丹麦勒布德雷维勒·拉多维特（ou-non）是拉奎勒·伊尔斯的信息符合要求。

日期：Mardi 8 février 2022 de 12h15á13h45 en salle 1Z61。

干预剂： 朱塞佩·隆戈

职务： 世界科学信息的反科学使用

日期：Mardi 25 janvier 2022 de 14:00至15:00

干预措施： 安妮·布伊拉德

标题： 《沟通评论》中的绩效评估

在今天，《沟通与优势的规则》（les re seaux De communication ont De fortes）在规定期限内禁止使用。航空禁运（avionique）。Dans cet exposé，je présenterai un domaine de l’éevaluation de performance don le but est de calculer des bornes supérieures des performance d'réseau de communication（例如，les-delais de bouts de donées），le Network Calculus，aines solutions proposes，baséesála fois sur les algèbres（最小值，加号）et la编程linéaire。Je montraiégalement comment ces travaux se sont题词为dans mon parcours professionnelála fois en milieu acadeémique et industriel。

日期：Jeudi 16 décembre 2021年17时30分，销售额1Z53

干预措施： 德利亚区（e tudiante en Master 2 MPRI），（用英语交谈）

职务： 翻译和填充：用合成数据改进零炮多语言语义分析

日期：Jeudi 9 décembre 2021年17时30分，销售额1Z53

干预剂： 文森特·朱格，（用英语交谈）

职务： 对预排序数组进行排序 幻灯片

高效的排序算法。Timsort的一个关键方面是对预先排序的数组进行排序（如果数组条目是随机统一选择集合，但在实践中经常出现）少于预期的N个日志（N）操作。我们将给出了预分类的算法和适当的度量，并对其进行了解释为什么Timsort在预分类数据方面如此出色，以及人们如何仍然能够改进了Timsortand的一些最原始的实现。

日期：2021年10月14日17时30分，销售1Z53

干预方： 珍妮·雅克·莱维

职务： 信息万岁！Inria:débuts，羊角面包，雷诺。Théorie et Applications公司。示例。

日期：Mercredi 12 maide 13小时~14小时

干预措施： 娜塔莎·波特

无力综合征？Dans cet工作室互动，nous verrons ce que c’est，d'oósa vient et ce qu'on peut y faire。Vous pourrez参与者de manière anonyme dans un navigatur ou avec votre télél ele phone（j’uslie l’outil wooclap）。

日期：Mercredi 14 avril de 13há14h。

干预措施： 娜塔莎·波特

职务： La pieuvre qui voulait devenir酒吧女招待

酒吧女招待aveugle avec des gants de boxe veut vous servir l'apéro，a vous etávos 3 amis。我要向你致敬，让我向你致意，让我为高原上的流星雨致敬！有什么意见吗？Et si c’est une pieuvre quiveut server，Et que vous avez plus d’amis？你是不是想让皮埃维尔成为一名服务生？评论公平？丹麦cet exposéinteractive if nous parlerons d’automates，d’algorithmes，de bornes supérieures et inférieure，et de récursivité。

Si vous le pouvez，venez avec de quoi tester l’a algorithme en direct.（维内兹·埃维克·德奎伊测试仪，《算法指南》）。L'exposésera相互作用！版本简单：une feuille de papier A4 et 6 verres en plastique豪华版：高原、欧格兰德、阿塞特板和四分之一（欧米梅六分之一）维尔雷斯、阿塞兹马厩

日期：水星31日和6日12时30分至14时

干预剂： 皮埃尔·穆尼尔-库恩

职务： 联合国科学促进建设：信息科学与公共学科的融合。

在审查过程中，在二十世纪的环境中，人们需要创新技术来构建信息通信学科。《重访者的故事》确定了抚摸者的神话是对历史的继承。Dans une approche compative，on preésentera une approproche géo historical duédevelopment des póles universities informatiques，don Orsay（不奥赛）。

日期：2月3日星期三

干预剂： 大卫·巴尔德，（用英语交谈）

职务： 建模和验证不可链接性

在本次演讲中，我将概述如何使用形式化方法来自动分析和证明密码协议。我将特别关注不可链接性（有时称为不可追溯性）的概念，说明对其进行形式化建模和自动验证的困难。这是基于与Stéphanie Delaune、Lucca Hirschi和Solène Moreau的联合工作。

日期：Mercredi 17 février de 13há14h。

干预剂： 雨果·德拉文恩（2019年推广）（用英语交谈）

职务： 嘲笑我的tikz

厌倦了使用句子吗？你想画出漂亮的图形和图纸？掌握tikz一定是你所需要的！这是一个极端LaTeX强大且可定制的绘图工具。它的力量可能是绘制简单事物时的弱点，但存在很多语法简化图形的代码。但是很难找到这些语法，但这是本次研讨会的目标：展示所有简单语法、主要自定义选项、Tikz的力量，以及使用Tikz创造自己美丽的一些技巧使用它的LaTeX模板。

日期：Mercredi 10 février de 13há14h。

干预剂： Yoan Geran、Bastien Laboureix、Corto Mascle、Valentin Richard（2017年促销）

职务： 健美的击剑手。Un verre d’eau est mombésur votre clayer：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政变，c'est le dram！La tasse vouséchappe des mains et inonde votre clayer d'ordeur（主旋律与主旋律）。Vous voici désormais avec un clacker déréglé。沃斯·克里韦斯（Vousécrivez）«cd»，《普通克里特》«lsv»。Deux solutions的非租户：faire réparer votre clayer ou vos détacher des considérations matérialistes de ce monde pourétudier ce nouvel objet que les dieux des matiques ont placéentre vos mains。简单触及了语言课的效果，语言课上的技巧，以及法西斯主义的新计算模式：键盘。

日期：Mercredi 27 janvier de 13小时14小时

干预剂： 维克托·波佩，（用英语交谈）

职务： 关于平铺矩形的结果的十二个（或十二个左右）证明

我们将给出以下简单二维平面拼接结果的几个证明：“如果一个矩形可以用每个矩形都至少有一条整数边的矩形来拼接，那么被拼接的三角形也至少有一个整数边。”所有证明基本上都是相互独立的，并且说明了各种各样的工具和技术（归纳法、图、多项式、积分等）。我们还将讨论其中一些证明如何推广到原始结果的变化中。

日期：Vendredi 11 décembrede 13小时~14小时。

干预剂： 西尔维·博尔多

标题： Pourquoi mon ordinatur人造结石？

nos confionsános cordinators de nombreux calculs（météo，模拟aéronautiques、jeux vidéos、feuilles Excel…）等等考虑到罗恩的自然遗产是公平的。

Malheureusement，la machine as limites que l’espirt humain n’a机器使用限制了人类精神通过。Elle使用了une arithmétique dite flottante qui a ses无遗嘱者。D'une部分chaque计算结果不确定nombre de chiffres（souvent environ 15 chiffresdécimaux）和donc查克计算中心，克莱尔·乌内·埃雷尔，费比尔证书，梅斯·奎·佩特'累加器avec les précédentes pour nir un résultat complete人造的。D’autre part，les valeurs que l’ordinateur appréhende ont des公司限制了l’infiniment petit和l’infliment grand。马德塞bornes，l’ordinate produit des valeurs spe ciales souvent公司漫不经心的。Cet exposémontrera que l’ordinateur n’est pas中心无懈可击的ou plutót que son利用是对parfois的虐待。

日期：Vendredi 4 décembre de 13há14h。

干预剂： 安东尼·卡拉德（2018年推广）

职务： 多米诺骨牌问题灭绝建议

计划中的问题，未区分的问题可计算应用程序：多米诺骨牌问题。我组成了苹果酒，圣多恩拼图合奏，塞勒斯铺路机许可平面图。Ce problème aétédémontréindécidable en问题1966年，et pourtant il est toujoursétudiéaujourd’hui dans le domaine de动态符号（动态系统离散）。Ce-domaine se placeála frontière entre les mathematiques等信息、地形和描述的中心。丹斯·塞特présentation seront introduits les fondamentaux de la dynamicque公司象征性和象征性是公共关系的象征，是社会变迁的象征。Cet公司exposéseraégalement l’ocasion de voir评论l’étude des sous-shiftset la calculabilitépeuvent meneráune preuve d’indécidabilityédu多米诺骨牌问题数学经典的发展问题。

日期：Vendredi 11月27日13时至14时。

干预剂： 雷诺德·维尔马特

职务： 定量信息的语言图形

英格兰，L'informatique quantique est un sujet de recherche br'lant特殊的汽车不协调数量保证问题bien plus功效qu’un ordinatur classique，rendantainsi certains protocoles de sécurité，utilisés de nos jours，淫秽物品。联合国秘书处une táche ardue pour nos esprits“古典”，mais des approches图形peuventétre misesá利润倾泻可视化与莱森纳苏尔des过程量。Dans cet exposé，nous creérons Dans ce but un语言图形，appeléZX-Calcul，a partir de structures简单数学题；在某些情况下发生的一切财产的重要性不可忽视。

日期：Vendredi 11月20日13时至14时。

干预措施： 香塔尔·凯勒

职务： 莱切程序设计协会（Autour de la Loi de Programmation de la Recherche）

Ce séminaire prendra la forme d’une discussion autour du métier公司法国的德纳西格南-切赫和德-切赫，以及德-拉（trèscontroversée）Recherche的程序设计之路，当然是投票国民议会和国家议会的决赛。