75 Years of λ-Calculus

Date/Time
Date(s) - 15/06/2012
9:00 am - 5:00 pm

Location
The Royal College of Surgeons, King Khalid Building Symposium Hall


In 1936, Alonzo Church’s foundational paper, “An unsolvable problem of elementary number theory”, introduced the λ-calculus which, with Turing machines, now underpins contemporary theoretical and practical Computer Science. To celebrate the 75th anniversary of the publication of this seminal work we are holding a one day International Workshop, in St Andrews on 15 June 2012, immediately following the 2012 International Symposium on Trends in Functional Programming (TFP).

http://msp.cis.strath.ac.uk/lambda2012/

Dates
* 27 January: Paper submission
* 2 March: Notification of acceptance/rejection for workshop
* 18 May: Deadline for draft proceedings
* 15 June: Workshop
* 31 August: Deadline for HOSC special issue
* 30 November: Notification of acceptance/rejection for HOSC

This entry was posted in .