当前位置:官网首页 > 学生发展 >
2019年全国数理逻辑年会在渝召开
发布日期:2019-12-08

11月15日-17日,全国数理逻辑年会暨学术会议在重庆举行。本会议我国数学会数理逻辑专业委员会主办,我国科学院重庆绿色智能技能研讨院、西南大学和重庆交通大学联合承办。 

会议开幕式由西南大学核算机学院刘志明教授掌管。我国科学院重庆绿色智能技能研讨院党委书记、副院长韦方强研讨员在开幕式致辞,对参会人员表明欢迎并介绍我院院情。我国数学会数理逻辑专业委员会主任、四川大学数学院张树果教授代表学会宣布说话。我院信息所相关科研团队参加了本次会议,高性能核算研讨中心刘江副研讨员担任本届会议安排委员会主席。 

数理逻辑年会旨在为数理逻辑及其相关范畴的研讨学者供给一个广泛的沟通、协作渠道,促进我国数理逻辑及其相关范畴研讨的开展。本次会议约请了新加坡国立大学庄志达教授、美国加州大学Theodore A. Slaman教授、日本神户大学Joerg Brendle教授、波兰华沙大学Krzsztof Krupinski教授、中科院软件所张健教授等逻辑学家和核算机科学家作大会陈述。一起,会议还约请到了国内外数理逻辑、核算机逻辑、哲学逻辑、形式化办法与人工智能等学科、范畴的闻名教授、专家作会议专题陈述。来自全国高校、科研院所以及国外逻辑界近100名代表参会。

韦方强书记致辞

代表合影

 

上一篇:没有了
下一篇:没有了

主页    |     学校概况    |     校园动态    |     学生发展    |     科学建设    |     招生快讯    |     教师论坛    |     濂溪校区    |     学校风景    |