Tuesday, December 8, 2009

CSR-2010: extended deadline, Last CfP

Dear Colleagues,

Unfortunately, our web server was unreachable for several days last week
for reasons independent of us.  We apologize!  The PC decided to
extend the deadline until December 18, 23:59 CET (Central European Time).

Note that Kazan is easily reachable by plane from most European cities
using convenient connections in, for example, Frankfurt.

Please find below the last version of the CfP.
(We apologize for multiple copies.)

Best regards,
CSR-2010 organizers

P.S. Please keep in mind for the future that a "master" page for
CSR conferences is located at http://logic.pdmi.ras.ru/~csr/
If anything ever happens to current conference web pages, please refer to it.

*******************************************************************************

Last Call for Papers

5th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2010)

June 16-20, 2010, Kazan, Russia

http://csr2010.antat.ru/
http://logic.pdmi.ras.ru/~csr/

*******************************************************************************

CSR 2010 intends to reflect the broad scope of international cooperation in
computer science. It is the 5th conference in a series of regular events
started with CSR 2006 in St. Petersburg (see LNCS 3967), CSR 2007 in
Ekaterinburg (see LNCS 4649), CSR 2008 in Moscow (see LNCS 5010), and
CSR 2009 in Novosibirsk (see LNCS 5675).

IMPORTANT DATES:

Deadline for submissions:       December 18, 2009 at 23:59 CET
Notification of acceptance:     January 31, 2010
Conference dates:               June 16-20, 2010

As has become tradition, there will be YANDEX AWARDs
for the best paper and for the best student paper!

TOPICS

* algorithms and data structures
* combinatorial optimization
* constraint solving
* complexity and cryptography
* formal languages and automata
* computational models and concepts
* algorithms for concurrent and distributed systems, networks
* proof theory and applications of logic to computer science
* model checking
* automated reasoning
* deductive methods

OPENING LECTURE:

Alexander Razborov (University of Chicago and Steklov Mathematical Institute)

INVITED SPEAKERS:

Fedor Fomin (University of Bergen)
(many more names are coming soon!)

PROGRAM COMMITTEE:

Ernst W. Mayr (TU München, Germany; Chair)
Sergei N. Artemov (City University of New York, USA)
Lev Beklemishev (M.V. Lomonossov Moscow State University, Russia)
Michael Ben-Or (Hebrew University, Israel)
Harry Buhrman (University of Amsterdam, Netherlands)
Edith Cohen (AT&T Research, USA)
Samir Datta (Chennai Mathematical Institute, India)
Andrew V. Goldberg (Microsoft Research, USA)
Dima Grigoriev (Université de Lille, France)
Martin Hofmann (LMU München, Germany)
Stasys Jukna (Universität Frankfurt, Germany)
Yuri Matiyasevich (Steklov Inst. of Math., St. Petersburg, Russia)
Peter Bro Miltersen (Aarhus University, Denmark)
Georg Moser (University of Innsbruck, Austria)
Madhavan Mukund (Chennai Mathematical Institute, India)
Harald Räcke (University of Warwick, United Kingdom)
Uwe Schöning (Universität Ulm, Germany)
Jeffrey Shallit (University of Waterloo, Canada)
Alexander Shen (LIF, Marseille, France)
Alberto Marchetti Spaccamela (Università di Roma "La Sapienza", Italy)
Michael Tautschnig (TU Darmstadt, Germany)
Pascal Tesson (Université Laval, Canada)
Berthold Vöcking (RWTH Aachen, Germany)
Sergey Yekhanin (Microsoft Research, USA)
Alexander Zelikovsky (Georgia State University, USA)

ORGANIZERS:

Institute of Informatics, Tatarstan Academy of Sciences, and Kazan State University

CONFERENCE CHAIR:

Farid Ablayev (Kazan State University)

SUBMISSIONS:

Authors are invited to submit an extended abstract or a full paper of at most
12 pages in the LNCS format (LaTeX, as pdf; final version with source);
instructions are here:
       http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0
Proofs and other material omitted due to space constraints are to be put into
a clearly marked appendix to be read at discretion of the referees. Papers
must present original (and not previously published) research. Simultaneous
submission to journals or to other conferences with published proceedings is
not allowed.  The proceedings of the symposium will be published in Springer's
LNCS series.

Selected papers from the conference will be reviewed for and published in a
special issue of Theory of Computing Systems (Springer-Verlag).

Submissions should be uploaded to the EasyChair Conference system:
https://www.easychair.org/login.cgi?conf=csr2010


FURTHER INFORMATION AND CONTACTS:

Web:    http://csr2010.antat.ru/
Web #2: http://logic.pdmi.ras.ru/~csr/
Email:  csr2010.kazan@gmail.com