COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE

## GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCEAdd to your list(s) Download to your calendar using vCal - Jamie Vicary - Department of Computer Science, University of Oxford
- Wednesday 01 February 2017, 16:15-17:15
- Lecture Theatre 1, Computer Laboratory.
If you have a question about this talk, please contact David Greaves. Across computer science, physics and mathematics, diagrammatic techniques—-in which formal proofs are represented as a sequence of images, rather than strings of symbols—-are becoming increasingly popular. This raises a number of problems: how can we encode these diagrams combinatorially, and use computers to generate and manipulate them, as well as verify the proof we construct? I will present web-based a new proof assistant, GLOBULAR , that aims to make diagrammatic techniques easy to use. This talk will be given at an accessible level, and will include a demonstration—-bring your laptop and follow along! This talk is part of the Computer Laboratory Wednesday Seminars series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge Big Data
- Computer Laboratory Wednesday Seminars
- Computer Laboratory talks
- Guy Emerson's list
- Lecture Theatre 1, Computer Laboratory
- School of Technology
- computer science
- ndk22's list
- rp587
Note that ex-directory lists are not shown. |
## Other listsEPRG Public Events Linking Health & Sustainability Madingley Lunchtime Seminars## Other talksGiving the Sign: Katherine Mansfield A group-theoretic question arising in Typed set theory MEASUREMENT SYSTEMS AND INSTRUMENTATION IN THE OIL AND GAS INDUSTRY NK cells: in and out of the circulation Planck Stars: theory and observations Pain Assessment |