CSR 2012 - The 7th International Computer Science Symposium in Russia

Website http://agora.guru.ru/display.php?conf=csr2012 | Edit Freely

Category computer science

Deadline: December 11, 2011 | Date: July 03, 2012-July 07, 2012

Venue/Country: Nizhni Novgorod, Russia

Updated: 2011-10-28 10:50:45 (GMT+9)

Call For Papers - CFP

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

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

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

INVITED SPEAKERS include

Lev Beklemishev (MI RAS)

Mikolaj Bojanczyk (Warsaw)

Julien Cassaigne (Marseille)

Jaroslav Nesetril (Prague)

Pavel Pevzner (UCSD and SPbAU RAS)

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

Yuri Matiyasevich (PDMI RAS)

PROGRAM COMMITTEE

Lev Afraimovich (Nizhni Novgorod)

Susanne Albers (Berlin)

Andris Ambainis (Riga)

Alberto Bertoni ((Milan)

Bruno Durand (Marseilles)

Edward A. Hirsch (PDMI RAS)

Juraj Hromkovic (ETH Zürich)

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)

Wojciech Rytter (Warsaw)

Jiri Sgall (Prague)

Alexander Shen (Moscow)

Arseny Shur (Ekaterinburg)

Wolfgang Thomas (Aachen)

Nikolai Vereshchagin (Moscow)

Gerhard Woeginger (Eindhoven)

Mikhail Vyalyi (Dorodnicyn Computing Center RAS)

ORGANIZERS

N.I.Lobachevsky State University of Nizhni Novgorod

CONFERENCE CHAIR

Michail Prilutskii (Lobachevsky State University of Nizhni Novgorod, Russia)

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

FURTHER INFORMATION AND CONTACTS

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

Email csr2012.conf at gmail.com