BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The TPTP World - Infrastructure for Automated Reasoning - Dr Geoff
  Sutcliffe - Department of Computer Science\, University of Miami\, USA
DTSTART:20250507T140500Z
DTEND:20250507T145500Z
UID:TALK220180@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:The TPTP World is the established infrastructure used by the A
 utomated Theorem Proving (ATP) community for research\, development\, and 
 deployment of ATP systems. The data\, standards\, and services provided by
  the TPTP World have made it easy to develop\, evaluate\, and deploy ATP t
 echnology. This talk and tutorial reviews the core features of the TPTP Wo
 rld\, describes key services of the TPTP World\, and presents some success
 ful applications. The use of ATP as the reliable substrate to subsymbolic 
 AI systems (e.g.\, LLMs)\, to form neurosymbolic AI systems\, is reviewed.
 \n\nLink to join virtually: https://cam-ac-uk.zoom.us/j/87421957265\n\nA r
 ecording of this talk is available at the following link: https://www.cl.c
 am.ac.uk/seminars/wednesday/video/\n\nThis talk is being recorded. If you 
 do not wish to be seen in the recording\, please avoid sitting in the fron
 t three rows of seats in the lecture theatre. Any questions asked will als
 o be included in the recording. The recording will be made available on th
 e Department’s webpage
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR