CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Subject:
From:
S B Cooper <[log in to unmask]>
Date:
Sun, 3 Jun 2012 11:37:43 +0100
Message-ID:
Reply-To:
S B Cooper <[log in to unmask]>
Parts/Attachments:
text/plain (136 lines)
THE TURING CENTENARY CONFERENCE
Manchester, UK, June 22-25, 2012
http://www.turing100.manchester.ac.uk/

Call for Participation

NEWS:
(1) The early registration deadline has been extended to
    June 11, 2012
(2) The organisers have funds for supporting participants.
    Please write to the programme chair if support is
    essential for your attendance.

The programme includes 18 invited talks (of which 10 are given
by Turing Award winners), 2 public talks, 2 panels, a poster
session, a chess programme and a competition of programs
proving theorems.

Public lectures:

-- Jack Copeland (University of Canterbury, New Zealand) 
  Alan Turing, Pioneer of the Information Age
-- Sir Roger Penrose (University of Oxford, Wolf Prize winner)
  The Problem of Modelling the Mathematical Mind

Invited lectures:

-- Garry Kasparov (Kasparov Chess Foundation)
  The Reconstruction of Turing's "Paper Machine"
-- Vint Cerf (Google, Turing Award winner)
  Turing's Legacy in the Networked World
-- David Ferrucci (IBM)
  Beyond Jeopardy! The Future of Watson
-- Don Knuth (Stanford University, Turing Award winner)
  All Remaining Questions Answered
-- Adi Shamir (Weizmann Institute of Science, Turing Award winner)
  Turing's Cryptography from a Modern Perspective
-- Samuel Klein (Wikipedia)
  TBC
-- George Ellis (University of Cape Town, Templeton Award winner)
  On the Nature of Causation in Digital Computer Systems
-- Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner)
  Pilot ACE Architecture in Context
-- Sir Tony Hoare (Microsoft Research, Turing Award winner)
  Can Computers Understand Their Own Programs?
-- Edmund M. Clarke (Carnegie Mellon University, Turing Award winner) 
  Model Checking and the Curse of Dimensionality
-- Michael O. Rabin (Harvard University, Turing Award winner)
  Turing, Church, Gödel, Computability, Complexity and
  Randomization: A Personal Perspective
-- Leslie Valiant (Harvard University, Turing Award winner)
  Computer Science as a Natural Science
-- Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner)
  Quantum Computing: A Great Science in the Making
-- Manuela M. Veloso (Carnegie Mellon University)
  Symbiotic Autonomy: Robots, Humans, and the Web
-- Rodney Brooks (MIT)
  Turing's Humanoid Thinking Machines
-- Hans Meinhardt (Max Planck Institute for Developmental Biology)
  Turing's Pioneering Paper 'The Chemical Basis of Morphogenesis
  and the Subsequent Development of Theories of Biological Pattern
  Formation
-- Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh)
  Alan Turing and Number Theory

Panel speakers:
-- Samson Abramsky (Oxford University)
-- Ron Brachman (Yahoo Labs)
-- Martin Davis (New York University)
-- Steve Furber (The University of Manchester)
-- Carole Goble (The University of Manchester)
-- Pat Hayes (Institute for Human and Machine Cognition, Pensacola)
-- Bertrand Meyer (Swiss Federal Institute of Technology)
-- Moshe Vardi (Rice University)  

For more details please check
http://www.turing100.manchester.ac.uk/.

REGISTRATION:

The number of participants is limited. Register early to avoid
disappointment! To register, access
https://www.easychair.org/conferences/?conf=turing100 and click on
"Registration". 

 *** Registration fees ***

All fees are in Pound Sterling.

         early (on or before June 11)	 late (June 12 or later)
Student	                280                      330
Regular                 380                      450

To qualify for a student registration you must be a registered
full-time student on June 23, 2012. 

The registration fees include

- Attendance of sessions
- Conference reception
- Conference dinner
- Coffee breaks and lunches
- Poster session proceedings

CHAIRS:

Honorary Chairs:
  Rodney Brooks (MIT)
  Roger Penrose (Oxford)
Conference Chairs:
  Matthias Baaz (Vienna University of Technology)
  Andrei Voronkov (The University of Manchester)
Turing Fellowships Chair:
  Barry Cooper (University of Leeds)
Theorem Proving Competition Chair:
  Geoff Sutcliffe (University of Miami)
Computer Chess Programme Chair
  Frederic Friedel (Chessbase)
Programme Chair
  Andrei Voronkov (The University of Manchester)

-------------------------------------------------------------------
The Alan Turing Year:
http://www.turingcentenary.eu/
-------------------------------------------------------------------

    ---------------------------------------------------------------
    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see http://listserv.acm.org
    ---------------------------------------------------------------

ATOM RSS1 RSS2