Program committee:
Theory track:
Farid Ablayev, Kazan State University
Sergei N. Artemov, City University of New York
Lev Beklemishev, Steklov Inst., Moscow
Véronique Bruyère, Université de Mons-Hainaut
Cristian Calude, University of Auckland
Christian Glasser, Universität Würzburg
Dima Grigoriev, Institut de Recherche Mathématique de Rennes
Dietrich Kuske, Universität Leipzig
Larisa Maksimova, IM, Novosibirsk
Andrei Mantsivoda, Irkutsk State University
Yuri Matiyasevich, Steklov Institute, St.Petersburg
Elvira Mayordomo, Universidad de Zaragoza
Pierre McKenzie, Université de Montreal
Andrey S. Morozov, IM, Novosibirsk (co-chair)
Jean-Eric Pin, LIAFA, Paris
Kai Salomaa, Queen's University, Kingston, Canada
Victor Selivanov, Novosibirsk Pedagogical University
Ludwig Staiger, Universität Halle-Wittenberg
Andrei Voronkov, University of Manchester
Klaus W Wagner, Universität Würzburg (co-chair)
Application track:
Thomas Ball, Microsoft Research
Josh Berdine, Microsoft Research
Bart Demoen, K.U. Leuven
Franjo Ivančić, NEC Laboratories America
Martin Leucker, TU Munich
Rupak Majumdar, University of California, Los Angeles
Greg Morrisett, Harvard University
Arnd Poetzsch-Heffter, University of Kaiserslautern
Andreas Rossberg, MPI-SWS
Andrey Rybalchenko, MPI-SWS (chair)
Alexander Serebrenik, TU Eindhoven
Henny Sipma, Stanford University
Natasha Sharygina, University of Lugano
Helmut Veith, TU Darmstadt
Eran Yahav, IBM Research
Andreas Zeller, Universität des Saarlandes
Local organizers from IM, Novosibirsk:
Sergey Avgustinovich
Oleg Borodin (co-chair)
Dmitri Chubarov (ICT)
Denis Krotov
Artem Pyatkin
Pavel Salimov
Anna Frid (conference chair)
Steering Committee
Volker Diekert, Universität Stuttgart
Anna Frid, IM, Novosibirsk
Edward A. Hirsch, Steklov Inst., St.Petersburg
Juhani Karhumaki, University of Turku
Mikhail Volkov, Ural State University, Ekaterinburg