[TYPES/announce] Second CfP --- 75 Years of the Lambda Calculus

[Patricia.Johann at cis.strath.ac.uk]

[Please note that the submission deadline is 27 January.
Flyer attached below.  -patty]


      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
Roger Hindley, University of Swansea
Fairouz Kamareddine, Heriot-Watt University

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




-------------- next part --------------
A non-text attachment was scrubbed...
Name: International Workshop on 75 Years of _ Calculus.pdf
Type: application/pdf
Size: 82078 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120116/eef55acb/attachment-0001.pdf>