BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Theory behind TheoryMine - Professor Alan Bundy (University of
  Edinburgh)
DTSTART:20120308T180000Z
DTEND:20120308T191500Z
UID:TALK35681@talks.cam.ac.uk
CONTACT:26108
DESCRIPTION:We describe the technology behind the TheoryMine novelty gift 
 company\, which sells the rights to name novel mathematical theorems. A to
 wer of four computer systems is used to generate recursive theories\, to s
 peculate conjectures in those theories and then to prove these conjectures
 . All stages of the process are entirely automatic. The process guarantees
  large numbers of sound\, novel theorems of some intrinsic merit.
LOCATION:Mong Hall\, Sidney Sussex College
END:VEVENT
END:VCALENDAR