Nos dias 10 e 13 de março, segunda e quinta-feira respectivamente, o Departamento de Ciência da Computação (DCC) da UFMG irá promover palestras com o professor Geoff Sutcliffe (https://www.cs.miami.edu/home/geoff/), da University of Miami. Geoff é um dos principais nomes da comunidade de demonstração automática de teoremas nas últimas décadas e estará no DCC em visita ao grupo de pesquisa do professor Haniel Barbosa.
A primeira palestra será na segunda-feira, 10/03, às 11h, na sala 2013 do ICEx. Já a segunda, será quinta-feira, 13/03, às 9h30, na sala 2077 do ICEx.
A palestra de segunda-feira será uma apresentação geral sobre o projeto TPTP e a segunda um tutorial sobre o universo de ferramentas envolvidas.
– The TPTP World – Infrastructure for Automated Reasoning
The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This talk and tutorial reviews the core features of the TPTP World, describes key service components of the TPTP World and how to use them, and presents some successful applications.
– The TPTP World Tutorial
The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. This tutorial reviews the key components of the TPTP World, examines the logics supported in the TPTP World, shows how problems can be encoded in logic using the TPTP languages, demonstrates and provides practive in solving logic problems using TPTP World online tools, and discusses “logic engineering” principles for solving problems using automated reasoning.
– Bio
Geoff Sutcliffe is a Professor in 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 Theorem Proving (ATP), particularly in the evaluation and effective use of ATP systems. His most prominent achievements are: the first ever development of a eterogeneous parallel automated reasoning system (SSCPA); the development and ongoing maintenance of the TPTP World – the de facto standard framework for developing,testing, and applying ATP systems; and the development and ongoing organization of the CADE ATP System Competition – the world championship for classical logic ATP systems. He is one of the leaders of the StarExec project that provides computing infrastructure to logic-solving communities, to facilitate the experimental evaluation of logic solvers. The research has been supported by grants from the National Science Foundation, the German Ministry for Research, the Australian Research Council, the European Union, Amazon, and internal university grants from Edith Cowan University, James Cook University, and the University of Miami. The research has produced over 160 refereed journal, conference, and workshop papers. He is an editor of Acta Informatica, the Logic Journal of the IGPL, and the Formalised Mathematics Journal. He 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 regularly serves as a program committee member and reviewer for automated reasoning and artificial intelligence journals and conferences. He served three terms as a CADE trustee, is on the LPAR steering committee, and is currently the president of FLAIRS. As a faculty member at the University of Miami he served on the University Curriculum Committee 2011-2017 and 2023 onwards, was chair of the College of Arts and Sciences Curriculum Committee 2012-2019, was chair of the Department of Computer Science 2014-2020, and was chair of the College of Arts and Sciences General Education Review Committee 2022-2025, currently serves as chairman of the Council of the College of Arts and Sciences.
