skip to content
About us
Support the INI
Contact Us
Search site
Home
About us
A brief history
Short film on INI's origins, aims and objectives
Governance
Fellowships & distinguished visitors
Art and Artefacts
Who was Isaac Newton?
Testimonials
Support the INI
Development Board
Donate Online
Contact Us
Staff list
How to find us
Opening Hours
Vacancies at INI
Current visitors
Home
Programmes & Events
Overview
Scientific Programmes
Overview
Big proof
Overview
Participants
Preprints
Seminars
Overview
Social proof: social session on the POPL experience
Workshops and Other Events
Current programmes
Future programmes
Past programmes
Programmes by Year
Associated workshops
Events calendar
Seminars calendar
Seminars archive
Submit a proposal
Talks elsewhere
How to participate
Watch Live
Documents & reports
Overview
Preprints
Annual Reports
Programme reports
Programmes & workshops poster
Outreach & Engagement
Overview
Correspondents Network
Women in Mathematics
Cambridge Festival
Open for Business
Junior Members
Initiatives archive
Participants from developing countries
Summer (Autumn, Winter and Spring) Schools
Information for visitors
Overview
Institute A-Z
Accommodation & Housing
Length of stay
Computing help
Library services
Meeting Rooms and Audio Visual Support
Childcare
Visitors with a disability
Green Impact at INI
Data Policy and Code of Conduct
Log in to ISAAC
News & Media
Overview
INI news
INI news bulletin
INI podcast
Video interviews
Case studies
Programmes & workshops poster
Summer Maths Puzzles
Advent Blackboards
Gateway
Social proof: social session on the POPL experience
Isaac Newton Institute for Mathematical Sciences
Programmes & Events
Scientific Programmes
Big proof
Seminars
Overview
Social proof: social session on the POPL experience
Participants
Preprints
Workshops and Other Events
Presented by:
Ursula Martin
Date:
Tuesday 18th July 2017 -
16:30
to
17:30
Venue:
INI Seminar Room 2
Event:
[BPR] Big proof
