posted by user: kulikov || 10685 views || tracked by 16 users: [display]

CSR 2014 : 9th International Computer Science Symposium in Russia

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Symposium in Russia
 
Link: http://logic.pdmi.ras.ru/csr2014/
 
When Jun 6, 2014 - Jun 12, 2014
Where Moscow, Russia
Submission Deadline Dec 9, 2013
Notification Due Feb 12, 2014
Final Version Due Feb 24, 2014
Categories    computer science   algorithms   complexity   cryptography
 

Call For Papers





CSR-2014: First Call for Papers

The 9th International Computer Science Symposium in Russia
June 6-12, 2014, Moscow, Russia
http://logic.pdmi.ras.ru/csr2014

Program Committee Chair:
Jean-Eric Pin (CNRS and U. Paris-Diderot)

Program Committee:
Eric Allender (Rutgers)
Andris Ambainis (U. of Latvia)
Christel Baier (TU Dresden)
Petra Berenbrink (Simon Fraser U.)
Mikolaj Bojanczyk (U. of Warsaw)
Andrei Bulatov (Simon Fraser U.)
Victor Dalmau (U. Pompeu Fabra)
Manfred Droste (U. of Leipzig)
Zoltan Esik (U. of Szeged)
Fedor Fomin (U. of Bergen)
Edward A. Hirsch (Steklov Inst./St.Petersburg)
Gregory Kucherov (CNRS and U. Marne-la-Vallee)
Michal Kunc (Masaryk U.)
Leonid Libkin (U. of Edinburgh)
Konstantin Makarychev (Microsoft Research)
Kurt Mehlhorn (Max-Planck Inst.)
Georg Moser (U. of Innsbruck)
Alexander Okhotin (U. of Turku)
Giovanni Pighizzini (U. of Milano)
Alexander Razborov (U. of Chicago and Steklov Inst./Moscow)
Michel Rigo (U. of Liege)
Nicole Schweikardt (U. of Frankfurt)
Jacobo Toran (U. of Ulm)
Mikhail Volkov (Ural Federal U.)
Carsten Witt (TU Denmark)

Distinguished opening lecture:
Shafi Goldwasser (MIT)

Invited Speakers include:
Mark Braverman (Princeton)
Volker Diekert (Stuttgart)
Martin Grohe (RWTH Aachen)
Benjamin Rossman (National Institute of Informatics, Tokyo)
Alexei Semenov (Moscow)
Igor Walukiewicz (Bordeaux)

Important Dates:
Submission: December 9, 2013
Notification: February 12, 2014

Topics: include, but are not limited to:
algorithms and data structures
algorithms for concurrent and distributed systems, networks
computational complexity
proof complexity
Kolmogorov complexity
combinatorial optimization
constraint solving
cryptography
combinatorics in computer science
automata theory and formal languages
computational models and concepts
database theory
applications of logic to computer science
proof theory
model checking
automated reasoning
deductive methods

Submission:
Authors are invited to submit original (and not previously published)
research. Submissions consist of two parts: the main paper and an appendix
(which might be empty). The main paper must be at most 14 pages in length,
including references. All proofs omitted from the main paper due to space
constraints should be given in the appendix or made accessible through a
reliable link to a freely available electronic preprint. The papers must
be submitted in English, in the LNCS format (LaTeX, as pdf; final version
with source) with page numbering turned on using the \pagestyle{plain}
command; instructions are here:
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0
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. Accepted papers MUST be presented
at the symposium.

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

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

Conference co-Chairs:
Nikolay Vereshchagin (Moscow)
Edward A. Hirsch (St.Petersburg)
Sergei O. Kuznetsov (Moscow)

Organized by
Moscow Center for Continuous Mathematical Education
National Research University Higher School of Economics
Steklov Institute of Mathematics at St.Petersburg of Russian Academy of Sciences

Sponsored by
Yandex
National Research University Higher School of Economics
Russian Foundation for Basic Research

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2014
Email: csr2014 "at" googlegroups.com

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
ISCSO 2024   Multi-Objective Optimization Competition
CSITEC 2025   11th International Conference on Computer Science, Information Technology
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
SEAS 2025   14th International Conference on Software Engineering and Applications