posted by user: julia_maslova || 3029 views || tracked by 5 users: [display]

CSR 2016 : 11th International Computer Science Symposium in Russia

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Symposium in Russia
 
Link: http://logic.pdmi.ras.ru/csr2016/
 
When Jun 9, 2016 - Jun 13, 2016
Where St. Petersburg, Russia
Submission Deadline Dec 11, 2015
Notification Due Feb 11, 2016
Categories    conference   mathematics   informatics
 

Call For Papers

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of two tracks: Theory Track and Applications and Technology Track, and since 2010 it has a single track. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

IMPORTANT DATES

Deadline for submissions: December 11, 2015
Notification of acceptance: February 11, 2016

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

TOPICS
include, but are not limited to:

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

Christos H. Papadimitriou (University of California at Berkeley, USA)

INVITED SPEAKERS

Herbert Edelsbrunner (Institute of Science and Technology, Austria)
Vladimir Kolmogorov (Institute of Science and Technology, Austria)
Orna Kupferman (Hebrew University, Israel)
Virginia Vassilevska Williams (Stanford University, USA)

ORGANIZERS

Steklov Institute of Mathematics at St. Petersburg of the Russian Academy of Sciences

SUBMISSIONS

Authors are invited to submit an extended abstract or a full paper of at most 12 pages in English, not including references, 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.

Submission server: https://easychair.org/conferences/?conf=csr2016

Email: csr2016info@gmail.com

Related Resources

CCVPR 2020   2020 3rd International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2020)
CFMAI 2020   2020 2nd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2020)
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ICMSTTL--ACM, EI and Scopus 2020   ACM--2020 The 2nd International Conference on Mathematics, Science and Technology Teaching and Learning (ICMSTTL 2020)--EI Compendex, Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ICAISE--Ei Compendex and Scopus 2020   2020 The 2nd International Conference on Advanced Information Systems and Engineering (ICAISE 2020)--Ei compendex, scopus
HBSRA 2021   2021 – 6th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 15-16 May, Berlin
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
STRA 2021   2nd ICSTR Berlin – International Conference on Science & Technology Research, 14-15 May 2021
EI-CGMIP 2020   2020 2nd International Symposium on Computer Graphics, Multimedia and Image Processing (CGMIP 2020)