International Workshop on 75 Years of the λ-Calculus
-- Call for Papers --



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
  • Church's life and work
  • Origins/history
  • Computability
  • Programming language design and implementation
  • Logic, proof, and reasoning

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

Invited Speakers

Dates (all 2012)
  • Henk Barendregt, University of Nijmegen
  • Chris Hankin, Imperial College
  • Fairouz Kamareddine, Heriot-Watt University
  • Roger Hindley, Swansea University
  • 27 January: 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


Programme Committee
Registration will be through TFP at
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.
  • Robert Atkey, University of Strathclyde
  • Dan Dougherty, WPI
  • Maribel Fernandez, Kings College London
  • Philip Scott, University of Ottawa

Workshop Chairs

  • Patricia Johann, University of Strathclyde
  • Greg Michaelson, Heriot-Watt University