75 Years of λ-Calculus

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

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).


* 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 .