PulseAugur
实时 15:56:48
实体 Artificial Intelligence and Formal Methods

Artificial Intelligence and Formal Methods

PulseAugur coverage of Artificial Intelligence and Formal Methods — every cluster mentioning Artificial Intelligence and Formal Methods across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_127459 ·

    Nils Jansen教授将担任FMAS2026会议主旨演讲嘉宾

    Nils Jansen教授已被宣布为FMAS2026会议的首位受邀演讲嘉宾。他担任鲁尔大学波鸿分校人工智能与形式化方法学主席,同时也是奈梅亨拉德堡大学的副教授。关于他具体演讲的更多细节将在稍后公布。