The 2nd International Symposium on Computer Science in Russia (CSR 2007) washeldSeptember3a7inEkaterinburg, Russia, hostedbyUralStateUniversity. CSR 2007 wasthe second event in a seriesof regular internationalmeetings that started with CSR 2006 in St. Petersburg (see LNCS 3967). The symposium was organized under the auspices of the European Association for Theoretical Computer Science. The symposiumwascomposedof twotracks:Theory andApplications/Te- nology. The opening lecture was given by Yuri Gurevich and other invited l- tures were given by Scott Aaronson, Rajeev Alur, Peter Druschel, Ziyad Hanna, BertrandMeyer, AlexeiMiasnikov, GeraudSenizergues, andGeo?Sutcli?e.This volume contains the accepted papers of both tracks and the abstracts of seven invited presentations. The scopeofproposedtopicsfor the symposiumwasquite broadand covered manyareasofcomputerscienceanditsapplications.Wereceived95submissions, the contributors being from 24 countries. Each submission was reviewed by at least three Program Committee members. The committee decided to accept 34 papers. The reviewing process as well as the preparation of this volume were e?ciently supported by the EasyChair conference system. The following satellite events were collocated with CSR 2007: a Workshop on Computational Complexity and Decidability in Algebra a Workshop on In?nite Words, Automata and Dynamics a Russian Summer School in Information Retrieval We thank our sponsors: Microsoft Research, Russian Foundation for Basic Research, SKB Kontur, Ural State University, and Yandex. Yandex, the largestresourceon the Russian Internet, established the Yandex the Best Paper Awards and Yandex Best Student Paper Awards for the CSR series. The inauguration of the Yandex Awards formed a part of the Business Meeting of CSR 2007 along with the presentations of the ?rst awarded papers.Springer, Heidelberg (1996) 13. Korlyukov, A.V.: User manual on the Supercompiler SCP4 (in Russian) (1999), http://www.refal.net/supercom.htm 14. Kruskal, J.B.: Well-quasi-ordering, the tree theorem, and vazsonyia#39;s conjecture. Trans. Amer.
|Title||:||Computer Science - Theory and Applications|
|Author||:||Volker Diekert, Mikhail Volkov, Andrei Voronkov|
|Publisher||:||Springer Science & Business Media - 2007-08-15|