Alguém tem trabalhos nessa área?
---------- Forwarded message ----------
From: Conor McBride
Date: Mon, Jan 16, 2012 at 1:35 PM
Subject: [Haskell-cafe] Second CfP --- 75 Years of the Lambda Calculus
To: Haskell Cafe , haskell@haskell.org
[posted on behalf of Patricia Johann]
[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/**lambda2012http://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=75ylchttps://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.**htmlhttp://www.cs.st-andrews.ac.uk/~kh/TFP2012/TFP_2012/Home.html
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Giovanni
