BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260501T194309Z
DTSTART;TZID=Europe/London:20120618T100000
DTEND;TZID=Europe/London:20120623T180000
SUMMARY:Computability in Europe 2012: How the World Computes
UID:20260505T161119Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:Europe/London
LOCATION:Cambridge\, United Kingdom
DESCRIPTION:<p>CiE 2012 is one of a series of special events\, running throughout the Alan Turing Year\, celebrating Turing's unique impact on mathematics\, computing\, computer science\, informatics\, morphogenesis\, artificial intelligence\, philosophy and computational aspects of physics\, biology\, linguistics\, connectionist models\, economics and the wider scientific world.<br><br>CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates.<br><br><strong>Plenary speakers</strong>&nbsp\;include:<br>Andrew Hodges (Oxford\, Special Invited Lecture)\, Ian Stewart (Warwick\, Special Public Lecture)\, Dorit Aharonov (Jerusalem)\, Veronica Becher (Buenos Aires)\, Lenore Blum (Carnegie Mellon)\, Rodney Downey (Wellington)\, Yuri Gurevich (Microsoft)\, Juris Hartmanis (Cornell)\, Richard Jozsa (Cambridge)\, Stuart Kauffman (Vermont/ Santa Fe)\, James Murray (Washington/ Oxford\, Microsoft Research Lecture)\, Stuart Shieber (Harvard)\, Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard\, jointly organised lecture with King's College).</p>\n<p><strong>Special sessions</strong>&nbsp\;include:<br><br>* Cryptography\, Complexity\, and Randomness<br>Chairs: Rod Downey and Jack Lutz<br>Speakers so far: Eric Allender\, Laurent Bienvenu\, Lance Fortnow\, Valentine&nbsp\;Kabanets\, Omer Reingold\, Alexander Shen + Panel Discussion on Future&nbsp\;Directions<br><br>* The Turing Test and Thinking Machines<br>Chairs: Mark Bishop and Rineke Verbrugge<br>Speakers: Bruce Edmonds\, John Preston\, Susan Sterrett\, Kevin Warwick\, Jiri&nbsp\;Wiedermann + Panel Discussion on Future Directions<br><br>* Computational Models After Turing: The Church-Turing Thesis and Beyond<br>Chairs: Martin Davis and Wilfried Sieg<br>Speakers: Giuseppe Longo\, Peter Nemeti\, Stewart Shapiro\, Matthew&nbsp\;Szudzik\, Philip Welch\, Michiel van Lambalgen<br><br>* Morphogenesis/Emergence as a Computability Theoretic Phenomenon<br>Chairs: Philip Maini and Peter Sloot<br>Speakers: Jaap Kaandorp\, Shigeru Kondo\, Nick Monk\, John Reinitz\, James&nbsp\;Sharpe\, Jonathan Sherratt<br><br>* Open Problems in the Philosophy of Information<br>Chairs: Pieter Adriaans and Benedikt Loewe<br>Speakers: Patrick Allo\, Luis Antunes\, Mark Finlayson\, Amos Golan\, Ruth&nbsp\;Millikan + Panel Discussion on Future Directions<br><br>* The Universal Turing Machine\, and History of the Computer<br>Chairs: Jack Copeland and John Tucker<br>Speakers so far: Steven Ericsson-Zenith\, Ivor Grattan-Guinness\, Mark&nbsp\;Priestley\, Robert I. Soare + Panel Discussion<br><br>There will be the annual Women in Computability Workshop\, supported by a&nbsp\;grant from Elsevier\, with contributions from Lenore Blum\, Dorit Aharonov&nbsp\;and Ann Copestake.<br><br><strong>Programme committee:</strong></p>\n<ul>\n<li>Samson Abramsky (Oxford) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Pieter Adriaans (Amsterdam)</li>\n<li>Franz Baader (Dresden) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Arnold Beckmann (Swansea)</li>\n<li>Mark Bishop (London) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Paola Bonizzoni (Milan)</li>\n<li>Luca Cardelli (Cambridge) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Douglas Cenzer (Gainesville)</li>\n<li>S Barry Cooper (Leeds\, Co-chair) &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Ann Copestake (Cambridge)</li>\n<li>Anuj Dawar (Cambridge\, Co-chair) &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Solomon Feferman (Stanford)</li>\n<li>Bernold Fiedler (Berlin) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Luciano Floridi (Hertfordshire)</li>\n<li>Martin Hyland (Cambridge) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Marcus Hutter (Canberra)</li>\n<li>Viv Kendon (Leeds) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Stephan Kreutzer (Oxford)</li>\n<li>Ming Li (Waterloo) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Benedikt Loewe (Amsterdam)</li>\n<li>Angus MacIntyre (London) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Philip Maini (Oxford)</li>\n<li>Larry Moss (Bloomington) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Amitabha Mukerjee (Kanpur)</li>\n<li>Damian Niwinski (Warsaw) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;</li>\n<li>Dag Normann (Oslo)</li>\n<li>Prakash Panangaden (Montreal) &nbsp\; &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Jeff Paris (Manchester)</li>\n<li>Brigitte Pientka (Montreal) &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Helmut Schwichtenberg (Munich)</li>\n<li>Wilfried Sieg (Carnegie Mellon) &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Mariya Soskova (Sofia)</li>\n<li>Bettina Speckmann (Eindhoven) &nbsp\; &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Christof Teuscher (Portland)</li>\n<li>Peter van Emde Boas (Amsterdam) &nbsp\; &nbsp\; &nbsp\;</li>\n<li>Jan van Leeuwen (Utrecht)</li>\n<li>Rineke Verbrugge (Groningen)</li>\n</ul>\n<p>The <strong>programme committee</strong>&nbsp\;cordially invites all researchers (European and&nbsp\;non-European) in computability related areas to submit abstracts of their&nbsp\;proposed presentations (in PDF-format\, max 1 page) for CiE 2012. We&nbsp\;particularly invite papers that build bridges between different parts of&nbsp\;the research community.<br><br><strong>Organising committee:</strong> Arnold Beckmann (Swansea)\, Luca Cardelli&nbsp\;(Cambridge)\, S Barry Cooper (Leeds)\, Ann Copestake (Cambridge)\, Anuj Dawar&nbsp\;(Cambridge\, Chair)\, Martin Hyland (Cambridge)\, Benedikt Loewe (Amsterdam)\,&nbsp\;Arno Pauly (Cambridge)\, Andrew Pitts (Cambridge)<br><br></p>\n<p>Contact: Anuj Dawar - <a href="mailto:anuj.dawar@cl.cam.ac.uk">anuj.dawar@cl.cam.ac.uk</a></p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR