大卫·皮尔斯演讲：逻辑、责任和设计

逻辑、责任和设计
2024年6月5日星期三

Georg Gottlob的LogicLounge 2024

人工智能与人工无知
2024年5月28日星期二16:00

双边人工智能：发现人工智能的下一个维度

FWF资助的卓越集群（CoE）“双边人工智能”旨在为人工智能提供更好、更广泛的技能获取和问题解决能力。由Sepp Hochreiter（JKU Linz）领导的CoE董事会包括著名的AI专家，如VCLA Co-Chair Agata Ciabattoni和VCLA董事会成员Thomas Eiter。

在[…]举行的新闻发布会上

提名征集：VCLA国际学生奖

更新：（自我）提名的截止日期已延长至2024年6月15日！

TU Wien的维也纳逻辑与算法中心要求提名以下两类逻辑与计算机科学领域杰出论文和科学著作的作者：

杰出硕士论文奖*
杰出本科生论文奖（学士论文或[…]

Nick Bezhanishvili的演讲：超直觉和模态逻辑有限模型性质的程度

超直觉和模态逻辑有限模型性质的度
2024年4月16日星期二13:00–14:00

拜伦·库克的演讲：证据的生意

证明业务
2024年4月17日星期三11:15

Reiner Hähnle演讲：上下文软件跟踪合同

上下文软件跟踪合同
2024年3月26日星期二13:00

启动会议：FFG资助的项目“Transformer”

2024年2月29日，FFG资助的项目“Transformer”（称为“Co-Creation Spaces Climate&Energy”）启动会议召开。维也纳逻辑与算法中心（VCLA）很荣幸参与这个项目，在这个项目中，TU Wien的六个学院正在合作提供课外学习机会，重点是[…]

埃米利亚诺·洛里尼的演讲：基于规则的因果推理模态观

基于规则的因果推理模式视图
2024年2月28日星期三17:15

女性在线逻辑（研讨会系列）

女性在线逻辑——网络数学
2024年3月20日星期三17:00