BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Wednesday Seminars - Department of Computer Scienc
 e and Technology 
SUMMARY:The TPTP World - Infrastructure for Automated Reas
 oning - Dr Geoff Sutcliffe - Department of Compute
 r Science\, University of Miami\, USA
DTSTART;TZID=Europe/London:20250507T150500
DTEND;TZID=Europe/London:20250507T155500
UID:TALK220180AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/220180
DESCRIPTION:The TPTP World is the established infrastructure u
 sed by the Automated Theorem Proving (ATP) communi
 ty for research\, development\, and deployment of 
 ATP systems. The data\, standards\, and services p
 rovided by the TPTP World have made it easy to dev
 elop\, evaluate\, and deploy ATP technology. This 
 talk and tutorial reviews the core features of the
  TPTP World\, describes key services of the TPTP W
 orld\, and presents some successful applications. 
 The use of ATP as the reliable substrate to subsym
 bolic AI systems (e.g.\, LLMs)\, to form neurosymb
 olic AI systems\, is reviewed.\n\nLink to join vir
 tually: https://cam-ac-uk.zoom.us/j/87421957265\n\
 nA recording of this talk is available at the foll
 owing link: https://www.cl.cam.ac.uk/seminars/wedn
 esday/video/\n\nThis talk is being recorded. If yo
 u do not wish to be seen in the recording\, please
  avoid sitting in the front 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 the Department’s webpage
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William 
 Gates Building
CONTACT:Ben Karniely
END:VEVENT
END:VCALENDAR