Programme ChairAndrei Voronkov (The University of Manchester)
Conference ChairsMatthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester)
Honorary ChairsRodney Allen Brooks (MIT) Roger Penrose (University of Oxford)
Programme Committee(Please visit the Programme Committee page)
Computer Chess ProgrammeFrederic Friedel (Chessbase)
|
Associated Events ChairAlexandre Borovik (The University of Manchester)
Steering GroupMatthias 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 ChairBarry Cooper (University of Leeds)
Theorem Proving CompetitionGeoff Sutcliffe (University of Miami)
|