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

Nick Woolley nickwoolley at yahoo.co.uk
Wed Mar 11 13:02:02 PDT 2009

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.


More information about the Edinburgh-pm mailing list