2026 年人工智能与软件工程形式化方法 (FMAS) 研讨会公布了其受邀演讲嘉宾。来自波鸿鲁尔大学和奈梅亨拉德伯德大学的 Nils Jansen 教授,以及来自爱丁堡大学的 Elizabeth Polgreen 博士将发表主题演讲。关于他们具体演讲内容的进一步详情预计将很快公布。 AI
排序理由 这是关于研讨会演讲嘉宾的公告,而非核心人工智能发布或重要行业活动。
在 Mastodon — sigmoid.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →