[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

       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





More information about the Types-announce mailing list