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