Events during the Alan Turing centennial celebration
Post date: Jan 25, 2012 2:56:37 AM
- December 13-17, 2011: Breaking the Code by Hugh Whitemore at at the newly refurbished Old Fire Station, on George Street, Oxford. Performed by the Oxford Theatre Guild, and directed by Kevin Elliott, who says: "For a first time director, choice of play is critical. I'd been told that a director should have fallen in love with the play if they were going to do it justice. I'd certainly fallen for Breaking the Code." Contact: Oxford Theatre Guild. Tickets available from Tickets Oxford
- January - December, 2012: An exhibition EMINENT & ENIGMATIC - 10 aspects of Alan Turing at the Heinz Nixdorf MuseumsForum in Paderborn. Its aim is to present Alan Turing's outstanding achievements to visitors in the form of original exhibits and innovative and artistic installations. For details of the opening event GENIAL & GEHEIM, 19:00 on January 10, you can download the flyer. Contact: Andreas Stolte
- January 4-5, 2012: AMS-ASL Special Session on The Life and Legacy of Alan Turing at the 2012 Joint Mathematics Meetings, Hynes Convention Center, Boston, MA. The session, funded by the John Templeton Foundation, will include 14 hours of talks, intended to cover the full breadth of Turing's contributions, ranging from mathematical logic and theoretical computer science to cryptography, numerical analysis, philosophy of mind, and morphogenesis. Confirmed speakers include: M. Minsky, S. Kauffman, Craig Bauer, J. Knight, J. Miller, K. Eisentrager, M. Davis, G. Sacks, W. Sieg and T. Slaman.
- Deadline for abstracts for proposed talks: September 22, 2011. Electronic submission of abstracts is through the AMS website. Organisers: Damir Dzhafarov, Jeff Hirst andCarl Mummert
- January 9 - July 6, 2012: Semantics and Syntax: A Legacy of Alan Turing, at the Isaac Newton Institute for Mathematical Sciences, Cambridge. Organisers: Arnold Beckmann, Barry Cooper, Benedikt Löwe, Elvira Mayordomo, Nigel Smart
- January 9: Workshop on The Mathematical Legacy of Alan Turing. Public opening of the SAS programme (Spitalfields Day) - all interested researchers and postgraduate students are invited to attend. The London Mathematical Society supports the Spitalfields Day by providing a limited number of modest travel grants for UK postgraduate students. Organiser: Benedikt Löwe
- January 12 onwards: Turing Year in Iceland - A series of events to celebrate the Alan Turing Centenary, organised by the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) at the University of Reykjavik, jointly with the Icelandic Mathematical Society, CADIA and IIIM. Report and audio recording of first talk. Contact: Luca Aceto
- January 13-15, 2012: MAMLS (Mid-Atlantic Mathematical Logic Seminar) 2012, organised in association with the Florida Atlantic University with a Turing emphasis. Includes a number of stellar speakers in logic, and special guest speaker David Leavitt, author of The Man Who Knew Too Much: Alan Turing and the Invention of the Computer. Conference venue: Wyndham Deerfield Beach Resort. Contact: Robert Lubarsky
- January 19, 2012: Turing's legacy or What did Turing ever do for us? - BCS Central London Branch meeting, at BCS, Southampton Street, London, arrive 18:00 for a 18:30 start. Non-members welcome. Speakers: Dr Sue Black, University College London; Dr Peter J Bentley, Visiting Fellow at SIMTech, A*STAR; Julian Wilson, Associate Director, Christie's; Sarah Winmill, Director of IT for Support Services, University College London. Contact: Sue Black
- January 20, 2012: Alan Turing, eclettico e stravagante : un omaggio al grande matematico nel centenario della nascita at SUPSI, Scuola universitaria professionale della Svizzera italiana, Lugano-Canobbio, Campus Trevano, Switzerland. Presented by Piergiorgio Odifreddi, mathematician, logician and essay writer. Professor Odifreddi will touch on the most important events of Alan Turing's life as well as aspects of his personality, while concentrating on the scientific value and the cultural impact of Turing's innovative work. Contact: Grazia Köllner
- January 21-27, 2012: 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), in Spindleruv Mlyn, Czech Republic. The 2012 SOFSEM will include a Special Session on Turing Machines, as part of the Foundations of Computer Science track. Organising chair: Julius Stuller
- January 24, 2012 onwards: Alan Turing Centenary 2012 in Calgary . The University of Calgary will offer a series of talks on Turing's work throughout the Winter and Fall 2012 terms. The Telus Spark Science Centre in Calgary will also host some events related to Turing as part of their Adults Only Thursday night series and the Calgary Science Café. Contact: Richard Zach
- January 31 - February 2, 2012: Is Cryptographic Theory Practically Relevant?, in association with the Newton Institute programme Semantics and Syntax - A Legacy of Alan Turing, in Cambridge. Aims to bring together researchers who work in theoretical aspects of cryptography (principally, provable security of protocols) with people working on applied aspects of cryptography, particularly people involved in standardization and in industrial deployment of cryptography. Organisers: Kenny Patterson, Nigel Smart
- February 5-11, 2012: Workshop Computability Theory at Mathematisches Forschungsinstitut Oberwolfach. Participation by invitation only. Contact: Klaus Ambos-Spies
- February 6-8, 2012: Days in Logic 2012 at the University of Évora, Portugal. Aiming to bring together mathematicians, computer scientists and other scientists from Portugal and elsewhere with an interest in Logic. Specially directed to graduate students. And in 2012 specially dedicated to Alan Turing's life and scientific achievements, on the occasion of the centenary of his birth. Contact: Sandra Alves
- February 7, 2012: Oxford University LGBT lecture given by Andre Hodges, on Alan Turing: the One who became a Zero. 5:30pm, at the Oxford University Museum of Natural History, Parks Road, Oxford, OX1 3PW. Further info: Oxford University Equality and Diversity Unit
- February 17-26, 2012: Intuition and Ingenuity: An Art Exhibition in Celebration of the Life of Alan Turing at Lighthouse as part of Brighton Science Festival. Preview Evening: Thursday 16th February 7-9pm. "Intuition and Ingenuity" will will tour throughout 2012, hosted by various venues, including Kinetica Art Fair, Thursday 9th - Sunday 12th February 2012. Contact: Anna Dumitriu
- February 18-19, 2012: Turing In Context, at King's College, Cambridge. A primarily student event, associated with the Newton Insitute programme, putting Turing's work on the computer in the context of work of many others. Organisers: Liesbeth De Mol, Giuseppe Primiero, Ken Moody and Benedikt Löwe
- February 21-29, 2012: IET and BCS Turing Lecture 2012, in locations:
- Tuesday 21 February IET London: Savoy Place, Lecture Theatre;
- Thursday 23 February Cardiff University, Pool Room, Law Building;
- Tuesday 28 February Manchester University, Lecture Theatre, University Place; and
- Wednesday 29 February Edinburgh University, Lecture Theatre, Appleton Tower
- Prof. Ray Dolan FRS, who received the 2007 Max Planck Award for his work in neuromodulation and behaviour, is the 2012 IET/BCS Turing Lecturer. Prof. Dolan will draw some interesting links between Turing's original ideas and the cutting edge work going on today in cognition and neuroimaging. Hear how Turing's strongly Bayesian problem solving approaches have advanced developments in understanding the workings of the brain and the human mind. Contact: Jim Norton
- March 14-16, 2012: Workshop on Pattern Formation: The inspiration of Alan Turing at St. John's College, Oxford - a Satellite Meeting of the Newton Institute programmeSemantics and Syntax - A Legacy of Alan Turing. Contact: Philip Maini
- March 17-18, 2012: Special Session on Computable Mathematics (in honor of Alan Turing) as part of the American Mathematical Society, 2012 Spring Eastern Sectional Meeting, George Washington University, Washington, DC. Organisers: Douglas Cenzer, Valentina Harizanov and Russell Miller
- March 18, 2012: Turing Trail Relay 2012, following riverside paths along both banks of the Cam and Gt Ouse between Ely and Cambridge, recorded as having been used by Alan Turing for marathon training. This is a private Ely Runners club event, joined by a limited number of Alan Turing Year/Newton Institute programme participant teams. Start (9am) and Finish: Ely Cathedral.
- Stage 1: Ely-Waterbeach (11.7m) mostly off-road
- Stage 2: Waterbeach - Cambridge (Green Dragon Bridge) - Waterbeach (8m) - mainly firm footpaths/roads
- Stage 3: Waterbeach - Ely (12.1m) mixture off-road and tarmac footpaths
- Winning team to be presented with (and team name engraved on) the perpetual Turing Trail Relay cup. Contact: Ely Runners. Enquiries to Barry Cooper about joining/organising an invited ATY team
- March 24 - November 18, 2012: Manchester Museum exhibition: Alan Turing and Life's Enigma at the University of Manchester. Inspired by 1950s design, this exhibition documents Alan Turing's investigation into one of the great mysteries of nature: how complex shapes and patterns arise from simple balls of cells. Contact: Henry Mcghie(Head of Collections and Curator of Zoology)
- March 24 - July 22, 2012: Cryptograph: An Exhibition in Honor of Alan Turing, at the Spencer Museum of Art, University of Kansas. The exhibition draws from the Spencer's permanent collections seeking works that resonate with the kinds of questions that drove Turing's research: finding meaning in patterns, and finding connections between mathematics and computing, intelligence and natural form. Contact: Stephen Goddard
- March 26-30, 2012: Workshop on Logical Approaches to Barriers in Computing and Complexity II, part of the Newton Institute programme Semantics and Syntax - A Legacy of Alan Turing, in Cambridge. Contact: Arnold Beckmann
- March 26-30, 2012: Turing 2012: The Life and Works of Alan Turing - a week-long event hosted by the Department of Philosophy at De La Salle University-Manila, Philippines. Features a two-day conference on Turing's influence in today's society, focusing on his significant contributions in the areas of philosophy, artificial intelligence, and computer science. Contact: Robert Boyles
- April 2-5, 2012: 28th British Colloquium for Theoretical Computer Science (BCTCS 2012), University of Manchester. Part of the Alan Turing Year, and collocated with the Automated Reasoning Workshop (ARW). The scope of the colloquium includes all aspects of theoretical computer science, with both computer scientists and mathematicians welcome. Speakers include: Rod Downey (Wellington), Mike Edmunds (Cardiff), Reiner Haehnle (Darmstadt) and Nicole Schweikardt (Frankfurt). Contact: Ian Pratt-Hartmann
- April 4, 2012: A Turing Centennial Conference, as part of the Turing Year in Israel programme of events. Contact: Nachum Dershowitz
- April 10-13, 2012: Workshop on "Formal and Computational Cryptographic Proofs", part of the Newton Institute programme Semantics and Syntax - A Legacy of Alan Turing, in Cambridge. Contact: Nigel Smart
- April 15-19, 2012: EuroCrypt 2012, the top conference in Europe on Cryptography, flagship conference of the IACR, to be held at the University of Cambridge. General Chair: Nigel Smart
- April 15-May 19, 2012: Oslo Turing Centenary Film Series, University of Oslo. Contact: Cristian Prisacariu
- April 16-19, 2012: 2012 British Mathematical Colloquium, University of Kent. Turing's biographer, Andrew Hodges, and Solomon Feferman (Stanford) are confirmed invited speakers. There will be also a mini-workshop on Turing's Legacy in Mathematics and Computer Science, organized by Simon Thompson (Kent School of Computing). Contact: Peter Fleischmann
- April 16-19, 2012: Workshop on Proof Theory and Modal Logic - First International Wormshop in Barcelona. The main idea behind the themes at the workshop are Recursive Feferman-Turing Progressions of Formal Theories (Iterating Consistency). Contact: Joost J. Joosten
- April 16-20, 2012: Latin American Symposium on Theoretical Informatics (LATIN 2012), in the campus of the Universidad Católica San Pablo, inArequipa, Peru. The LATIN conference is pleased to join the celebrations in honour of the Alan Turing Centenary of his birth. At LATIN 2012, plenary talks by Martin Davis and Scott Aaronson will form the core of the celebration. See poster. Contact: David Fernández-Baca
- April 18, 2012: Machines, Algorithms and Computer Science in the Centenary Celebrations of Alan Turing, University of Bari Aldo Moro, Italy. Hosted by the Dipartimento di Filosofia Letteratura Storia e Scienze Sociali-Fless, invited speakers include Piergiorgio Odifreddi, Gabriele Lolli, Guglielmo Tamburrini, Roberto Cordeschi, Luigi Borzacchini, Giovanni Pani, Anna Maria Fanelli, Mauro Di Giandomenico and Carla Petrocelli. Contact: Carla Petrocelli or Chiara Porcelluzzi
- April 26 - May 17, 2012: Gibbons Memorial Lecture Series 2012, Auckland, New Zealand. The 2012 lectures all concern Turing's accomplishments and his legacy for Computer Science.
- • April 26: Cristian Calude on Alan Turing and the Unsolvable Problem: To Halt or Not to Halt - That is the Question
- • May 3: Jack Copeland on Alan Turing and the Secret Cyphers: Breaking the German Codes at Bletchley Park
- • May 10: Brian Carpenter on Alan Turing and the Computing Engine: Turing's achievements in practical computing
- • May 17: Ian Watson on Alan Turing and the Artificial Brain: The Development of Artificial Intelligence.
- Details of lectures. Contact: Bob Doran
- May 10-11, 2012: Turing's Century (T100), in Edinburgh, organised by the Edinburgh University School of Informatics and the Royal Society of Edinburgh. There will be a public lecture reflecting on Turing's contribution to modern life by Jim Al Khalili on Thursday 10th May. And on Friday 11th May there will be a symposium with four themes and four keynote speakers corresponding to areas where Turing made a major contribution:
- • Algorithms - David Harel, Weizmann Institute
- • AI - Barbara Grosz, Harvard University
- • Morphogenesis - Philip Maini, Oxford University
- • Computer Hardware/characterisations of the brain - Steve Furber, Manchester University
- Also planned (provisionally) is a schools activity, with a competition and a prize giving at the public lecture. Contact: Jane Hillston
- May 10-12, 2012: Princeton Turing Centennial Celebration, Princeton University. From the organisers: As currently envisioned, the purpose of this event is both to take the opportunity to celebrate our institution's role in the evolution of computer science and to tell to the world the full story of Turing's time at Princeton. Attendees will fully come to appreciate that Turing was as important as Einstein for 20th century science, that his impact on society today was far greater, and that Princeton has a proud stake in his ownership, at least his PhD.See Jon Edwards' presentation on Computing at Princeton. An excellent list of speakers. In April and May in its lobby, the University's Firestone Library will host an exhibition on early computing at Princeton. Turing's Princeton dissertation and graduate file will be on display, as well as material selected from The Shelby White and Leon Levy Archives Center at the Institute for Advanced Study. Contacts: Robert Sedgewick and Jon Edwards.
- May 15, 2012: Loebner Prize for Artificial Intelligence 2012, at Bletchley Park. From the organisers: We will be webcasting the entire competition live, with the web sitewww.chatbots.org as the principal hosting site, as well as simulateous coverage on Facebook and Twitter. More details from Hugh Loebner. Contact: David Levy
- May 16-21, 2012: Theory and Applications of Models of Computation (TAMC 2012), at the Chinese Academy of Sciences in Beijing. This will be part of the 2012 Turing Year in China, including The Turing Lectures featuring a number of Turing Award winners and the publication of a special Turing Centenary book. Speakers confirmed so far: S Barry Cooper (Leeds), John Hopcroft (Cornell), Richard Karp (Berkeley), Jon Kleinberg (Cornell), Butler Lampson (Microsoft), Wei Li (BUAA, Beijing) and Andrew Chi-Chih Yao (Tsinghua, Beijing). Contact: Angsheng Li
- May 30 - June 1, 2012: 1st Annual Conference on Complexity and Human Experience - Modeling Complexity in the Humanities and Social Sciences, at the University of North Carolina at Charlotte. Conference dedicated to the work of Alan Turing (1912-1954) as part of the 2012 Alan Turing Year. Will examine "computing applications and complexity in the humanities and social sciences that allow us to discover, create and make connections in ways that would not be possible were it not for Turing's seminal work." Contact: Anthony Beavers
- June 2012 onwards: An Olympian Mind - Alan Turing and the Dawn of Digital Computing, 1936-1954 (provisional title): The Computer Conservation Society is working with the Science Museum on this ambitious projected exhibition at the Science Museum, South Kensington, lasting a number of months and spanning the 23rd June 2012 Turing birthdate anniversary. Supported by Google. For more details, see the Science Museum press release. Contact: Tilly Blyth or Simon Lavington
- June 1-2: The 5th Over the Air, at Bletchley Park: "36 Hours of Mobile Development" ... "Bolstered by enthusiastic cheers of approval, we'll once again be holding the event at Bletchley Park, launching the Alan Turing Centenary year celebrations in style..." Contact: Margaret Gold
- June 5-27, 2012: University of Tennessee COSC 482 (Theory of Computation), will relocate to the UK in 2012 - and "will give students a unique opportunity to study and experience the life and scientific contrubutions of Alan Turing". Organiser: Prof. Mike Berry
- June 6-9, 2012: 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, University of Bath Bath, UK. Includes a special session on Computability on continuous data devoted to the legacy of Alan Turing. Deadline for submissions: March 5, 2012. Contact: Ulrich Berger (PC Chair)
- June 11-13, 2012: International Mathematica Symposium 2012 (IMS2012), University College London. Will include an afternoon Alan Turing Centenary Session on the Monday 11th June, devoted to Turing's life and work, with Guest Speaker: Dr Andrew Hodges, author of Alan Turing: The Enigma. Contact: Prof. William T. Shaw(Conference Director)
- June 12, 2012: Lecture by Andrew Hodges on Alan Turing's Life and Work, Alan Turing Building, University of Manchester. Contact: Helen Harper
- June 12-15, 2012: Workshop on THE INCOMPUTABLE, focusing on the mathematical theory of incomputability, and its relevance for the real world. Held as part of the Newton Institute programme Semantics and Syntax - A Legacy of Alan Turing, to be held at the Kavli Royal Society International Centre, Chicheley Hall.
- THE INCOMPUTABLE, generously supported by the John Templeton Foundation, promises to be a historic event, bringing the mathematical theory of incomputability centre-stage once again. Attendance is limited to 110 participants - up to 60 housed on-site - so early booking is advised. Contacts: Barry Cooper, Mariya Soskova.
- June 14, 2012: Software Craftsmanship 2012 returns to its spiritual home at Bletchley Park for a 3rd year for the Turing Centenary. The definitive international conference for the practicing software craftsman, SC2012 will bring together 250 passionate programmers to share ideas, practice their techniques and learn from each other.
- In aid of Bletchley Park, SC2012 will this year be celebrating the life and work of computing pioneer and codebreaker, Alan Turing, with a theme of "Computer Science for Software Craftsmen". Participants will be encouraged to create and share coding exercises that explain data structures and algorithms while reinforcing good coding practices. The best exercises will be collected into a book aimed at self-taught programmers and computer science students alike. Organiser: Jason Gorman
- June 15-16, 2012: The programme of the ACM A. M. Turing Centenary Celebration in San Francisco centres on the ACM A.M. Turing Award winners, 32 of whom will attend and participate in the Celebration. The Technical Programme will include moderated panels and invited talks from select speakers and focus on Alan Turing's contributions, as well as the history, and the future of computing.
- By bringing together so many ACM A.M. Turing Award winners to reflect on Alan Turing's contribution and share their views on the past and future of computing, the ACM A.M. Turing Centenary Celebration will engage researchers, academics, students, and the public in a conversation about the importance and direction of computer science and its discipline.
- Registration, which includes a Friday Reception for ACM A.M. Turing Award and other ACM Award winners, ACM leaders, and all registered attendees of the Centenary Celebration, is limited to 700 attendees with at least 100 spots reserved for students. Contact: ACM CEO John White
- June 15-16, 2012: The ACE 2012 conference at King's College Cambridge, co-located with CiE 2012. ACE 2012 will celebrate Turing's contributions to the theory and practice of computing. The predecessor of ACE 2012, ACE 2000, was held at the London Science Museum and the National Physical Laboratory in May 2000 to celebrate the 50th anniversary of the pilot model of Turing's Automatic Computing Engine. Contacts: Jack Copeland, Mark Sprevak
- June 17, 2012: The 8th International Workshop on Developments in Computational Model, DCM 2012 at Corpus Christi College, Cambridge, a satellite meeting of CiE 2012. The aim of this series of workshops is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Contacts: Benedikt Löwe, Glynn Winskel (Programme Committee Co-chairs)
- June 18-23, 2012: TURING CENTENARY CONFERENCE: CiE 2012 - How the World Computes, University of Cambridge. CiE 2012 will celebrate Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.
- Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them.
- The conference will conclude on the June 23 anniversary of Turing's birth with a King's College celebration, with King's alumnus Professor Leslie Valiant, the 2010 Turing Award recipient, speaking at the morning session - and the afternoon given over to social occasion for King's College members and CiE 2012 participants.
- This Turing Centenary Conference is sponsored by Microsoft Research, the Association for Symbolic Logic, the European Association for Theoretical Computer Science, the European Association for Computer Science Logic, IFCoLog and the University of Cambridge.
- DEADLINE for paper submissions: January 20, 2012 - for details see the First Call for Papers. Contacts: Anuj Dawar and Barry Cooper
- June 22-25, 2012: TURING 100 - TURING CENTENARY CONFERENCE at Manchester University and the Manchester City Hall. With Honorary ChairsRodney Brooks and Sir Roger Penrose, and featuring lectures by sixteen major figures including Vint Cerf, Ed Clarke, Tony Hoare, Yuri Matiyasevich, Michael Rabin and Garry Kasparov.
- Organised in cooperation with the University of Manchester and Manchester City Council.
- Supported by the Kurt Gödel Society, and funded by the John Templeton Foundation.
- Will include presentation of the awards to the winners of the JTF Turing Centenary Research Fellowship and Scholar Competition.
- DEADLINE for submitting an application for a grant (£45,000 for Turing Scholars, £75,000 for Turing Fellows) is December 16, 2011.
- Click HERE for instructions on how to apply.
- Contacts: Andrei Voronkov (Chair, Organising Committee), Matthias Baaz (Vice President, Kurt Gödel Society), and S Barry Cooper (Chair, Turing Fellowship Competition)
- June 22 - December, 2012: As part of the Brazilian Alan Turing Year: A Special Lecture Series celebrating the Alan Turing Year, at the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil. Distinguished speakers from Brazil, the UK and the USA will contribute a cycle of invited talks for both academic and general audiences, focusing on different aspects of Computer Science and legacies from Alan Turing's work. The first lecture on June 22 will be given by Prof. Luis Lamb, on Alan Mathison Turing and the Turing Award Winners: A short journey through the history of Computer Science.
- Other activities include: A Code Breaker Contest (organiser: Prof. Fernando Weber); Legacy for Computing and Humanity - Exhibition at the UFRGS's Museum; and aVideos Contest to enhance Science and Technology amongst students under 18 years old. Contacts: Marcelo Walter (Lecture Series) and Dante Barone (General Organiser)
- June 23, 2012: TURING100 TURING TESTS will stage a Turing Test contest at Bletchley Park, the place where Alan Turing broke codes during the second world war, on the centenary of his birth, Saturday 23rd June, 2012. Special Turing centenary competition for members of the public attempting to determine machine from human and male from female. Turing100 themed demonstrations in the Drawing Room of the Mansion by Price Waterhouse Cooper, Artificial Solutions, Daden Ltd and YouSRC. Contacts: Huma Shah and Kevin Warwick, Email: turing100atBletchleyPark[at]gmail[dot]com
- June 23-24, 2012: TURING'S WORLDS, at Rewley House, 1 Wellington Square, Oxford - Turing centenary related BSHM/OUDCE Annual Residential Meeting, organised by the British Society for the History of Mathematics and the Oxford University Dept of Continuing Education. The weekend attempts a rounded view of a polymath, one of the great mathematicians of the twentieth century, his life and his times. See the webpage for programme and list of distinguished speakers. Contact: Martin Campbell-Kelly
- June 24-27, 2012: Ninth International Conference on Computability and Complexity in Analysis (CCA 2012), in Cambridge, UK, co-located with CiE 2012. Contacts:Klaus Weihrauch (Programme Cttee Chair, for submissions), Arno Pauly (Organising Cttee Chair, for local information).
- June 25-28, 2012: Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012) at the University of Dubrovnik in Dubrovnik, Croatia. Will include a special session/keynote speaker commemorating Alan Turing's unique contribution to logic and computer science. Deadlines: Titles and Short Abstracts - January 6, 2012; Extended Abstracts - January 13, 2012. Contact: Nachum Dershowitz (Programme Chair)
- June 26-28, 2012: IEEE Conference on Computational Complexity 2012 (CCC'12), in Porto, Portugal - organised in association with the 2012 Alan Turing Year. Contacts:Luís Antunes (Local Chair), Peter Bro Miltersen (Steering Cttee Chair).
- June 26 - July 1, 2012: IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning, in Manchester. IJCAR forms a key part of the Alan Turing Year 2012, and follows immediately after the Turing Centenary conference Celebrating Turing - Mind, Mechanism and Mathematics. Satellite events June 30-July 1. Contacts:Konstantin Korovin, Andrei Voronkov.
- June 30, 2012: The Turing Education Day (TED) at Bletchley Park, incorporating the Alan Turing Memorial Lecture 2012. A team of first-rate expositors will explain the key aspects of Turing's many-sided work to a general audience. Topics covered will include codebreaking; the birth and early development of the computer and computer programming; artificial intelligence; artificial life; and the foundations and philosophy of mathematics. Contact: Jack Copeland
- June 30 - July 8, 2012: Summer School in Cognitive Sciences 2012 - Evolution and Function of Consciousness, in Montreal, Canada. Commemorating the Centenary of the birth of Alan Turing (June 23 2012), with the theme: The causal role of consciousness in brain and behavioral evolution and function. Contact: Stevan Harnad
- July 1, 2012 - January 4, 2013: An exhibition ALAN TURING - LEGACY FOR COMPUTING AND HUMANITY, at the Museum of the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil. Aims to present Alan Turing's major contributions to Computer Science and to civilization, through interactive installations which will highlight his main achievements to Science and to Society. Supported by the Brazilian Computer Society (SBC) and the British General network in Brazil. Contact: Dante Barone
- July 2-6, 2012: 7th Conference on Computability, Complexity and Randomness (CCR 2012), and Workshop on Randomness, part of the Newton Institute programmeSemantics and Syntax - A Legacy of Alan Turing, in Cambridge. Submission deadline for abstracts: February 25, 2012. Contacts: Elvira Mayordomo and Wolfgang Merkle
- July 2-6, 2012: JOINT 2012 International Association for Computing and Philosophy World Congress (IACAP 2012) and Society for the Study of Artificial Intelligence and Simulation of Behaviour Annual Convention (AISB 2012), University of Birmingham. Contacts: John Barnden, Anthony Beavers, Manfred Kerber
- July 3-5, 2012: ITiCSE 2012 - 17th Annual Conference on Innovation and Technology in Computer Science Education , at the Technion in Haifa, Israel. ITiCSE 2012 is among the official Centenary events of the Alan Turing Year. All three Keynotes of ITiCSE 2012 will be in conjunction with the Turing Centenary:
- Michael Rabin, a Turing Award winner, will talk on Never too early to begin: Computer Sacience for school students.
- Lenore Blum will talk on Alan Turing and the other theory of Computing.
- David Harel will talk on Standing on the Shoulders of a Giant: One Person's Experience of Turing's Impact.
- Download poster. Contacts: Tami Lapidot, Judith Gal-Ezer (Conference Chairs)
- July 3-7, 2012: The 7th International Computer Science Symposium in Russia (CSR 2012), at the University of Nizhni Novgorod (UNN). This Alan Turing Year event will include a special Turing lecture given by Yuri Matiyasevich. Deadline for submissions: December 11, 2011. Contact: Juhani Karhumäki
- July 9-13, 2012: 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), University of Warwick. Deadline for submissions: February 21, 2012. Contact: Artur Czumaj (Conference Chair)
- July 12-18, 2012: Logic Colloquium 2012 and annual meeting of the British Logic Colloquium, at the University of Manchester. The Logic Colloquium is the European meeting of the Association for Symbolic Logic. The programme will include a number of talks/special sessions related to the Turing legacy in logic and applications, and the Turing Lecture given by Professor Angus MacIntyre. Contact: Paola D'Aquino (Chair, Programme Committee) or Alex Wilkie (Chair, Organising Committee)
- July 13, 2012: Animation12 Festival and Inspirational Computer Science Day at Manchester, University of Manchester. To celebrate the centenary of the birth of Alan Turing Computing At School (CAS) is running a Codebreaker themed competition in association withAnimation12. Contact: Toby Howard
- July 16-20, 2012: 6th International School on Rewriting, Valencia, Spain. The School will contribute to the Alan Turing year by including some specific courses which connect the theory of term rewriting with some central notions like computability, termination, lambda calculus, etc. where Turing made important contributions. Lecturersinclude Andrei Voronkov, and courses on Tree Automata, Turing Machines and Term Rewriting (by Sophie Tison, Lille), Lambda Calculus: extensions and applications (by Pierre Lescanne, ENS Lyon), Termination of Rewriting: Foundations and Automation (by Albert Rubio, T.U. of Catalonia). Contact: Salvador Lucas
- July 17-20, 2012: 17th International Conference on Implementation and Application of Automata (CIAA), Porto, Portugal. "This year edition of the conference is dedicated to Alan Turing on the occasion of the Centenary Celebration of his life and work." Contact: Nelma Moreira, Rogério Reis
- August 6-17, 2012: 24th European Summer School in Logic, Language and Information (ESSLLI 2012), Opole, Poland. As part of the activities of the Alan Turing Year, the ESF network INFTY: New Frontiers of Infinity is sponsoring a foundational course Models of Computation, taught by Robert Lubarsky (Florida Atlantic University), and an introductory course Circularity by Larry Moss (Indiana University). The network also offers two student stipends for students interested in attending these courses. Contact: Benedikt Löwe
- August 28--31, 2012: The 13th International Conference on Membrane Computing (CMC13) in Budapest, Hungary. Included will be a Special Session: Turing Computability and Membrane Computing as an Unconventional Computing Paradigm, with invited speakers and a selection of submitted papers dealing with relationships between Turing's work and membrane computing. Contacts: Marian Gheorghe (CMC Steering Cttee Chair), Erzsébet Csuhaj-Varjú (CMC13 Co-chair)
- September 3-7, 2012: Unconventional Computation and Natural Computing (UCNC 2012) (previously Unconventional Computation), in Orléans. There will be a special Alan Turing Year talk given by Gilles Dowek relating to Turing's work on morphogenesis. Contacts: Jérôme Durand-Lose (PC Co-chair), Florent Becker (Local OC Chair)
- September 3-6, 2012: 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012), University of Buenos Aires, Argentina. Contact: Ruy de Queiroz
- September 4-7, 2012: 23rd International Conference on Concurrency Theory (CONCUR 2012), Newcastle upon Tyne. Deadlines: April 4 (for abstracts), April 11 (for paper submission). Satellite workshops: 3 & 8 September 2012. Contact: Irek Ulidowski
- September 5-7, 2012: Challenging Turing 2012, Stanford University. An academic event in the spirit of Turing's inquiry, aiming to clarify contemporary interpretations of Turing's work, and to make further progress. From the organisers: "Continuing his inquiry and encouraging further progress is a unique way for Stanford University and the Silicon Valley community to recognize and honor Alan Turing's contributions ... We will give preference to papers that reflect the standards of Alan Turing's inquiry and move the inquiry forward." Submission deadline: May 1st, 2012. Contact:Steven Ericsson-Zenith at stevene @ stanford.edu
- September 9, 2012: Teams from universities and institutions with a link to the Alan Turing Year are encouraged to enter the 2012 Grunty Fen Half Marathon, organised by the Ely Runners, who will present two team trophies engraved respectively:
- Grunty Fen Half Marathon
- Alan Turing Centenary 2012
- 1st Male Team/1st Female Team
- Contact: Ely Runners, and watch the race webpage for entry details
- September 13-15, 2012: Colloquium Logicum 2012, at Heinz-Nixdorf-Museumsforum, Paderborn. Part of the Alan Turing Jahr 2012. Contact: Benedikt Löwe
- September 17-21, 2012: Informatik 2012, at Jahrestagung der Gesellschaft für Informatik, Technische Universität Braunschweig. Part of the Alan Turing Jahr 2012. Contact: Wolfgang Thomas
- September 19-25, 2012: Interdisciplinary Symposium on Complex Systems - ISCS 2012, at Kypriotis Hotels and Conference Center, Kos Island, Greece. This year, theInterdisciplinary Symposium on Complex Systems is also part of the Alan Turing Year. Contacts: Ali Sanayei, Hector Zenil
- October 10-12, 2012: Turing in Context II, sponsored by and organized at the Royal Flemish Academy of Belgium for Science and the Arts Brussels, Belgium. The workshop aims at gaining a better and deeper understanding of Turing's work and legacy by bringing together historians, philosophers, logicians and computer scientists who work on topics that are relevant to one of the many fields Turing has contributed to. Contact: Giuseppe Primiero
- October 26-27, 2012: Turing under Discussion - 2012 Annual Meeting of the Swiss Society for Logic and Philosophy of Science SSLPS, at the ETH Zürich, Switzerland. Confirmed speakers: Barry Cooper, Jack Copeland, Martin Davis, Juraj Hromkovic, Ueli Maurer, Stewart Shapiro, Christof Teuscher, Wolfgang Thomas. Contacts: Giovanni Sommaruga (Chair organizing committee), Thomas Strahm (President SSLPS)
- November 1, 2012: A one-day workshop organised by and at the Alan Turing Institute Almere, The Netherlands. Keynote speaker: Michael Wooldridge. Contact: John-Jules Meyer (Chief Scientific Officer of the Alan Turing Institute Almere)
- November 15, 2012: LGBT History Month 2013 Pre-Launch Meeting, to be held at Bletchley Park as a tribute to Alan Turing on the centenary of his birth. LGBT History Month in February 2013 will be focused on Maths, science and technology. The pre-launch meeting will deal with maths, ICT and science in the school curriculum. From the organisers: "It is vital that our children understand the contribution Alan Turing made to our nation, to technology and mathematics and the legacy he gave to the world. It is equally vital that they know how the state treated him before and after they realised he was gay." The November launch will include daytime activities for schoolchildren, workshops and ideas for stakeholders in LGBT History Month and an evening with keynote speakers. Contact: Tony Fenwick
Original list is found here: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?13