BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interest Group in Formal Mathematics: Natural Language Proof Check
 ing - The Naproche System - Cramer\, M\, Koepke\, P\, Schroeder\, B (Unive
 rsities of Bonn and Duisburg/Essen)
DTSTART:20120328T130000Z
DTEND:20120328T150000Z
UID:TALK37152@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:We shall present the Naproche Proof Checking System which acce
 pts mathematical text formulated in a controlled natural language close to
  the mathematical vernacular. The project involves work on several levels:
  linguistics for processing the input language\, logic for providing natur
 al proof methods\, and mathematics for the formalization process and backg
 round theories. We shall shall discuss some "natural" example texts accept
 able by the System.\n\n
LOCATION:Discussion Room\, Newton Institute
END:VEVENT
END:VCALENDAR