Panel discussion: simplicity & legibility of (in)formal mathematical proofs

Name: Panel discussion: simplicity & legibility of (in)formal mathematical proofs
Start: 2026-12-09T13:30:00+00:00
End: 2026-12-09T15:00:00+00:00
Location: Seminar Room 1, Newton Institute

Hosted by Isaac Newton Institute Seminar Series

Wednesday 9 December 2026, 13:30

Venue time (London)

Seminar Room 1, Newton Institute

Wednesday 9 December 2026, 13:30Venue time (London)

Wednesday 9 December 202613:30 · Venue time (London)

Seminar Room 1, Newton Institute

Price on the ticket pageTickets sold by talks.cam.ac.uk

Bookvia talks.cam.ac.uk

Downloads an .ics file · Times are in Europe/London · Google Calendar

Hey, how's it going? Panel discussion looks like it should be pretty interesting. Want me to help you organise around it?

Event details

Tickets sold by talks.cam.ac.uk

Price on the ticket page

Add to calendar · Downloads an .ics file · Times are in Europe/London · Google Calendar

Series: Isaac Newton Institute Seminar Series

Note: OFIW80 - Prospects for mechanising feasible mathematics

More like this near Cambridge

Uncover Cambridge’s secrets with a thrilling escape game!Wed 4 Nov · 7am · Parker's Piece

Dive into Liverpool’s mysteries with an exhilarating escape game!Wed 4 Nov · 7am · Parker's Piece

Discover Liverpool’s gems with a scavenger hunt by World City Trail!Wed 4 Nov · 7am · Parker's Piece

Explore Cambridge’s gems with a fun scavenger hunt by World City Trail!Wed 4 Nov · 7am · Parker's Piece

Cyber Security for Business LeadersWed 4 Nov · 8:30am · St John's Innovation Centre

Also on in Cambridge

Ask Palaner

Going to Panel discussion? Ask me anything about it.

I read the organiser's pages and answer in a few seconds.

Answers are AI-generated · Privacy