Southwest Jiaotong University School of Mathematics

信息与计算科学系

首页  >  学术科研  >  信息与计算科学系  >  正文

美国迈阿密大学Geoff Sutcliffe教授报告

来源:数学学院   作者:数学学院     日期:2021-11-05 16:41:02   点击数:  

报告人:Geoff Sutcliffe教授 美国迈阿密大学计算机科学系

报告题目:The CADE-28 Automated Theorem Proving System Competition - CASC-28 (CASC-28 -国际自动定理证明器竞赛)

报告时间:2021年11月12日(星期五)20:30-22:00

报告地点:Zoom平台,ID:922 5139 0082,https://miami.zoom.us/j/92251390082

主持人:陈树伟

报告人简介:Geoff Sutcliffe is a Professor and the Chair of the Department of Computer Science at the University of Miami. He received a BSc(Hons) and MSc from the University of Natal, and a PhD in Computer Science from the University of Western Australia. His research is in the area of Automated Reasoning, particularly in the evaluation and effective use of automated reasoning systems. His most prominent achievements are: the first ever development of a heterogeneous parallel deduction system, leading to the development of the SSCPA automated reasoning system; the development and ongoing maintenance of the TPTP problem library, which is now the de facto standard for testing classical logic automated reasoning systems; the development and ongoing organization of the CADE ATP System Competition - the world championship for classical logic automated reasoning systems; and the specification of the TPTP language standards for automated reasoning tools. The research has been supported by grants from the National Science Foundation, the German Ministry for Research, the Australian Research Council, the European Union, and internal university grants from Edith Cowan University, James Cook University, and the University of Miami. The research has produced over 125 refereed journal, conference, and workshop papers.

He is an editor of Acta Informatica and the Formalised Mathematics journal, and has been guest editor of several special journal issues on topics in automated reasoning. He has contributed to the automated reasoning and artificial intelligence communities as a conference or program chair of (several instances of) the International Conference on Automated Deduction (CADE), the International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), and the International Florida Artificial Intelligence Research Society (FLAIRS). He was co-founder and organizer of the "ES*" series of workshops on Empirically Successful Automated Reasoning. He regularly serves as a program committee member and reviewer for automated reasoning and artificial intelligence journals and conferences. He has served three terms as a CADE trustee, is on the LPAR steering committee, is on the Linking Research Globally (LRG) steering committee, and is currently the president of FLAIRS. As a faculty member at the University of Miami he is currently chair of the College of Arts and Sciences curriculum committee.

报告内容简介:The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This talk presents an outline of the competition design and a commentated summary of the results.