美国迈阿密大学Geoff教授来我校讲学并开展科研合作交流

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

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

         1.Discussion about the agenda；

                    2.SCAVEL lab visit；

                    3.Seminar one；Seminar tow；Seminar 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.