Diabelli and Speedith: Heterogeneous reasoning and spider diagrams

Add to your list(s) Download to your calendar using vCal

• Matej Urbas (University of Cambridge)
• Tuesday 19 June 2012, 13:00-14:00
• Computer Laboratory, William Gates Building, Room SS03.

If you have a question about this talk, please contact William Denman.

This is a preparation talk for two conference presentations.

The first presentation is about Diabelli, a formal reasoning system that enables users to interactively construct so-called heterogeneous proofs that intermix sentential formulae with diagrams. As a case-study we chose the language of spider diagrams and Isabelle/HOL. The title of the presented paper is: Diabelli: A heterogeneous reasoning framework

The second presentation covers Speedith, our diagrammatic reasoner for spider diagram, which we use in Diabelli as a case-study. The title of the presented paper is: Speedith: a Diagrammatic Reasoner for Spider Diagrams

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Automated Reasoning Group Lunches
• Computer Laboratory, William Gates Building, Room SS03
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.