[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)
     Forbidden Information

  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,
Moscow)

  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
site.

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
Technologies.

Symposium chair: Alexei Semenov.

Further information and contacts:
  Web: http://csr2008.ru/
  Email: info@xxxxxxxxxx