Call for participation
From CSR 2007
Contents |
2nd International Computer Science Symposium in Russia
Ekaterinburg, Russia, September 3-7, 2007
Download the final program.
The Symposium is organized under the auspices of the European Association for Theoretical Computer Science
News
- CSR 2007 is over. We thank all participants for coming and making the symposium such a successful event. CSR 2008 will be held in Moscow, see csr2008.ru.
- Some photos from CSR 2007 can be found here (by courtesy of Maria Fominykh), here (by courtesy of Edward Hirsch), and here (by courtesy of Nikolay Vereshchagin).
- The proceedings of CSR 2007 have appeared as Volume 4649 in Springer's Lecture Notes in Computer Science series. We are grateful to Springer-Verlag and personally to Ingrid Beyer, Alfred Hofmann and Anna Kramer for their extremely efficient co-operation!
- The program of the conference has been updated. It includes now complete schedules for the satellite workshops WCCDA'07 and WIWAD'07.
-
, the largest resource in Russian Internet, has established Yandex Best Paper Awards and Yandex Best Student Paper Awards for the CSR series. The Program Committee has selected the following three papers:
- Conjunctive grammars over a unary alphabet: undecidability and unbounded growth by Artur Jez and Alexander Okhotin - Best Paper in Theory Track;
- Estimation of the click volume by large scale regression analysis by Yury Lifshits and Dirk Nowotka - Best Paper in Applications/Technology Track;
- A fast algorithm for path 2-packing problem by Maxim Babenko - Best Student Paper.
The inauguration of Yandex Awards formed a part of the Business Meeting of CSR 2007 along with the presentations of the awarded papers. Ilya Segalovich, the company's co-founder and chief technology officer, came in person to the Business Meeting to introduce Yandex Awards.
- The list of accepted papers is here.
Aims and scope
CSR 2007 is the second conference in a series of regular events started with CSR 2006 in St Petersburg (see LNCS 3967). It intends to reflect the broad scope of international cooperation in computer science. CSR 2007 consists of two tracks: Theory Track and Applications and Technology Track. Typical areas of these tracks include:
Theory Track:
- algorithms, protocols, and data structures;
- complexity and cryptography;
- formal languages, automata and their applications to computer science;
- computational models and concepts;
- proof theory and applications of logic to computer science.
Applications and Technology Track:
- programming and languages;
- computer architecture and hardware design;
- symbolic computing and numerical applications;
- application software;
- artificial intelligence;
- databases and knowledge bases;
- information retrieval and search;
- formal methods and verification;
- constraint programming;
- software development and testing;
- Web services.
Invited speakers and the opening lecture
Invited speakers:
- Scott Aaronson (Cambridge, MIT): "The Limits of Quantum Computers"
- Rajeev Alur (Philadelphia, University of Pennsylvania): "Marrying Words and Trees"
- Peter Druschel (Saarbrücken, Max Plank Institute for Software Systems): "The User is the Computer: Challenges and Opportunities in Distributed Information Systems"
-
Ziyad Hanna (Haifa, Intel): "Abstract Modeling and Formal Verification of Microprocessors"cancelled - Bertrand Meyer (Zürich, Eidgenössische Technische Hochschule Zürich): "Contracts for Concurrency"
- Alexei Myasnikov (Montréal, McGill University): "Generic complexity of undecidable problems"
- Géraud Sénizergues (Bordeaux, Université Bordeaux I): "Sequences of Level 1, 2, 3, ... , k,..."
- Geoff Sutcliffe (Coral Gables, University of Miami): "TPTP, TSTP, CASC, etc"
The opening lecture "Proving Church’s Thesis" will be given by Yuri Gurevich (Redmond, Microsoft Research)
Submissions
Submission is closed. We thank all authors who have submitted their papers to CSR 2007. Look here for the list of accepted papers.
The proceedings of the symposium have appeared in Springer's LNCS series, Volume 4649. Authors of selected papers from Theory Track will be invited to submit a journal version to a special issue of "Theory of Computing Systems".
Important Dates
- Symposium: September 3rd, 2007 (Monday) - September 7th, 2007 (Friday)
Program Committee
PC Co-Chairs are:
- Volker Diekert (Stuttgart) - Theory Track
- Andrei Voronkov (Manchester) - Applications and Technology Track
PC members, Theory Track:
- Eric Allender (New Brunswick)
- Sergei Artemov (New York City)
- Eugene Asarin (Paris)
- Lev Beklemishev (Moscow)
- Andrei Bulatov (Vancouver)
- Evgeny Dantsin (Chicago)
- Anna Frid (Novosibirsk)
- Paul Gastin (Cachan)
- Joachim von zur Gathen (Bonn)
- Andrew Goldberg (Microsoft)
- Erich Graedel (Aachen)
- Dima Grigoriev (Rennes)
- Yuri Gurevich (Microsoft)
- Tero Harju (Turku)
- Edward Hirsch (St Petersburg)
- Peter Hoyer (Calgary)
- Michael Kaminski (Haifa)
- Yuri Matiyasevich (St Petersburg)
- Pierre McKenzie (Montréal)
- Alexander Razborov (Princeton and Moscow)
- Victor Selivanov (Novosibirsk)
- Alexander Shen (Marseille and Moscow)
- Denis Thérien (Montréal)
PC members, Applications and Technology Track:
- Dines Bjørner (Lyngby)
- Nikolaj Bjørner (Microsoft)
- Stéphane Bressan (Singapore)
- Gabriel Ciobanu (Iasi)
- Leonid Kalinichenko (Moscow)
- Laura Kovacs (Linz)
- Torben Ægidius Mogensen (København)
- Alexandre Petrenko (Montréal)
- Sibylle Schupp (Göteborg)
- Oleg Sokolski (Philadelphia)
- Helmut Veith (München)
Local Organizers
The symposium is being organized by Ural State University (USU) and Institute of Mathematics and Mechanics of Ural Branch of Russian Academy of Sciences (IMM UB RAS). The co-chairs of the local organizing committee of the symposium are corresponding members of RAS Vladimir Tretjakov, President of USU, and Vitaly Berdyshev, Director of IMM UB RAS.
The conference chair is Mikhail Volkov (USU).
Sponsors
Ural State University
City Hall of Ekaterinburg
