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
|