[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] CSR 2008 in Moscow: Call for Participation
(Apologies for multiple postings.)
CSR 2008: CALL FOR PARTICIPATION
3rd International Computer Science Symposium in Russia
June 7-12, 2008, Moscow, Russia
*** WE STRONGLY RECOMMEND TO REGISTER BEFORE April 5, 2008 ***
CSR 2008 is the third conference in a series of regular events started with
CSR 2006 in St.Petersburg and CSR 2007 in Ekaterinburg. The main part of the
program of CSR 2008 (see forthcoming LNCS 5010) consists of 33 contributed
papers (out of 103 submissions) divided into two tracks, Theory and
Application/Technology. CSR 2008 also features an OPENING LECTURE
Avi Wigderson (IAS, Princeton, USA)
Randomness - a Computational Complexity Perspective
and 8 INVITED LECTURES:
Eric Allender (Rutgers University, USA)
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Zurab Khasidashvili (Intel, Haifa, Israel)
On Formal Equivalence Verification of Hardware
Leonid Levin (Boston University, USA)
Pavel Pudlak (Math. Inst. AS CR, Czech Republic)
Twelve Problems in Proof Complexity
Florin Spanachi (SAP Research, Germany)
Limsoon Wong (National University of Singapore)
Manifestation and Exploitation of Invariants in Bioinformatics
Yuri Zhuravlev and Konstantin Rudakov (Dorodnicyn Computing Center of RAS,
Uri Zwick (Tel Aviv University, Israel)
Simple Stochastic Games, Mean Payoff Games, Parity Games
The conference program will include two special sessions:
1. Andrei Muchnik. In Memoriam.
2. Teaching Computer Science.
There will be a pre-conference (June 6-7) Russian-Indian Workshop on
Algebra, Combinatorics and Complexity (ACC 2008) organized by Meena Mahajan
and Mikhail Volkov.
The preliminary program of the symposium can be found at the conference Web
Registration information is available at http://csr2008.ru/Information .
We strongly recommend registering as soon as possible (preferably in March).
Early registration is especially important for foreign participants in order
for both you and us to complete the required official paperwork needed to
get a visa. Early registration deadline is April 5, 2008. Late registration
deadline is May 5, 2008.
Limited support is available for participants from Russia.
Organizers: Dorodnicyn Computing Centre of Russian Academy of Sciences,
Institute for System Programming of Russian Academy of Sciences, Moscow
State University, Moscow Institute of Open Education, Institute of New
Symposium chair: Alexei Semenov.
Further information and contacts: