BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE - Jamie Vicar
 y - Department of Computer Science\, University of Oxford
DTSTART:20170201T161500Z
DTEND:20170201T171500Z
UID:TALK69594@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:Across computer science\, physics and mathematics\, diagrammat
 ic techniques---in which formal proofs are represented as a sequence of im
 ages\, rather than strings of symbols---are becoming increasingly popular.
  This raises a number of problems: how can we encode these diagrams combin
 atorially\, and use computers to generate and manipulate them\, as well as
  verify the proof we construct? I will present web-based a new proof assis
 tant\, GLOBULAR\, that aims to make diagrammatic techniques easy to use. T
 his talk will be given at an accessible level\, and will include a demonst
 ration---bring your laptop and follow along!
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR