Opening lecture
Andrei Voronkov, University of ManchesterInvited speakers
Sergei Odintsov, IM, Novosibirsk
Wolfgang Thomas, RWTH Aachen
Nikolai K. Vereshchagin, Moscow State University
Hongseok Yang, Queen Mary University, London
4th International Computer Science Symposium in Russia
 |
August 18-23, 2009 Novosibirsk, Russia |