研究所 形式化模型 和验证
正式教授职位在FMV(飞行管理车辆)
Daniela获得2020年GI论文奖考夫曼
丹妮拉考夫曼收到了GI论文奖2020 2021年授予她博士论文由德国的(GI),
奥地利(OGC)、和瑞士(SI)计算机科学关联。LIT系列讲座AI
2020年11月3日,星期二,14:00-15:00,网络空间
乔治戈特洛布牛津大学和维也纳大学
我的Datalog冒险: 走在理论与实践之间的一线 在我们的人工智能系列讲座.
硬件模型检查竞赛2020
有组织的HWMCC’20隶属于FMCAD’20 再次关注BTOR2号机组单词级模型。 模型检查截止日期9月1日, 更新和基准测试,直到9月8日. HWMCC会议结果FMCAD’20.
2020年SAT竞赛中的Kissat
我们的新SAT解决方案基萨特 在主赛道上获得第一名 这个坐2020年竞争.
LIT系列讲座AI
2020年1月21日,星期二,14:00-15:00,HS 1
霍尔格呼来自莱顿大学的
解决人工智能问题人工智能自动化带来的人才瓶颈 在我们的人工智能系列讲座.
计算机科学座谈会
2019年10月1日,JKU管理中心 MZ 202B二楼14:00-15:00
Günther公司Raidl公司TU Wien谈到
决策组合优化中的图 在里面我们的座谈会
硬件模型检查竞赛2019
组织HWMCC’19隶属于FMCAD’19 关注单词级模型检查BTOR2号机组模型。 模型检查截止日期9月28日, 更新和基准测试,直到10月13日.
2019年1月IJCAI奖
计算机科学座谈会
2018年11月12日,科学园S3 055,17:15-18:00
拉杜·格罗苏谈论
走向可解释RNNs:建模、学习和验证 在里面我们的座谈会
计算机科学座谈会
2018年10月15日,科学园3,218,12:00-12:45
艾伦米申科谈论
整合AIG软件包、模拟器和SAT求解器 在里面我们的座谈会
CAV 2018奖
计算机科学座谈会
计算机科学座谈会
2018年1月18日,科学园3,218,10:15-11:00
拉杜·马尔代尔会谈关于
定量等式推理 在里面我们的座谈会
硬件模型检查竞赛2017
ETAPS’17时间测试奖
计算机科学座谈会
2017年3月1日,科学园3,HS 19,13:00-14:00
塞巴斯蒂安·加布迈耶谈论
象征的图变换系统的验证 使用硬件模型检查器 在里面我们的座谈会
计算机科学座谈会
2017年3月6日,科技园S2 Z74 13:00-14:00
克利福德·沃尔夫谈论
正式Verilog HDL的验证 Yosys-SMTBMC和SymbiYosys 在里面我们的座谈会 随后在14:00-15:00进行讨论
关于自动推理的JAR特刊系统
特殊问题属于1月论工程方面 自动推理系统。
提交截止日期为2017年4月3日。 【网页 | 杂志 ]
计算机科学座谈会
Marijn鞋跟,得克萨斯大学奥斯汀分校
一切都是德克萨斯州更大:有史以来最大的数学证明
网页具有大量新闻报道,相关论文在2016年夏令时 2016年6月22日17:15-18:15,S3 HS18,信息学,日本理工大学
计算机科学座谈会
HVC’15奖
阿明·比尔收到了HVC’15奖 过去五年最具影响力的作品 在正式验证、模拟和测试中。
公开博士和博士后职位
硬件模型检查竞赛2015
新软件版本
FLoC’14奥运会
最具影响力论文奖
信息电子座谈会
Mo Movahed、Fahim Rahim、Hans-Jörg Peter
阿特伦塔-使用形式化方法的早期设计结束 3月13日星期四,MT 226,科学公园1,08:30-10:00
TAP’14会议
硬件模型检查竞赛2014 CAV’14版
CAV’14会议
帮助组织第26届会议
计算机辅助验证(CAV’14) 的一部分维也纳逻辑之夏.
QBF画廊2014
ReRISE’14冬季学校
谈话通过安德烈·沃伦科夫在
求解系统线性不等式 按边界传播 在里面我们的座谈会2013年10月9日 14:00-15:00,S3 055,Informatik。
高德纳
较老的事件
|
|