会谈

所有会谈都可以通过我们的谈话提要.我们的新闻提要此外，还将向您更新即将发生的事件、空缺职位…
您还可以订阅日历提要（右键单击，选择复制链接地址，粘贴到日历应用程序中）。

日期 扬声器 主题
2024年6月5日，星期三 大卫·皮埃尔斯 逻辑、责任和设计
2024年5月28日，星期二 乔治·戈特洛布 人工智能与人工无知
2024年4月17日，星期三 拜伦·库克 校对业务
2024年4月16日，星期二 尼克·贝扎尼什维利 超直觉和模态逻辑有限模型性质的度
2024年3月26日，星期二 雷内·哈内尔 上下文软件跟踪合同
2024年3月20日，星期三 瓦莱丽亚·德佩瓦 女性在线逻辑-网络数学
2024年2月28日，星期三 埃米利亚诺·洛里尼 基于规则的因果推理模式视图
2024年1月12日，星期五 阿德南·达尔维什 超越真与假：作为事件演算的逻辑
2023年11月16日星期四 佩特拉·穆策尔（波恩大学） 图上的算法数据科学
2023年10月18日，星期三 Hans van Ditmarsch（CNRS，法国） 重新审视分布式知识
2023年6月6日，星期二 卡拉·戈麦斯和巴特·塞尔曼 探索联系：维特根斯坦、哥德尔和ChatGPT
2023年1月14日，星期六 算机系教授多夫·嘉贝 21世纪的逻辑与论证
2022年11月24日星期四 Ran Gelles博士 全缺陷网络中的分布式计算
2022年5月25日，星期三 汉斯·范·迪特马什 关于流言的推理
2022年4月5日，星期二 Manfred Scheucher（柏林大学） 组合几何简介
2022年1月14日，星期五 莫舍·瓦尔迪 从希腊悖论到政治悖论
2021年10月20日，星期三 卢兹·斯特拉斯伯格 一阶逻辑的组合证明和分解定理
2021年9月21日星期二 汉斯·范·迪特马什 一百名囚犯和一个灯泡
2021年7月22日星期四 乔沙·巴赫 认知人工智能：从人工智能模型到心理表征？
2021年1月14日星期四 乔治·戈特洛布 知识处理、逻辑和人工智能的未来
2020年7月21日，星期二 科利·多克托罗 按预期工作——监督资本主义不是无赖资本主义
2019年12月13日星期五 托尔斯滕·绍布 动态答案集编程
2019年12月4日星期三 Joost-Pieter Katoen公司 概率编程：大众的机器学习？
2019年11月28日星期四 林戈·鲍曼 描述非单调知识表示形式中强等价性的抽象逻辑方法
2019年11月27日星期三 多米尼克·拉奇·温德林 《考克》中希尔伯特的第十个问题
2019年11月20日星期三 托马索·莫拉希尼 Profinite Heyting代数与Esakia空间的表示问题
2019年11月11日星期一 Prafullkumar故事 图收缩问题的有损核
2019年11月6日星期三 大卫·格罗西 轻信接受、毒药游戏和模态逻辑
2019年10月16日星期三 大卫·塞尔纳 一个用于形式推理自引导学习的移动应用程序
2019年10月1日，星期二 格德·布鲁卡 重新审视可接受性和完整性
2019年9月30日，星期一 达纳·斯科特 自由逻辑的形式化及其应用
2019年9月24日星期二 阿列克谢·罗塔 PCTL片段的可满足性问题
2019年9月24日星期二 马丁·穆尼奥斯 计算复杂性类的描述性复杂性
2019年9月18日星期三 尤里·古雷维奇 计算机科学和软件工业中的逻辑（以及时间允许的数学）
2019年9月16日星期一 坦尼娅·辛德勒 量化公式的DPLL（T）理论求解器
2019年8月27日星期二 约书亚·布林霍恩 将策略构建到DQBF证明中
2019年7月26日星期五 约翰·巴罗 100年的宇宙
2019年7月25日星期四 朱丽叶·弗洛伊德 心灵的进出：维特根斯坦和哥德尔，波斯特和图灵
2019年7月11日星期四 阿莱西奥·吉齐 非线性心脏动力学的多物理建模：实验、理论和仿真
2019年7月8日，星期一 安德烈亚·卡利 查询Web数据：计算视角
2019年7月8日，星期一 安德烈亚斯·皮利斯 统计主键下的数据库修复次数
2019年7月1日，星期一 彼得·斯塔基 多智能体路径查找问题
2019年6月25日星期二 奥利维娅·埃尔代利 为什么监管和道德令人烦恼？我们只是开发技术。。。
2019年6月24日星期一 马特乌斯·德·奥利维拉·奥利维拉 证明的一些宽度度量
2019年6月18日星期二 丹尼尔·勒贝雷 递归探索和检查抽象精炼（RECAR）
2019年6月17日，星期一 安妮·施勒德 基于几何持久性的多项式概率不变量的自动合成
2019年6月7日星期五 阿诺德·杜兰德 依赖逻辑和团队语义简介
2019年5月23日星期四 科林·托尔 在IBM、Amazon和integrate.ai开发软件和ML模型
2019年5月20日星期一 大卫盆地 安全协议：模型检查标准
2019年4月9日星期二 彼得·伊德斯 如何绘制图形。。。再次访问
2019年3月25日，星期一 曼纽尔·索尔格 集群，但什么时候？从静态到时序图算法
2019年3月19日，星期二 多米尼克·彼得斯 真实汇总预算提案
2019年2月7日星期四 斯特凡·米利乌斯 自由的艾伦伯格定理
2019年1月21日，星期一 弗朗西斯科·斯卡切罗 树投影宽度和固定参数可处理的查询
2019年1月15日，星期二 法布里奇奥·蒙蒂奇亚尼 1-平面图的研究进展
2019年1月7日，星期一 Marijn鞋跟 数学问题的大规模并行求解
2018年12月12日星期三 桑杰·莫吉尔 逻辑、论证与辩证法
2018年11月23日，星期五 塞巴斯蒂安·鲁道夫 有限性的诅咒：高度表达描述逻辑中数据库启发推理问题的不确定性
2018年11月23日，星期五 弗雷德里克·海因茨 安全自治系统中流的推理和学习
2018年11月22日星期四 鲁卡·凯德利 化学反应编程
2018年11月21日星期三 爱丽丝·米勒 无人机策略生成的概率模型检验
2018年11月19日星期一 弗拉基米尔·利夫希茨 我们如何学习外国佬的输入语言
2018年11月8日，星期四 摩西·瓦迪 嬉皮士如何摧毁互联网
2018年11月5日，星期一 马丁·格罗 图同构问题
2018年10月31日星期三 戴尔·米勒 将函数计算与关系分离
2018年10月25日星期四 马塞洛·达戈斯蒂诺 经典逻辑的信息观
2018年10月5日，星期五 托米·詹胡宁 为条款编写声明性规范
2018年9月26日星期三 拉杰夫·戈尔 经过验证的计票程序的交互式合成
2018年9月20日，星期四 托比·沃尔什 与人工智能一起生活——如何保持人性
2018年7月25日星期三 伊亚德·坎吉 如何穿越障碍物？
2018年7月24日星期二 马库斯·恩德斯 首选项感知数据库系统
2018年7月19日星期四 史蒂文·查普利克 几何覆盖问题的近似格式
2018年6月26日，星期二 托尔斯滕·绍布 ASP及时
2018年6月22日星期五 拉姆昌德拉·帕瓦德 Petri网中自由选择与时间的结合
2018年5月29日星期二 罗纳德·哈恩 知识汇编在社会选择中的应用
2018年5月29日星期二 马丁·约瑟夫·盖奇 解决多目标下的大规模中期规划问题–为2017 VeRoLog优化竞赛做出贡献
2018年5月23日星期三 Gyula O.H.卡托纳 密码学、等周问题和阴影
2018年5月3日星期四 克里斯蒂安·克拉姆勒 使用Borda分数对对象集进行排序
2018年4月18日，星期三 丹尼尔·保卢斯玛 无长诱导路的无平方图着色
2018年4月9日，星期一 亨宁·费尔诺 自我监控近似算法
2018年2月27日星期二 本杰明·尼德曼 地铁网络正射图的研究
2018年2月14日星期三 豪尔赫·范丁诺 具有递归攻击和基于证据支持的论证框架
2017年12月19日星期二 金恩忠 无弦循环的Erdos-Posa性质及其应用
2017年12月13日星期三 Przemys aw Andrzej Wa加 Halpern-Shoham逻辑的号角碎片：复杂性与表现力
2017年11月22日星期三 马尔滕·洛夫勒 折叠铅笔和纸图片拼图
2017年11月20日星期一 萨沙·鲁宾 迷你课程：解决图形游戏的里程碑
2017年11月13日星期一 穆罕默德·法什 （弱）自逼近图
2017年11月13日星期一 彼得罗·斯科隆 度量偏好下最优社会选择的逼近
2017年10月30日星期一 塔玛拉·麦克赫利泽 点线对偶原理在图形绘制中的应用
2017年10月20日星期五 格哈德·沃辛格 缓冲器、铲斗和溢流
2017年10月20日星期五 弗朗西斯科·斯卡切罗 处理Shapley价值观：可驾驭的岛屿和有用的工具
2017年10月11日星期三 罗曼·普鲁特金 贪婪路由引发的图嵌入
2017年9月29日星期五 艾米莉亚·奥卡里宁 通过约束优化实现最小宽度置信带
2017年9月29日星期五 马蒂·贾维萨洛 最大可满足性求解的隐式命中集方法及预处理
2017年8月23日，星期三 伊亚德·坎吉 树划分的复杂性
2017年5月31日星期三 奥迪尔·帕皮尼 基于优先级断言的DL-Lite信念基删除集修正
2017年3月22日星期三 弗拉迪斯拉夫·里日科夫和迈克尔·扎克哈里亚舍夫 时态逻辑的Horn片段和基于本体的时态数据访问
2017年3月6日，星期一 丹尼·赫尔梅林 核化下限的分形
2017年2月23日星期四 Ondřej Kunčar CoCon：一种非泄漏会议系统
2017年2月21日星期二 菲利波·邦奇 信号流图的完全抽象
2016年12月6日，星期二 鲁帕克·马朱姆达尔 [软件测试]命中计划系列
2016年11月7日，星期一 维克托·达尔摩 MIN CSP的近似值
2016年10月27日星期四 约翰内斯·金德 低开销的高系统代码安全性
2016年10月24日星期一 托马斯·沃伊纳尔 无限状态系统迹包含的抽象精化和反链
2016年10月20日星期四 叶夫根尼·托尔斯滕森 自连接消除和查询包含的新概念
2016年9月20日星期二 约格·罗特 经济学与计算：算法博弈论、计算社会选择和公平分工的五大挑战
2016年6月30日星期四 马丁·施瓦夫 用插值函数对臭虫进行分类
2016年6月23日星期四 伊戈尔剃刀 有界树宽有界重复计算CNF分支程序的下界：综述
2016年5月31日，星期二 莱斯利·兰伯特 计算机系统的数学视图–问答
2016年5月12日星期四 艾迪特·基达尔 事务数据结构库
2016年4月28日星期四 汤姆·范·迪克 森林工作者：平行决策图的发展
2016年4月12日星期二 约瑟夫·西法基斯 BIP中的严格系统设计
2016年3月14日，星期一 O-Joung Kwon先生 有界秩宽图的删除问题
2016年3月8日，星期二 克利夫·琼斯 关于干扰（或缺乏干扰）的推理
2016年3月3日，星期四 叶夫根妮亚·特诺夫斯卡 模系统代数
2016年2月23日，星期二 约翰内斯·霍尔兹尔 Isabelle/HOL中的马尔可夫链和马尔可夫决策过程
2016年2月18日，星期四 皮埃尔·布赫斯 分布式数据日志中协同访问控制的形式化研究
2016年2月16日星期二 科伦·塞索尔 作为组合结构的分布式算法
2016年2月8日，星期一 玛丽亚·戈里诺娃 终止证明
2016年1月12日，星期二 马丁·苏达 基于分辨率的线性时间推理方法
2015年12月10日星期四 萨扬密特拉 分布式系统的自动化不变量和进程证明
2015年10月12日星期一 贝特朗·梅耶 程序理论
2015年10月6日，星期二 米罗斯拉夫·特鲁兹琴斯基 知识表示中模块化的抽象观点
2015年9月22日星期二 皮耶罗·博纳蒂 DL^N：一种实用的非单调描述逻辑
2015年8月14日星期五 Caterina城市 摘要解释作为自动扣除
2015年8月14日星期五 阿列克谢·伊格纳提耶夫 具有最大满意度的高效模型诊断
2015年8月4日，星期二 莎拉·基什内尔 医院预约安排-使用时间聚合进行排序和安排
2015年8月4日，星期二 斯蒂芬·霍尔泽 分布式计算中的新算法和下限
2015年7月8日，星期三 彼得·斯塔德勒 懒惰混蛋的动态规划
2015年7月7日，星期二 亚历山德鲁·波帕 彩色分量问题的算法和硬度结果
2015年7月2日星期四 保罗·帕波蒂 除了声明性数据清理
2015年6月29日，星期一 达纳·S·斯科特 模式可以拯救天真集理论吗？
2015年6月24日，星期三 沃尔夫冈·盖特鲍尔 成对马尔可夫随机场的线性化
2015年6月10日，星期三 托马斯·沃伊纳尔 从指针到列表容器
2015年5月21日，星期四 安德烈斯·沃尔什 基于饱和度的增量LTL模型检验及归纳证明
2015年5月18日，星期一 沃尔夫冈·德沃夏克 利用朋友网络外部性实现福利最大化
2015年5月6日，星期三 胡比·陈 计数问答的逻辑：基于存在正问题的研究
2015年4月30日星期四 约拉姆·摩西 多代理系统中的协调原则
2015年4月28日，星期二 能发周 Picat语言和系统
2015年4月27日，星期一 安德烈·鲍尔 代数效应和处理方法简介
2015年4月24日，星期五 詹姆斯·安德森 大尺度动力系统分析的图分解
2015年3月24日，星期二 汉内斯·斯特拉斯 抽象论证与逼近不动点理论
2015年2月19日星期四 Roopsha萨曼塔 并发跟踪集的简洁表示
2015年2月18日，星期三 伊亚德·坎吉 关于有界平面几何扳手
2015年1月27日，星期二 赫尔穆特·塞德尔 参数化策略迭代
2014年12月18日星期四 戈登·西科恩 同步传输体系结构的形式语义
2014年12月4日星期四 克里斯蒂安·谢德勒 建立P2P系统设计的严格基础
2014年11月27日星期四 帕维特拉·普拉巴卡尔 混合系统稳定性的算法验证
2014年11月27日星期四 勒诺·D·扎克 参数化验证：理论与实践
2014年11月24日，星期一 维奈·K·乔德里 使用原型、组合和类比的智能体系结构
2014年11月20日星期四 内森·瓦瑟 按需抽象：自动生成循环和递归方法调用的不变量
2014年10月27日，星期一 马可·马拉特 多发动机应答器编程
2014年10月9日星期四 约翰·马科斯基 CS的集合与逻辑：如何教授有用的东西
2014年10月8日，星期三 斯特凡·蒙格尔 了解β-无环CNF公式的模型计数
2014年9月30日，星期二 拉马努詹先生 通过后门到小树宽求解d-SAT
2014年9月30日，星期二 林戈·鲍曼 无上下文和上下文敏感内核：抽象论证中的更新和删除等价性
2014年7月28日，星期一 金永中 树切割宽度的参数化算法。
2014年7月14日，星期一 杰夫·Z·潘 基于描述逻辑的本体论近似推理
2014年7月10日星期四 塞巴斯蒂安·奥德尼亚克 将后门集合转换为SAT和CSP的更通用方法
2014年7月8日，星期二 循环群上轨道问题的线性时间算法
2014年6月12日星期四 加博尔·埃尔德莱伊 算法和选择
2014年6月4日，星期三 马西米利亚诺·贾科明 抽象论证框架和语义的输入/输出特征
2014年5月8日星期四 雅各布·莱切纳 GALS电路中瞬态故障和时序变化的缓解
2014年3月25日，星期二 儿子曹Tran 结合ASP和Prolog
2014年3月3日，星期一 拉马努詹先生 保持连通性的参数化算法
2014年1月9日，星期四 弗兰兹·沃塔瓦 测试自动化——我们应该走多远？
2014年1月8日，星期三 马蒂亚斯·姆尼奇 Steiner多截问题的复杂性二分法
2013年12月17日星期二 亚当·罗加列维奇 递归定义分离逻辑的树宽
2013年12月6日，星期五 用DIVINE进行显式状态模型检查
2013年12月5日星期四 米拉·梅齐尼 从活动对象到反应对象
2013年11月27日，星期三 乔治·梅特卡夫 格序群的证明理论
2013年11月20日星期三 埃斯科·图伦 Chang的MV-代数上的Pavelka型模糊逻辑
2013年11月14日星期四 阿尔芬斯·拉阿尔曼 多核模型检查
2013年11月11日，星期一 佩德罗·卡拉巴尔 设置ASP功能的阶段
2013年11月7日星期四 阿尼埃洛·穆拉诺 丰富的模态逻辑
2013年10月21日，星期一 梅亨·宾文努 基于本体的数据访问的不一致容忍语义
2013年9月27日星期五 王超（Chao Wang） 提高并发软件可靠性和安全性的符号预测分析
2013年9月18日星期三 四川高 三角洲——雷亚尔的决定
2013年9月6日，星期五 王克文（Kewen Wang） 答案集编程中的阶段转换
2013年8月29日星期四 克里斯托夫·哈斯 分离逻辑中基于图的推理方法
2013年8月21日星期三 伊亚德·坎吉 关于有序列表子图嵌入问题
2013年8月14日星期三 博尔祖·博纳克达尔普 容错分布式算法的自动综合
2013年6月26日，星期三 约翰·马科斯基 描述加权自动机识别的词函数
2013年6月14日，星期五 乔尔·瓦克宁 经典和实时验证综述
2013年6月4日，星期二 克里斯托夫·魏登巴赫 自动推理系统的设计
2013年5月23日星期四 亚历克谢·戈茨曼 弱一致系统的抽象
2013年5月23日星期四 多伦·贝利德 并发软件合成：旧挑战-新思路
2013年5月16日星期四 高德纳 所有问题都已回答
2013年4月22日，星期一 胡比·陈 关于量化约束满足的思考
2013年4月18日星期四 彼得·罗宾逊 随机领导选举的次线性界
2013年4月15日，星期一 安德烈·普拉泽 如何证明你的机器人安全
2013年4月11日星期四 威尔弗里德·斯坦纳 模型检查容错时钟同步协议
2013年3月28日，星期四 托尔斯滕·绍布 Potassco，波茨坦答案集解决集合。
2013年3月7日，星期四 雷内·哈内尔 抽象符号执行
2013年3月5日，星期二 彼得罗·巴罗尼 抽象论证语义学：从局限到视角
2013年2月25日，星期一 金永中 基于凸出分解的线性核和单指数算法
2013年2月25日，星期一 洛里斯·博扎托 CKR：语义Web中上下文的通用框架
2013年2月21日星期四 迭戈·卡尔瓦内斯 用外部服务验证以关系数据为中心的动态系统
2013年1月31日星期四 哈维尔·埃斯帕尔扎 异步共享内存系统的参数化验证
2013年1月30日，星期三 萨曼塔屋顶 网络系统的鲁棒性分析
2013年1月17日星期四 亚历山大·普雷施纳 基于模型的安全测试：从模型到现实世界
2012年12月13日星期四 安德烈·里巴尔琴科 作为约束求解的程序验证（也适用于存在和通用CTL属性）
2012年11月29日星期四 托默·科特克 逻辑在图论中的应用：图不变量的可定义性
2012年11月20日星期二 Madalina Erascu公司 算法（半）自动静态分析与综合的计算逻辑和量词消除技术
2012年11月15日星期四 米罗斯瓦·特鲁兹琴斯基 通过简化连接一阶ASP和逻辑FO（ID）
1970年1月1日星期四 克里斯托夫·伦岑 利用小消息快速构造路由表
2012年11月5日，星期一 詹姆斯·德尔格兰德 修正号角理论
2012年10月22日，星期一 安德烈亚斯·格雷斯迈耶 使用多代理系统对业务流程进行模型检查
2012年10月16日星期二 列奥尼德·利布金 图逻辑与词的关系
2012年10月2日，星期二 罗伯特·加尼安 将顶点覆盖作为图形参数的推广
2012年9月4日，星期二 泽维尔·里瓦尔 MemCAD，用于内存状态推理的模块化抽象域
2012年8月28日星期二 逻辑与代数研讨会
2012年8月13日，星期一 弗洛伦特·马德莱恩 一阶逻辑句法片断模型检验问题的复杂性
2012年6月25日，星期一 伊亚德·坎吉 什么使归一化加权可满足性易于处理
2012年6月22日，星期五 鲁斯兰·L·斯梅利安斯基 计算机系统实验室——技能、经验、主要研究方向
2012年6月20日，星期三 沃纳·迪特尔 验证游戏：让验证变得有趣
2012年6月14日星期四 安娜·索科洛娃 并发数据结构的定量松弛
2012年6月6日，星期三 斯特凡·塞德尔 逻辑、证明和算法小型车间
2012年6月1日，星期五 弗拉基米尔·扎哈罗夫 序列程序等价性检查问题的自动机理论方法
2012年5月31日星期四 弗拉基米尔·扎哈罗夫 等价性检查问题：1953-2011（调查）
2012年5月30日，星期三 朱丝蒂娜·佩特克 约束满足与布尔可满足性之间的桥梁
2012年5月30日，星期三 尼古拉·比约纳 用Z3将满意度提升到一个新的水平
2012年5月25日，星期五 拜伦·库克 一种新的时间属性验证方法
2012年5月21日，星期一 内尔德哈拉·米斯拉 从FVS到F删除：一个简单算法的故事
2012年5月7日，星期一 胡比·陈 分解一阶逻辑
2012年5月4日，星期五 概念与意义——纪念亚历山大·莱奇60岁诞辰研讨会
2012年4月26日星期四 克里斯托夫·伦岑 拜占庭自稳定时钟同步的改进界限
2012年4月24日，星期二 梅亨·宾文努 论通过本体查询数据的复杂性
2012年4月13日，星期五 TUTORIAL：社会选择-问题、结果、工具和最近的扩展
2012年3月28日，星期三 乔治·列维 抽象解释：从理论到应用
2012年3月23日，星期五 西蒙·波娃 连接查询的表达式复杂性
2012年3月15日，星期四 贾斯敏·费舍尔 从基因组编码到生命解码算法
2012年3月12日，星期一 约翰内斯·富恩克兰兹（Johannes Fürnkranz） 归纳规则学习课程
2012年3月8日，星期四 劳拉·科瓦茨 在证据的灰色区域玩耍
2012年3月8日，星期四 安娜·索科洛娃 计算机科学中的余代数课程
2012年2月21日，星期二 丹尼尔·保卢斯玛 升降机收缩
2012年2月13日，星期一 奥尔加·特维雷蒂纳 基于分辨率和OBDDs的命题证明系统的相对效率
2012年1月25日，星期三 埃德蒙·克拉克 30年的模型检查
2012年1月25日，星期三 若昂·马尔克斯·席尔瓦 最小不满足核提取的实用算法
2012年1月25日，星期三 格奥尔格·魏森巴赫 用刑警对付虫子
2012年1月25日，星期三 费多·弗明 核化算法
2012年1月25日，星期三 托马斯·汉津格 马尔可夫种群模型的形式化描述与验证
2012年1月10日，星期二 莫里茨·米勒 关于Res（k）的下限
2011年9月4日，星期日 迈克尔·R·费罗斯 当代背景下的核化和实用算法的大图
2011年9月3日，星期六 丹尼尔·洛克什塔诺夫 核化的泛化和特化
2011年9月3日，星期六 巴特·詹森 结构参数层次的核化
2011年9月3日，星期六 Sourav Chakraborty公司 属性测试：承诺问题的次线性算法
2011年9月2日，星期五 安德斯·杨 同时满足F_2上的线性方程组：参数化高于平均值
2011年9月2日，星期五 皮埃尔·马奎斯 关于知识编译的几句话
2011年9月2日，星期五 阿明·比尔 SAT中的预处理和Inprocessing技术
2011年9月2日，星期五 费多·弗明 图中的凸出及其应用