Programme Chair

Andrei Voronkov (The University of Manchester)

Conference Chairs

Matthias Baaz (Vienna University of Technology)

Andrei Voronkov (The University of Manchester)

Honorary Chairs

Rodney Allen Brooks (MIT)

Roger Penrose (University of Oxford)

Programme Committee

(Please visit the Programme Committee page)

Computer Chess Programme

Frederic Friedel (Chessbase)

Associated Events Chair

Alexandre Borovik (The University of Manchester)

Steering Group

Matthias Baaz (Vienna University of Technology)

Alexandre Borovik (The University of Manchester)

Barry Cooper (University of Leeds)

Sally-Anne Sagar (The University of Manchester)

Steve Furber (The University of Manchester)

Andrei Voronkov (The University of Manchester)

Turing Fellowships Chair

Barry Cooper (University of Leeds)

Theorem Proving Competition

Geoff Sutcliffe (University of Miami)