[Agda] Turing Centenary Conference, Manchester, June 22-25: Call for Participation

[S B Cooper]

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/
-------------------------------------------------------------------