概述

多年来，英国和德国的自动推理社区已经成功地为在自动推理领域工作的任何人举办了一系列独立的研讨会。虽然他们对公众开放，但过去主要针对英国和德国社区。在维也纳逻辑之夏之际，这两个系列将在维也纳举行联合活动。我们还将参加WING（不变量生成研讨会）和VERIFY研讨会。

格式

本着这两个系列的精神，将不进行正式诉讼。除了两次应邀会谈外，我们还将提供技术贡献。我们将保持两个系列的非正式开放气氛，特别欢迎学生介绍他们的工作。

话题

我们要求所有与自动推理及其应用相关的工作。我们对正在进行的工作和半生不熟的想法的提出特别感兴趣。

文件征集

文件征集

 

组织

项目委员会

目前正在邀请方案委员会。稍后将提供更多信息。