Séminaire公司 手势desénces IRIF杰出演讲系列 勒压延干燥机desénces（iCal格式）。倒入最受欢迎的日历，即日历和指示。 联系人 阿迪·罗森 事件描述 爱尔兰国际单项体育联合会杰出演讲系列节目重新步入正轨，新一季的演讲以及接下来的其他季。 什么是IRIF杰出演讲系列？IRIF杰出讲座系列是由理论计算机科学和数学领域的杰出科学家每年举办3至4次的一系列受邀讲座。 演讲者将发表鼓舞人心的演讲，描述最近的科学突破，或当前活跃的研究领域，或他们对发展新研究方向的愿景，所有这些都在理论计算机科学和数学领域内。 目标受众是谁？IRIF杰出演讲系列的演讲主要面向法国地区理论计算机科学和数学界的成员，但也欢迎任何其他感兴趣的人参加。会谈的对象是知情的观众，但不一定是专门的观众。 它发生在哪里？IRIF杰出演讲系列将在巴黎城市大学巴黎大磨坊校区苏菲·日尔曼大楼举行。每个演讲都不提供现场直播，但将进行录制，稍后在活动网站上在线发布：https://www.irif.fr/en/seminaires/irif/index网站. Sénces通行证 Anneée 2024年 IRIF杰出演讲系列2024年5月14日，11小时，待定 奥马尔·莱因戈尔德（斯坦福）群体关联的多样性：算法公平性、损失最小化和结果不可区分性 我们将调查最近在算法公平方面的一个非常有成果的研究领域，即多组公平。我们将重点关注风险预测，机器学习算法试图学习一个预测器来回答“患者x将经历特定医疗状况的概率是多少？”。然而，全球损失最小化可能会导致对子群体的预测被错误校准，从而对这些群体的个体造成伤害。多群体公平试图防止对任意交叉群体的丰富（可能是指数）集合的歧视。从某种意义上说，它提供了一个计算视角，以了解个人风险的含义以及使用个人层面特征的临床预测与使用群体层面特征的精算预测之间的经典张力。虽然出于公平的动机，但这种训练不可区分预测器的替代范式正在发现越来越多的有吸引力的应用程序，在这些应用程序中，同一预测器可以在一系列容量和公平约束以及实例分布下，用于优化一大组损失函数中的一个。 基于与辛西娅·德沃克（Cynthia Dwork）、沙菲·戈德瓦瑟（Shafi Goldwasser）、帕里克希特·戈帕兰（Parikshit Gopalan）、乌苏拉·赫伯特·约翰逊（ul rsula Hébert-Johnson）、胡伦嘉（Lunjia Hu）、亚当·卡莱（Adam Kalai）、克里斯托夫·克恩（Christoph Kern）、迈克尔·P·金（Michael P.Kim）、弗劳克·克鲁特（Frauke Kreuter。 IRIF杰出演讲系列Mercredi 7 février 2024，11 heures，Amphi Turing，B–timent Sophie Germain Véronique Cortier公司（信息应用实验室（LORIA））电子投票：设计和形式验证 电子投票旨在保证明显相互冲突的财产：没有人应该知道我是如何投票的，但我应该能够检查我的投票是否正确计算。电子投票属于安全协议的大家族，旨在保护通信安全，以对抗可能读取、阻止和修改消息的强大对手。在本次演讲中，我们将了解如何设计安全的电子投票协议，以及如何使用形式化方法对其进行分析，以便在早期检测攻击或证明安全性，从而更好地理解安全保证和威胁模型。 Anneée 2023年 IRIF杰出演讲系列Mercredi 2023年11月8日，11 heures，Amphi Turing 西蒙·佩顿·琼斯（史诗游戏）超越函数编程：Verse编程语言 自2021年末加入Epic Games以来，我一直参与Verse的设计和开发，Verse是一种新的声明性编程语言，Epic计划将其用作Metaverse的语言。Verse雄心勃勃：我们希望它能让数百万从未谋面的程序员编写相互操作的代码，构建一个共享的虚拟3D仿真，数十亿用户可以在其中进行交互。我目前的重点是正式指定诗歌的技术核心。诗歌的核心是一种功能逻辑语言，到目前为止，它还是一门利基学科。在演讲中，我将让你了解什么是函数逻辑语言；我将通过给它一个正式的定义来描述挑战；我将概述我们在使用指称语义、重写规则和引用解释器解决这一挑战方面的进展。 2020年Anneée IRIF杰出演讲系列Vendredi 2020年7月12日，10公顷45公顷，安菲图灵 [取消]西蒙·佩顿·琼斯（微软研究院[英国剑桥]）IRIF杰出演讲系列：待定 IRIF杰出演讲系列Vendredi 2020年5月20日，10 heures 30，Amphi Turing [取消]约瑟夫·米切尔（纽约州立大学石溪分校）IRIF杰出演讲系列：一些几何包装/覆盖/路由问题的近似算法 一类基本的组合优化问题涉及包装和覆盖。示例包括最大独立集、支配集、集覆盖、命中集等。受传感器网络和机器人应用的启发，此类问题的自然实例出现在几何情况下，例如，用少量磁盘覆盖点，用少量防护装置或短路线上的移动防护装置观看“美术馆”，将磁盘或其他形状包装在有界域内等。即使在简单的二维设置中，几乎所有这些问题都是NP-hard问题。当我们考虑不确定数据、预定覆盖的时间约束以及路由/连接问题与覆盖约束相结合时，问题变得更加困难。我们从近似算法的角度讨论了其中几个几何优化问题，并描述了一些技术，这些技术为选定的打包、覆盖和路由/覆盖问题带来了新的或改进的边界或运行时间。 IRIF杰出演讲系列Vendredi 2020年1月24日，10 heures 30，Amphi Turing [已取消]Martin Grohe（亚琛RWTH大学）IRIF杰出演讲系列：对称性和相似性 对称是数学、科学及其他领域的基本概念。了解symme尝试通常对理解结构至关重要。在计算机科学方面，我们主要感兴趣组合结构的对称性。计算这种结构的对称性本质上等同于决定两个结构是否相同（“同构”）。阿尔戈里从理论上讲，这是一项困难的任务，自早期以来就受到了很多关注f计算。确定精度是理论计算机科学中的一个主要开放问题这个“图同构问题”的计算复杂性。 同构测试最早的应用之一是化学，更确切地说是化学al信息系统。今天，同构测试和对称性检测的应用非常广泛在计算方面无处不在。优化、恶意软件检测和machi中出现了突出的例子网络学习。然而，在这些应用程序中，我们只需要确定两个结构是否非常相似，而不是完全相同。事实证明，确定相似程度r两个结构比决定它们是否为iso更难计算形态。 我的演讲将介绍对称性和相似性的算法方面，包括基本复杂性理论“图同构问题”在优化中的应用在线和机器学习。 2019年安奈 IRIF杰出演讲系列Vendredi 12 avril 2019，10 heures 30，安菲图灵 约翰·霍斯塔德（斯德哥尔摩皇家理工学院）IRIF杰出演讲系列：80年代和今天的狐猴(单击此处观看视频) 第一个交换引理在20世纪80年代被证明，并给出了小深度电路大小的下限。特别是，他们给了我们计算奇偶校验的电路大小的最佳下界，并证明了一些函数具有深度为d的小电路，但如果深度限制为d-1，则需要（次）指数大小。一些问题在20世纪80年代还没有解决，但最近才得到解决。两个这样的问题是建立与奇偶性的最佳相关性的尖锐估计，并证明刚才提到的层次结果可以在平均情况下建立。这两个结果都使用了切换引理的新变体。 我们调查了这些结果，并指出了获得最新结果所需的修改。 如果时间允许，我们还讨论了如何使用其他切换引理来证明使用小深度公式的Frege证明长度的下限。 IRIF杰出演讲系列2019年3月18日，17小时，伦迪，法国科勒日 罗伯特·塔扬（普林斯顿大学和Intertrust Technologies）IRIF杰出演讲系列：并发连接组件 求图的连通分量是最基本的图问题之一。虽然使用图搜索或不相交集并算法很容易顺序查找组件，但一些重要的应用程序需要查找大型图的组件，这使得顺序算法速度太慢。我们描述了针对这个问题的并发算法的最新进展。一些简单的算法似乎令人惊讶地难以分析，文献中关于其中一些算法的说法是错误的。这次演讲是与法国大学合作组织的。 请注意不寻常的日期和不寻常的位置 2018年年鉴 IRIF杰出演讲系列Vendredi 2018年11月16日，10 heures 30，Amphithétre Pierre-Gilles de Gennes，巴特。Condorcet公司 赫利希（布朗大学）IRIF杰出演讲系列：原子跨链交换 原子跨链交换是一项分布式协调任务，其中多方跨多个区块链交换资产，例如用比特币交换以太。原子交换协议保证（1）如果所有各方都遵守该协议，则所有交换都会发生；（2）如果某些联盟偏离了该协议，那么没有符合协议的一方最终会变得更糟；（3）没有联盟有偏离该协议的动机。跨链掉期被建模为有向图D，其顶点是各方，其弧是建议的资产转移。对于任意对（D，L），其中D=（V，A）是强连通有向图，L⊂V是D的反馈顶点集，我们使用哈希时间锁契约的形式给出了D的原子跨链交换协议，其中L中的顶点生成哈希锁秘密。我们证明，如果D不是强连通的，或者如果D是强连通的但L不是反馈顶点集，则不可能有这样的协议。 IRIF杰出演讲系列Vendredi 2018年7月13日，10 heures 30，Amphi Turing 克里斯托斯·帕帕迪米特里奥（哥伦比亚大学）IRIF杰出演讲系列：计算机科学家思考大脑 大脑是如何产生思维的？神经元、突触、分子和基因，进化和发展，产生行为和认知、语言和智力？尽管在记录和分子技术方面取得了突飞猛进的进展，以及大量的实验数据，但我们似乎还没有找到答案。这是一场关于欣赏和欣赏这个问题的演讲，并提出了一种新的方法，该方法基于公认但研究甚少的大脑计算的中间水平，通过同步激发称为集合的大型且高度互连的神经元集来实现。我们表明，集合产生了一种新的计算系统，我们推测它们可能为语言和数学等高级认知功能提供工具。 IRIF杰出演讲系列Vendredi 13 avril 2018，10 heures 30，安菲图灵 莫妮卡·亨津格（维也纳大学）IRIF杰出演讲系列：动态图形算法的最新发展 动态图算法是一种数据结构，它在通过插入和删除边来修改图时保持图的属性。在过去的几年中，动态图算法取得了令人兴奋的新进展，即强条件下界和基于原对偶方法的动态算法。 2017年年鉴 IRIF杰出演讲系列Vendredi 2017年11月10日，10 heures 30，Amphi Turing 尤里·马蒂亚塞维奇（斯特克洛夫数学研究所，圣彼得堡）IRIF杰出演讲系列：希尔伯特的第十个问题和其他一些难题(单击此处查看幻灯片) 关于丢番图方程的Hilbert第十问题（H10）的不可判定性事实证明，这是一个强有力的工具，可以确定许多其他决策问题。为证明不可判定性而开发的技术H10的结果为发现丢番图方程之间意外的关系提供了可能和其他一些经典数学问题。 IRIF杰出演讲系列2017年Mardi 11 avril，10 heures 30，Amphi Turing 列奥尼德·利布金（爱丁堡大学）IRIF说明文系列：重新审视原始数据库理论：关系代数、微积分和基本SQL真的等价吗？ 我们重温了数据库理论最基本的问题之一：一阶逻辑（FO）、关系代数（RA）和SQL的核心。尽管是关系理论的核心，这些问题在文献中没有令人满意的答案。FO和RA的众所周知的等效性，以及现有的翻译从SQL到RA，只适用于不符合要求的简单模型实际数据库使用。证明关于真实SQL的结果，而不是理论重建受到缺乏正式SQL的阻碍语义：该标准对目的过于模糊对SQL语义进行形式化的尝试简化了很多在现实生活中不成立的假设。在逻辑方面，SQL以前所未有的方式混合布尔逻辑和3值逻辑研究。我们的目标是填补基础数据库理论中这些令人惊讶的空白。我们提供SQL核心的正式语义，该语义捕获真实语言并解释其许多特质。为了证明它是正确的语义，我们对其进行了验证实验上大量随机生成查询。有了这个语义，我们正式证明了核心SQL和RA，以及用运算符，用于说明SQL来回切换的能力在布尔逻辑和三值逻辑之间。然后，有点令人惊讶的是，我们表明这个附加操作符不会增加表现力，并且-更令人惊讶的是，三值逻辑没有添加即使在空的地方也能表现出来。 基于与Paolo Guagliardo的联合工作。 IRIF杰出演讲系列Vendredi 2017年3月3日，10 heures 30，Amphi Turing Joost-Pieter Katoen公司（亚琛RWTH）IRIF杰出演讲系列：概率规划原理(单击此处查看幻灯片) 概率编程很流行。它用于描述复杂贝叶斯网络、量子程序、安全协议和生物系统。C、C#、Java、Prolog、，Scala等都有其概率版本。主要功能包括随机抽样和根据获得的数据调整分布的方法来自测量和系统观测的信息。我们展示一些语义错综复杂，认为终止比停止问题，并讨论递归和运行时分析。 2016年年鉴 IRIF杰出演讲系列Vendredi 2016年10月28日，10 heures 30，Salle 3052，B–timent Sophie Germain（见摘要中的注释） 尤里·古雷维奇（微软研究院）IRIF说明文系列：计算机科学与计算机工程中的逻辑 在软件行业，工程师们日复一日地进行正式的逻辑工作，尽管他们可能没有意识到这一点。通常，他们没有学习逻辑。相反，他们花了很多时间学习微积分，而他们很少使用微积分。我将尝试说明为什么逻辑如此相关，以及为什么软件工程师很难理解它。重要提示：出于行政原因，IRIF以外的人希望要参加在“Salle 3052”举行的研讨会，请在10月26日星期三之前将其姓名发送电子邮件至Irène Guessarian在ig@liafa.univ-paris-didero.fr . IRIF杰出演讲系列Vendredi 2016年9月16日，10 heures 30，Amphi Turing（B–timent Sophie Germain） 罗贝多·迪·科斯莫（爱尔兰国际单项体育联合会）IRIF说明文系列：保护软件：科学再生产的挑战和机遇(单击此处查看幻灯片) 大量现代科学技术知识依赖于我们共同编写的软件：来自数学、物理、化学、生物、医学、金融和社会科学现在不可避免地被融入到复杂的软件系统中，哪种模型的详细程度远远超出了通常的水平科学出版物。保存此软件对于保存我们的知识至关重要。 这是允许重复实验的必要先决条件是科学方法的基础，也是确保我们修改和更正不断出现的软件组件集成到需要持续生产数十年的关键系统中。 在这次演讲中，我们将回顾我们面临的挑战和机遇，以及讨论开源作为关键促成因素的作用。 演讲的幻灯片可以找到在这里. IRIF杰出演讲系列Jeudi 2016年1月28日，10 heures 30，Amphi Turing 纳丘姆·德肖维茨（特拉维夫大学）Ada与计算 Ada Lovelace（200年前出生）对数字数字计算有先见之明。她诗意地表达了它的特征：“我们可以最恰当地说，巴贝奇的分析引擎编织代数图案，就像提花织布机编织花和叶一样。”艾达解释了数字计算的一般性，他说：“引擎可以像字母或任何其他通用符号一样排列和组合其数值。”我们将讨论计算数据替代表示的一些预期和意外后果。另一方面，Ada写道“引擎是任何程度的通用性和复杂性的不确定性函数的物质表达。”。我们将讨论有效计算概念的形式化及其相对于计算的可计算性和复杂性的结果。 Nachum Dershowitz自1998年起担任特拉维夫大学计算机科学教授。在此之前，他是伊利诺伊大学厄巴纳-香槟分校的教员。他与爱德华·莱因戈尔德合著了这本书《历法计算》（剑桥大学出版社，1997年），该书获得了《选择》杰出学术头衔奖（2002年），即将进入第四版。他也是《程序的演变》（Birkhäuser，1983）的作者，《日历表》（Cambridge University Press，2002）的合著者，以及其他十几卷的编辑。他的研究兴趣包括计算基础、计算逻辑、计算人文和组合枚举。他曾获得赫布兰德奖（2011年）、LICS时间测试奖（2006年）、RTA时间测试奖项（2014年）和斯科利姆奖（2015年），并当选为欧洲科学院院士（2013年）。