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 listsComputer Science Essentials Cambridge University Behavioural Economics Society Next Genration Biophysics; One Day Meeting 27th September 2017## Other talks'An idea whose time has come?' Tracing the history of Universal Basic Income in British politics, 1918-201 Discussion Group Series: Effective Altruism 101 Diversity of the human response to malaria Linear groups without infinite order unipotents Cosmological scalar fields Number theory and classification of integrable systems |