发表服务
自动推理会议 / 自动推理国际联合会议 125 IEEE Conference on Computational Complexity CCC IEEE 计算复杂性会议 126 International Colloquium on Automata, Languages and …
近日，我中心自然语言处理研究组一篇论文被Artificial Intelligence期刊录用。Artificial …
《自动推理杂志》IF:1.636 ISSN: 0168-7433（P） 斯普林格出版集团旗下学术期刊，创刊于1985年，出版周期为每年8期。期刊主要收录与自动推理相关的学术研究成果，如推理机等。期刊现任主编为慕尼黑理工大学教授Tobias Nipkow。期刊研究领域和收录范围
主 题：信工学院学术讲座： 程序验证与自动推理 主 讲 人： 吴志林 副研究员（中科院软件所） 时 间： 2017.12.27，星期三，10:00-11:20 地 点 ： 首师大北二区教学楼大会议室 主 办 单 位：信息工程学院 主讲学者简介： 中国科学院软件 ...
2020年电子通信与人工智能国际会议（IWECAI 2020） 将于2020年6月12日至14日在中国青岛举行。 IWECAI是汇聚业界和学术界的顶级论坛，会议将邀请国内外著名专家就以传播电子通讯及人工智能方法和技术领域的技术进步、研究成果和应用做专题报告，同时进行学术交流。
他的研究领域包括自动推理、符号计算、形式化方法。 他长期担任 Journal of Symbolic Computation ， Journal of Automated Reasoning 等相关领域国际主流杂志的编委（其中 1993 至 2007 年担任 Journal of Automated Reasoning …
《国际神经系统杂志》 排名：491 影响因子：6.333 《国际神经系统杂志》是一本双月刊的同行评议期刊，关注自然和人工神经系统的信息处理。主要发表涉及这一课题的物理，生物学，心理学，计算机科学和工程等的各个方面的原创性贡献。
国际机器证明研究领域的权威人物J.S.穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴的工作给整个领域带来光明。”吴文俊对于今天的中国老百姓来说，或许一些人很陌生，但是，他对于中国,吴文俊：“数学机械化之父”的圆满句号--期刊选粹
学术报告：基于非单调Lyapunov函数的切换系统可稳定性分析. 发送部门：科学技术处 发布日期： 2021-06-24. 报告题目： 基于非单调 Lyapunov 函数的切换系统可稳定性分析. 报告人： 佘志坤 教授. 报告时间： 2021 年 6 月 2 5 日 （ 星期五 ） 15:30-16:30. 报告地点： …
1997 年吴文俊由于其在 “ 几何自动推理领域的先驱性工作 ” 被授予 “Herbrand 自动推理杰出成就奖 ”。该奖有国际自动推理学会颁发，用于奖励 “ 对自动推理作出杰出贡献的个人或集体 ”。以前的获奖人包括自动推理创始人之一 Larry Wos，自动推理创始人之一、前美国人工智能学会主席 Woody …
自动推理会议 / 自动推理国际联合会议 125 IEEE Conference on Computational Complexity CCC IEEE 计算复杂性会议 126 International Colloquium on Automata, Languages and …
近日，我中心自然语言处理研究组一篇论文被Artificial Intelligence期刊录用。Artificial …
《自动推理杂志》IF:1.636 ISSN: 0168-7433（P） 斯普林格出版集团旗下学术期刊，创刊于1985年，出版周期为每年8期。期刊主要收录与自动推理相关的学术研究成果，如推理机等。期刊现任主编为慕尼黑理工大学教授Tobias Nipkow。期刊研究领域和收录范围
主 题：信工学院学术讲座： 程序验证与自动推理 主 讲 人： 吴志林 副研究员（中科院软件所） 时 间： 2017.12.27，星期三，10:00-11:20 地 点 ： 首师大北二区教学楼大会议室 主 办 单 位：信息工程学院 主讲学者简介： 中国科学院软件 ...
2020年电子通信与人工智能国际会议（IWECAI 2020） 将于2020年6月12日至14日在中国青岛举行。 IWECAI是汇聚业界和学术界的顶级论坛，会议将邀请国内外著名专家就以传播电子通讯及人工智能方法和技术领域的技术进步、研究成果和应用做专题报告，同时进行学术交流。
他的研究领域包括自动推理、符号计算、形式化方法。 他长期担任 Journal of Symbolic Computation ， Journal of Automated Reasoning 等相关领域国际主流杂志的编委（其中 1993 至 2007 年担任 Journal of Automated Reasoning …
《国际神经系统杂志》 排名：491 影响因子：6.333 《国际神经系统杂志》是一本双月刊的同行评议期刊，关注自然和人工神经系统的信息处理。主要发表涉及这一课题的物理，生物学，心理学，计算机科学和工程等的各个方面的原创性贡献。
国际机器证明研究领域的权威人物J.S.穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴的工作给整个领域带来光明。”吴文俊对于今天的中国老百姓来说，或许一些人很陌生，但是，他对于中国,吴文俊：“数学机械化之父”的圆满句号--期刊选粹
学术报告：基于非单调Lyapunov函数的切换系统可稳定性分析. 发送部门：科学技术处 发布日期： 2021-06-24. 报告题目： 基于非单调 Lyapunov 函数的切换系统可稳定性分析. 报告人： 佘志坤 教授. 报告时间： 2021 年 6 月 2 5 日 （ 星期五 ） 15:30-16:30. 报告地点： …
1997 年吴文俊由于其在 “ 几何自动推理领域的先驱性工作 ” 被授予 “Herbrand 自动推理杰出成就奖 ”。该奖有国际自动推理学会颁发，用于奖励 “ 对自动推理作出杰出贡献的个人或集体 ”。以前的获奖人包括自动推理创始人之一 Larry Wos，自动推理创始人之一、前美国人工智能学会主席 Woody …
发表服务