BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Language for Mathematics - Mohan Ganesalingam (University of Cam
 bridge)
DTSTART:20101115T124500Z
DTEND:20101115T140000Z
UID:TALK26711@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:The language used by mathematicians is a distinctive hybrid\, 
 sharing \nfeatures with both natural languages and formal languages. In th
 is talk \nI'll outline its nature and the difficulties one faces in analys
 ing it. \nThis will involve both material from computational linguistics (
 such as \nDiscourse Representation Theory and Montague Grammar) and theore
 tical \ncomputer science (such as type and the lambda calculus). I hope to
  convince \nyou that the techniques from these two different areas fit tog
 ether \nsurprisingly well. At the end of the talk\, I'll briefly outline h
 ow we are \nusing all of this theory to build a compiler that takes in som
 ething very \nclose to normal mathematical language and outputs its conten
 t in a logical \nrepresentation.\n\nThis talk is based on joint work with 
 Thomas Barnet-Lamb.\n
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR