CALL FOR PARTICIPATION - CSR 2006

        International Computer Science Symposium in Russia
             June 8-12, 2006, St.Petersburg, Russia

  Organized by St.Petersburg Department of Steklov Institute of Mathematics
	    
                http://logic.pdmi.ras.ru/~csr2006
 

  *** WE STRONGLY RECOMMEND TO REGISTER BEFORE February 28, 2006 ***


CSR 2006 is the first conference in a projected series of regular events
spanning all areas of computer science.

The main part of the program of CSR 2006 consists of 65 contributed
papers (out of 279 submissions) divided into two tracks, Theory
and Application/Technology.  CSR 2006 also features an opening
lecture by Stephen A. Cook and 10 invited lectures (see below).
In addition, before the conference, there will be two workshops
at the conference location.

St. Petersburg is beautiful at any time of year. The early
summer, known as the "white nights" season, is especially lovely.
The city is surrounded by wonderful tsar parks and palaces;
an excursion to one of them will be a social program of the symposium.

The preliminary program and registration information can be found 
at the conference Web site.

We strongly recommend registering as soon as possible (preferably in
February).  Hotels are already quite booked.  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.

The symposium is sponsored by the U.S. Civilian Research & Development
Foundation and Russian Foundation for Basic Research.  There is a limited
financial support for participants from Russia.


INVITED SPEAKERS
----------------

* Boaz Barak (Princeton University, USA)
* Gerard Berry (Esterel Technologies, France)
* Bob Colwell (R&E Colwell & Assoc. Inc., USA)
* Byron Cook (Microsoft Research, USA)
* Melvin Fitting (Lehman College and the Graduate Center, CUNY, USA)
* Russell Impagliazzo (University of California at San Diego, USA)
* Michael Kaminski (Technion, Israel)
* Michael Kishinevsky (Intel, USA)
* Pascal Koiran (Ecole Normale Suprieure de Lyon, France)
* Omer Reingold (Weizmann Institute, Israel)


WORKSHOPS
---------

LARARL'06 --- Logic for Automated Reasoning and Automated Reasoning for Logic
http://www.cs.miami.edu/~geoff/Conferences/LARARL/

WOWA'06   --- Workshop on Words and Automata
http://math.usu.edu.ru/kadm/wowa.html


PRELIMINARY PROGRAM
-------------------

See our web site.