CSR-2006: Call For Papers (St Petersburg RU, Jun 06)

"CSR-2006" <csr06chair@logic.pdmi.ras.ru>
4 Nov 2005 14:05:13 -0500

          From comp.compilers

Related articles
CSR-2006: Call For Papers (St Petersburg RU, Jun 06) csr06chair@logic.pdmi.ras.ru (CSR-2006) (2005-11-04)
| List of all articles for this month |

From: "CSR-2006" <csr06chair@logic.pdmi.ras.ru>
Newsgroups: comp.compilers
Date: 4 Nov 2005 14:05:13 -0500
Organization: http://groups.google.com
Keywords: conference, CFP
Posted-Date: 04 Nov 2005 14:05:13 EST

CSR-2006 -- 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


Call for Papers


CSR 2006 is the first conference in a series of regular events intended
to reflect the broad scope of international cooperation in computer
science. 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.


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


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


It is planned to publish the proceedings of the symposium in
Springer's LNCS series.


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


There will be limited support for travel expenses of Russian
participants.


Further information and contacts:
    Web: http://logic.pdmi.ras.ru/~csr2006/
    Email: csr06chair <at> logic.pdmi.ras.ru


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.