Lawrence Paulson

Name:	Lawrence Paulson
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Thu Jul 06 13:28:38 +0000 2017

Public lists managed by Lawrence Paulson

Talks given by Lawrence Paulson

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Title to be confirmed
• Title to be confirmed
• Formalising (part of) the Diagonal Ramsey Paper
• Formalising Erdős and Larson: Ordinal Partition Theory
• Formalised Mathematics: Obstacles and Achievements
• The Relative Consistency of the Axiom of Choice, Mechanized Using Isabelle/ZF
• Automatic Proof for Theorems On Transcendental Functions

Talks organised by Lawrence Paulson

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Lawrence Paulson actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.