BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Meeting of the Interest Group on Formal Mathematics: Fine-grained 
 mathematical dependencies in the Mizar proof assistant - Alama\, J (Univer
 sidade Nova de Lisboa (UNL))
DTSTART:20120301T133000Z
DTEND:20120301T150000Z
UID:TALK36765@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:2012/03/01
LOCATION:Discussion Room\, Newton Institute
END:VEVENT
END:VCALENDAR