BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interfacing and improving proof tools - Nik Sultana (University of
  Cambridge)
DTSTART:20140304T130000Z
DTEND:20140304T140000Z
UID:TALK50479@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:In this talk I'll describe different ideas on interfacing logi
 c tools. The case for interfacing such tools together has been made countl
 ess times in the literature\, yet practitioners still lament the difficult
 y of reliably exchanging mathematical data between tools.\n
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR