头条新闻

当前位置: 首页 >> 新闻动态 >> 头条新闻 >> 正文

美国迈阿密大学Geoff教授到实验室开展学术交流活动

来源:   发布者:国地实验室     日期:2018年06月19日 10:13   点击数:  

     2018年6月1日至10日美国迈阿密大学Geoff教授应徐扬教授的邀请到我校访问。先后主讲了多场学术报告会和技术研讨讨论会,指导了实验室一节逻辑证明器的开发、国际竞赛等,并就团队建设和高水平人才引进等工作提出了中肯的建议。

     以下是Geoff教授来访的主要学术活动安排:

        1.Discussion about the agenda;

                   2.SCAVEL lab visit

                   3.Seminar oneSeminar towSeminar third(Prof. Geoff Sutcliffe)

                   4.Seminar "Contradiction Separation Based Dynamic Multi-Clause Synergized Automated Deduction"(Dr. Shuwei Chen)

                   4.Demo and discusion of MS-SCS Prover; (Dr. Xingxing He et al)

                   5.Small group technical discussion;

                   6.Discussion with Prof. Xu’s team about potential cooperation between both sides.