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.
