Logic List Mailing Archive

CSR 2012: Computer Science Symposium in Russia, Nizhni Novgorod

3-7 July 2012

Dear Colleagues,

Please find below the 2nd Call for Papers for CSR-2012.
News not covered in the previous CfP:

* Vijay Vazirani gives the opening lecture,
* Piotr Indyk is added to the list of invited speakers,
* special issue of ToCS,
* EATCS support.

We apologize for multiple copies.

Best regards,

Edward Hirsch

UNSUBSCRIPTION: If you do not wish to receive any news
regarding CSR conferences, please reply to this mail
and I will remove you from the mailing list.

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

Second Call for Papers

7th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2012)

Sponsored by European Association for Theoretical Computer Science (EATCS)

July 3-7, 2012, Nizhni Novgorod, Russia

http://agora.guru.ru/display.php?conf=csr2012

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

CSR 2012 intends to reflect the broad scope of international cooperation in
computer science. It is the seventh conference in a series of regular events
previously held in St.Petersburg (2006), Ekaterinburg (2007), Moscow (2008),
Novosibirsk (2009), Kazan (2010), and St.Petersburg (2011). The proceedings
are published in Springer LNCS.

IMPORTANT DATES

Deadline for submissions:       December 11, 2011
Notification of acceptance:     February 17, 2012
Conference dates:               July 3-7, 2012

VENUE

Nizhni Novgorod was founded by Prince Yuri (George) Vsevolodovich in 1221
on the confluence of two great Russian rivers, Volga and Oka.
It is a large city accessible by multiple international airlines
including regular Lufthansa flights from Frankfurt.

TOPICS include, but are not limited to:

* algorithms and data structures
* automata and formal languages
* combinatorial optimization
* constraint solving
* computational complexity
* cryptography
* combinatorics in computer science
* 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

* Vijay Vazirani (Georgia Tech)

TURING LECTURE connected to the THE ALAN TURING YEAR 2012 will be given by

* Yuri Matiyasevich (PDMI RAS)

INVITED SPEAKERS

* Lev Beklemishev (MI RAS)
* Mikolaj Bojanzcyk (Warsaw)
* Julien Cassaigne (Marseille)
* Piotr Indyk (MIT)
* Jaroslav Nesetril (Prague)
* Pavel Pevzner (UCSD and SPbAU RAS)

PROGRAM COMMITTEE

* Lev Afraimovich (Nizhni Novgorod)
* Susanne Albers (Berlin)
* Andris Ambainis (Riga)
* Alberto Bertoni (Milan)
* Bruno Durand (Marseille)
* Edward A. Hirsch (PDMI RAS)
* Juraj Hromkovic (ETH Zurich)
* Kazuo Iwama (Kyoto)
* Juhani Karhumaki (Turku, chair)
* Markus Lohrey (Leipzig)
* Ernst Mayr (Munich)
* Ilya Mironov (Microsoft Research)
* Anca Muscholl  (Bordeaux)
* Alexander Okhotin (Turku)
* Alexander Razborov (Chicago)
* Wojcieh Rytter (Warsaw)
* Jiri Sgall (Prague)
* Alexander Shen (Moscow)
* Arseny Shur (Ekaterinburg)
* Wofgang Thomas (Aachen)
* Nikolai Vereshchagin (Moscow)
* Mikhail Vyalyi (CC RAS)
* Gerhard Woeginger (Eindhoven)

ORGANIZERS

N.I.Lobachevsky State University of Nizhni Novgorod

CONFERENCE CHAIR

Michail Prilutskii (UNN)

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),
in English; instructions can be found at
        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.

Submissions should be uploaded to the EasyChair Conference system:
http://www.easychair.org/conferences/?conf=csr2012

YANDEX AWARDs

for the best paper and for the best student paper will be given by the PC.

SPECIAL ISSUE of the journal Theory of Computing Systems

will be published by Springer as usual. Authors of papers selected
by the PC for the issue will be invited to submit, and the papers
will be refereed according to standard rules of ToCS.

FURTHER INFORMATION AND CONTACTS

Web:    http://agora.guru.ru/display.php?conf=csr2012
Email:  csr2012.conf at gmail.com