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:Isaac Newton Institute Seminar Series
SUMMARY:Interest Group in Formal Mathematics: Natural Lang
 uage Proof Checking - The Naproche System - Cramer
 \, M\, Koepke\, P\, Schroeder\, B (Universities of
  Bonn and Duisburg/Essen)
DTSTART;TZID=Europe/London:20120328T140000
DTEND;TZID=Europe/London:20120328T160000
UID:TALK37152AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/37152
DESCRIPTION:We shall present the Naproche Proof Checking Syste
 m which accepts mathematical text formulated in a 
 controlled natural language close to the mathemati
 cal vernacular. The project involves work on sever
 al levels: linguistics for processing the input la
 nguage\, logic for providing natural proof methods
 \, and mathematics for the formalization process a
 nd background theories. We shall shall discuss som
 e "natural" example texts acceptable by the System
 .\n\n
LOCATION:Discussion Room\, Newton Institute
CONTACT:Mustapha Amrani
END:VEVENT
END:VCALENDAR