CSR-2006: Springer LNCS, Deadline 18th December

Edward A. Hirsch hirsch@REDACTED
Fri Dec 2 18:32:59 CET 2005

Dear Colleagues,

We have two important news regarding the CSR-2006 conference in St.Petersburg:

1) Springer *confirms* that it will make an LNCS volume of our proceedings,

2) Given the news above, and also several requests from potential
   participants, the submission deadline has been moved to December 18.

   Please note that this is the last and final deadline.

Please feel free to spread the enclosed Call for Papers among your colleagues.

Best regards,

Edward Hirsch


             International Computer Science Symposium in Russia

        Sponsored by the U.S. Civilian Research & Development Foundation
    Organized by St.Petersburg Department of Steklov Institute of Mathematics

                   June 8-12, 2006, St.Petersburg, Russia

      *Revised* Final Call for Papers (LNCS publication confirmed, 
                                       deadline extended to December 18)

CSR 2006 is the first conference in a series of regular events intended
to reflect the broad scope of international cooperation in computer science.

St.Petersburg is one of the most beautiful and architecturally imposing
cities in the world, and June is the best and most romantic season of
"white nights" when it never gets dark and wonderful bridges open at night
to let boats pass. The conference will include also a cultural programme.

CSR 2006 consists of two tracks:

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 and robotics;
* computer graphics and image processing.

Program committee:

Theory Track: Sergei Artemov, Paul Beame, Michael Ben-Or, Andrei Bulatov,
  Peter Buergisser, Felipe Cucker, Evgeny Dantsin, Volker Diekert,
  Dima Grigoriev (chair), Yuri Gurevich, Janos Makowsky, Yuri Matiyasevich,
  Peter Bro Miltersen, Grigori Mints, Pavel Pudlak, Prabhakar Raghavan,
  Alexander Razborov, Michael E. Saks, Alexander Shen, Amin Shokrollahi,
  Anatol Slissenko, Mikhail Volkov

Applications and Technology Track: Boris Babayan, Robert Bauer, Matthias Blume,
  Walter Daelemans, Vassil Dimitrov, Sergey Dmitriev, Richard Fateman,
  Dina Goldin, John R. Harrison (chair), John Mashey, Bertrand Meyer,
  Fedor Novikov, Michael Parks, Andreas Reuter, Mary Sheeran,
  Elena Troubitsyna, Miroslav Velev, Sergey Zhukov

The opening lecture will be given by Stephen A. Cook
(University of Toronto, Canada).

The (confirmed) invited speakers include:

* 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 Superieure de Lyon, France)
* Omer Reingold (Weizmann Institute, Israel)

The proceedings of the symposium will be published in Springer's LNCS series
(confirmed by Springer).

Important dates:
* Paper submission:	December 18, 2005
* Notification:		January 31, 2006
* Symposium:		June 8-12, 2006

There will be limited support for travel expenses of Russian participants.
Participants from Scandinavia may request funding from the NoNA network.

Further information and contacts:
  Web: http://logic.pdmi.ras.ru/~csr2006/
  Email: csr06chair@REDACTED


More information about the erlang-questions mailing list