posted by user: safonova_yana || 4686 views || tracked by 6 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Symposium in Russia
 
Link: http://agora.guru.ru/display.php?conf=csr2012
 
When Jul 3, 2012 - Jul 7, 2012
Where Nizhni Novgorod, Russia
Submission Deadline Dec 11, 2011
Notification Due Feb 17, 2012
Categories    computer science
 

Call For Papers

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

7th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2012)
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

Related Resources

EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
FCSIT 2022   2022 4th Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2022)
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
CoMSE 2023   2023 International Conference on Materials Science and Engineering (CoMSE 2023)
IWoSR 2022   2022 International Workshop on Service Robotics (IWoSR 2022)
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
CETA--Ei 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex