15 June 2012
University of St Andrews |
Overview
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, papers are invited for presentation
at a one day International Workshop, to be held in St Andrews on 15
June 2012, immediately following the
2012 International Symposium on Trends in Functional Programming (TFP).
Topics | Submissions |
|
Submissions will be "light touch" refereed for relevance before the workshop, and will appear in the draft proceedings. Submission is via Easychair. Full refereeing for publication in a special issue of Higher Order Symbolic Computation will take place after the workshop. Submissions of 16 pages maximum length should be prepared using the Springer format which is available at http://cs.au.dk/~hosc/. |
Invited Speakers |
Dates (all 2012) |
|
|
Registration |
Programme Committee |
Registration will be through TFP at
http://www.cs.st-andrews.ac.uk/~kh/TFP2012/TFP_2012/Home.html
There will be an attendance charge of around £50 for refreshments, lunch, and proceedings. There will be no charge for PhD students from SICSA-affiliated universities. |
|
Workshop Chairs |
Contact/Submission |
|
G.Michaelson@hw.ac.uk |