International Workshop on 75 Years of Lambda Calculus: June 15th 2011

by Greg Michaelson, Oct. 31, 2011

International Workshop on
75 Years of Lambda-Calculus
University of St Andrews, Scotland
15th June, 2012
Call for papers

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

Sponsored by Scottish Informatics & Computer Science Alliance (SICSA)

International Workshop on

75 Years of Lambda-Calculus

University of St Andrews, Scotland

15th June, 2012

Call for papers

 

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

 

Sponsored by Scottish Informatics & Computer Science Alliance (SICSA)

 

Overview

In 1936, Alonzo Church’s foundational “An unsolvable problem of elementary number theory” introduced the Lambda-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 15th June 2012, immediately following the International Symposium on Trends in Functional Programming (TFP).

 

Topics

Church’s life & work

Origins/history

Computability

Programming language design & implementation

Logic, proof & reasoning

 

Guest Speakers

Henk Barendregt, University of  Nijmegen

Chris Hankin, Imperial College

Fairouz Kamareddine, Heriot-Watt University

Gordon Plotkin, University of Edinburgh

 

Workshop Chairs

Greg Michaelson, Heriot-Watt University

Patricia Johann, University of Strathclyde

 

Programme Committee

Robert Atkey, University of Strathclyde

Dan Dougherty, WPI

Maribel Fernandez, Kings College London

Philip Scott, University of Ottawa

 

 

Dates (2012)

27th January: submission

2nd March: notification of acceptance for Workshop

18th May: deadline for draft proceedings

15th June: Workshop

31st August: deadline for HOSC special issue

30th November: notification of acceptance for HOSC

 

Submissions

Submissions will be “light touch” refereed for relevance before the Workshop, and will appear in the draft proceedings, with full refereeing thereafter for publication in a special issue of Higher Order and Symbolic Computation. Submissions should be of 16 pages maximum length in the Springer format from http://cs.au.dk/~hosc/

 

Submission

https://www.easychair.org/conferences/?conf=75ylc

 

Registration

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.

 

Registration will be through TFP:

http://www.cs.st-andrews.ac.uk/~kh/TFP2012/TFP_2012/Home.html