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

[Nick Woolley]

I thought this talk might be interesting to certain readers of this list.

(For those who don't know, Philip Wadler is one of the architects of 
Haskell.)

N

Begin forwarded message:
> *From: *cafe sci <cafe.sci.edinburgh at googlemail.com 
> <mailto:cafe.sci.edinburgh at googlemail.com>>
> *Date: *11 March 2009 16:24:48 GMT
> *To: *cafe sci <cafe.sci.edinburgh at googlemail.com 
> <mailto:cafe.sci.edinburgh at googlemail.com>>
> *Subject: **Proofs are Programs: 19th Century Logic and 21st Century 
> Computing on  the 16th March*
>
> Dear Edinburgh Cafe Sci members,
>
> This Monday the 16th (sorry about the short notice) Professor Philip 
> Wadler winner of the 'Most Influential POPL Paper Award', Director of 
> the Laboratory for the Foundations of Computer Science, at the 
> University of Edinburgh, will be giving a talk about how Logic and 
> Computer programming are intrinsically linked.  I've personally seen a 
> video podcast about this topic, and found it so interesting that I had 
> to invite Prof. Philip Wadler to speak for Cafe Sci.  The link between 
> these two topics is deeper and more intriguing that it might initially 
> appear.
>
>
> Title:  "Proofs are Programs: 19th Century Logic and 21st Century 
> Computing".
> Date: Monday 16th March
> Time: 8.30pm
> Place: Filmhouse cafe bar, lothian road
>
>
> As the 19th century drew to a close, logicians formalized an ideal
> notion of proof. They were driven by nothing other than an abiding
> interest in truth, and their proofs were as ethereal as the mind of
> God. Yet within decades these mathematical abstractions were realized
> by the hand of man, in the digital stored-program computer. How it
> came to be recognized that proofs and programs are the same is a
> story that spans a century, a chase with as many twists and turns as a
> thriller. At the end of the story is a principle for designing
> programming languages that will guide computers into the 21st century.
>
>
> Apologies about the lack of a poster, this definitely does not reflect 
> on the quality of the talk, but on our artist in residence reaching 
> her final exams in her Masters.  Please spread the talk's details by 
> word of mouth.
>
> Also watch out for a summary of the Edinburgh Cafe Sci talk, "Why 
> robots won't rule the world" based on a talk given by Chris Malcolm in 
> February 2008, coming out in the May issue of the EUSci magazine 
> (Edinburgh Science Magazine) available at all university building and 
> Blackwells. http://www.eusci.org/.  It's sure to be jam-packed with 
> interesting scientific articles, my favourite is about the axolotl's 
> amazing ability to regrow their tails, but also other interesting 
> topics such as the 'love' pheromone oxytocin, and light pollution .  
> This is my first published Cafe Sci summary, hopefully more are to 
> follow.  For the rest check out 
> https://www.wiki.ed.ac.uk/display/PSCT/Cafe+Scientifique.
>
> As always cafe sci is free and open to everyone but please either drop 
> me a quick email or reply to the facebook group so we have a rough 
> idea of numbers.
>
> Hope to see you there,
>
> Edward Duca
>
> -- 
> Edinburgh café sci
>
> cafe.sci.edinburgh at googlemail.com 
> <mailto:cafe.sci.edinburgh at googlemail.com>
> www.cafescientifique.org <http://www.cafescientifique.org>
>

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Attached Message Part
URL: <http://mail.pm.org/pipermail/edinburgh-pm/attachments/20090311/15a70d5a/attachment.pl>