[TYPES/announce] CfP: International Workshop on 75 Years of the Lambda Calculus

Patricia Johann Patricia.Johann at cis.strath.ac.uk
Sat Oct 29 10:41:42 EDT 2011

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


   Sponsored by Scottish Informatics & Computer Science Alliance (SICSA)

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

Church's life & work
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 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/


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:

More information about the Types-announce mailing list