亲爱的朋友们，SV为许多组织提供了巨大的成功，特别是Miri。非常感谢大家！金宝博娱乐研究更新了两个新论文：“计划均衡......”（接受AAAI-14的MIPC车间）和“自我参考问题......”（可接受AGI-14）。从我们愿厂房的第一次报告：“响度：在偏好关系的前瞻上。”（其他报告......阅读更多 ”
帖子：卢克·穆罕沃斯
Millind Tambe在安全应用中的博弈论
Milind Tambe是南加州大学（USC）的Helen N.和Emmett H. Jones教授。他是AAAI（人工智能促进协会）和ACM（计算机械协会）的研究员，以及ACM / SIGART自治代理的接受者，克里斯托弗·哥伦布奖学金基金会保障奖，......金宝博娱乐阅读更多 ”
新报告：“响度：偏好关系的前瞻”
今天，我们通过Benja Fallenstein和Nisan Stiennon发布了来自2014年5月研讨会的第一篇技术报告：“响度：偏爱偏好关系”。该研讨会的其他技术报告也在进入。这是本报告的摘要：这是2014年5月Miri Workshop讨论的问题的快速撰写：如何......阅读更多 ”
Miri希望为您的独立组织的友好AI研讨会提供资金
为了支持世界各地的友好AI研究，我们的新Mir金宝博娱乐ix计划资金数学家，计算机科学家和正式哲学家来组织自己的友好AI研讨会。一个米西克斯车间可以像收集你的一些朋友一样简单，以便一起读miri文件，谈论他们，吃一些小吃，涂上白板上的一些想法，......阅读更多 ”
亚伦坟墓对人群沟通的正式验证
Aaron Tomb是Galois的主要调查员，他的工作包括用于分析软件的自动化和半自动化技术领域的研究，开发和项目领导，包括型式系统，缺陷检测工具金宝博娱乐，正式验证和更多通用软件金宝博官方基于阅比，开发工具基于对节目语义的深度分析。他加入了2007年的伽罗尼，......阅读更多 ”
Lennart Beringer在已验证的软件工具链上
Lennart Beringer是普林斯顿大学的副教育学者，他使用金宝博娱乐互动证明助理来开发可证明的正确编译器，程序分析和其他软件验证工具。此前，他在Ludwig-Maximili金宝博娱乐ans-University慕尼黑和爱丁堡大学举行了研究约会，在那里他开发了移动代码架构的证明码技术，专注于...的属性阅读更多 ”
Johann Schumann高保证系统金宝博官方
Johann Schumann博士是NASA AMES强大的软件工程集团RSE的成员。他从德国TechnischeUniversitätMünchen获得的适用度（2000），就在软件工程中的自动定理普通应用。他的博士论文（1991年）是在高性能平行定理普罗维者上。舒曼博士正在从事软件和......金宝博娱乐阅读更多 ”
自治工人的桑德文
Sandor Veres教授在匈牙利出生和教育，如应用数学家。他在1983年在随机系统的动态建模中完成了他的博士学位，并在计算机控制系统中工作。金宝博官方1987-1988年，他在伦敦帝国学院和牛津大学的连续两项奖学金。1989 - 1999年间，他是......的讲师......阅读更多 ”
