LPAR-21:第21届国际程序设计、人工智能和推理逻辑会议
程序

天:5月7日,星期日 5月8日,星期一 5月9日,星期二 5月10日,星期三 5月11日星期四 5月12日星期五

5月7日,星期日

查看此程序:附有摘要会话概述谈话概述

14:15-14:30短暂休息
15:30-16:00休息
5月8日,星期一

查看此程序:带摘要会话概述谈话概述

09:00-10:00 第四部分:受邀演讲:斯蒂芬·马格尔顿(LPAR-21)

Muggleton教授的职业生涯集中于机器学习的理论、实现和应用的发展,尤其是在归纳逻辑编程领域。斯蒂芬·马格尔顿(Stephen Muggleton)在机器学习领域的学术贡献包括引入了归纳逻辑编程(ILP)、谓词发明、反分辨率、封闭世界专业化、谓词效用、分层学习、U学习性、自饱和和随机逻辑程序的定义。在过去的十年里,他与生物学同事就机器学习在生物预测任务中的应用进行了越来越多的合作。这些任务包括蛋白质结构的测定、药物和毒素的活性以及基因功能的分配。

09:00
逻辑程序的元解释性学习( 摘要 )
10:00-10:30休息
15:30-16:00休息
16:00-17:00 第7部分:简短演讲I(LPAR-21)
16:00
基于插值的关系查询编译器和优化器(系统实现报告)( 摘要 )
16:15
Leo-III 1.1版(系统描述)( 摘要 )
17:30-21:00前台
5月9日,星期二

查看此程序:带摘要会话概述谈话概述

09:00-10:00 第8部分:受邀演讲:Willem Visser(LPAR-21)

Willem Visser是Stellenbosch大学计算机科学系的教授。他的研究主要集中在发现软件中的错误。更具体地说,他从事测试、程序分析、符号执行、概率符号执行和模型检查。他可能最著名的作品是Java PathFinder(JPF)和Symbolic PathFindr(SPF)。他曾在NASA艾姆斯研究中心和SEVEN Networks工作。

09:00
概率符号执行:一种新的锤子( 摘要 )
10:00-10:30休息

休息

12:30-14:00午餐
15:30-16:00休息
5月10日,星期三

查看此程序:带摘要会话概述谈话概述

05:30-14:00 课程:远足(LPAR-21)

莫雷米一日游:从早上5:30开始,持续8小时。主要活动是驾驶游戏和观看游戏。这是一个很好的机会,可以看到狮子、豹子、野狗、大象和许多不同的羚羊物种等野生动物。

5月11日星期四

查看此程序:带摘要会话概述谈话概述

09:00-10:00 第12部分:受邀演讲:Rupak Majumdar(LPAR-21)

Rupak Majumdar是马克斯·普朗克软件系统研究所的科学主任。他的研究兴趣是反应式、实时、混合和概率系统的验证和控制、软件验证和编程语言、逻辑和自动机理论。Majumdar博士获得了IIT、Kanpur颁发的总统金奖、加州大学伯克利分校颁发的Leon O.Chua奖、NSF职业奖、斯隆基金会奖学金、ERC协同奖、PLDI和POPL颁发的“最具影响力的论文”奖,以及数项最佳论文奖(包括SIGBED、EAPLS和SIGDA)。他获得了坎普尔印度理工学院计算机科学学士学位和加州大学伯克利分校计算机科学博士学位。

09:00
组合滤波器编程( 摘要 )
10:00-10:30休息
10:30-12:30 第13课时:复杂性分析和重写系统(LPAR-21)
10:30
通过内部运行时复杂性分析运行时复杂性( 摘要 )
11:00
高阶复杂度的高阶解释( 摘要 )
11:30
从SAT到最大独立集:表征可牵引类的新方法( 摘要 )
12:00
关于重叠图重写系统的同时变换( 摘要 )
12:30-14:00午餐
15:30-16:00休息
5月12日星期五

查看此程序:带摘要会话概述谈话概述

10:00-10:30休息
10:30-12:30 第17课时:亚结构和非经典逻辑(LPAR-21)
10:30
哥德尔逻辑和LTL的全装箱片段( 摘要 )
11:00
分布子结构逻辑的聚束超序列算法( 摘要 )
11:30
具有模态的子结构逻辑的统一框架( 摘要 )
12:00
LTL+过去的单通道树形表( 摘要 )
14:00-15:30 第18课时:形式分析(LPAR-21)
14点
Coq模理论的一个完整证明( 摘要 )
14:30
关于翻译查询缓冲区的推理( 摘要 )
15:00
布尔勾股三重猜想的形式证明( 摘要 )
17:30-21:00告别晚宴