[Edinburgh-pm] [Fwd: Fwd: Proofs are Programs: 19th Century Logic and 21st Century Computing on the 16th March]

[Nick Woolley]

Miles Gould wrote:
> Looks intriguing! But what kind of level will the talk be pitched at?

Cafe Scientifique is aimed at Joe Public, so he ought not go into 
esoteric details.  The main problem is that the venue is a bit short of 
space... arrive early.

N