BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Diabelli and Speedith: Heterogeneous reasoning and spider diagrams
  - Matej Urbas (University of Cambridge)
DTSTART:20120619T120000Z
DTEND:20120619T130000Z
UID:TALK38081@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:This is a preparation talk for two conference presentations.\n
 \nThe first presentation is about _Diabelli_\, a formal reasoning system t
 hat enables users to interactively construct so-called heterogeneous proof
 s that intermix sentential formulae with diagrams. As a case-study we chos
 e the language of spider diagrams and Isabelle/HOL. The title of the prese
 nted paper is: "Diabelli: A heterogeneous reasoning framework":http://www.
 cl.cam.ac.uk/~mu232/publications/Diabelli--a%20heterogeneous%20proof%20sys
 tem.pdf\n\nThe second presentation covers _Speedith_\, our diagrammatic re
 asoner for spider diagram\, which we use in Diabelli as a case-study. The 
 title of the presented paper is: "Speedith: a Diagrammatic Reasoner for Sp
 ider Diagrams":http://www.cl.cam.ac.uk/~mu232/publications/Speedith--a%20d
 iagrammatic%20reasoner%20for%20spider%20diagrams.pdf
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR