The workshop was co-located with the conference CiE 2010 "Programs, proofs and processes".

Invited Speakers

Serikzhan Badaev, Al-Farabi Kazakh National University

George Barmpalias, University of Amsterdam

Laurent Bienvenu, LIAFA, University of Paris 7

Jennifer Chubb, University of San Francisco

Damir Dzhafarov,University of Chicago

Andrey Frolov, Kazan State University

Peter Koepke, University of Bonn

Ng Keng Meng (Selwyn), University of Madison

Jan Reimann, UC Berkeley

Andrea Sorbi, University of Siena

Organizers

Ekaterina B. Fokina, Helia Guerra, Luis Mendes Gomez

Andrew E. M. Lewis-Pye , Joseph S. Miller and Mariya I. Soskova