International Workshop on 75 Years of the λ-Calculus

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

15 June 2012

University of St Andrews
Scotland

http://msp.cis.strath.ac.uk/lambda2012
Call for Participation flyer

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

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 http://cs.au.dk/~hosc/.

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

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.

Robert Atkey, University of Strathclyde
Dan Dougherty, WPI
Maribel Fernandez, Kings College London
Philip Scott, University of Ottawa

Workshop Chairs
Contact/Submission

Patricia Johann, University of Strathclyde
Greg Michaelson, Heriot-Watt University
G.Michaelson@hw.ac.uk

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 http://cs.au.dk/~hosc/.
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
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.	Robert Atkey, University of Strathclyde Dan Dougherty, WPI Maribel Fernandez, Kings College London Philip Scott, University of Ottawa
Workshop Chairs	Contact/Submission
Patricia Johann, University of Strathclyde Greg Michaelson, Heriot-Watt University	G.Michaelson@hw.ac.uk