![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Jamie Vicary - Department of Computer Science, University of Oxford
Wednesday 01 February 2017, 16:15-17:15
GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
- 👤 Speaker: Jamie Vicary - Department of Computer Science, University of Oxford
- 📅 Date & Time: Wednesday 01 February 2017, 16:15 - 17:15
- 📍 Venue: Lecture Theatre 1, Computer Laboratory
Abstract
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!
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- Martin's interesting talks
- ndk22's list
- ob366-ai4er
- rp587
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.