[Proof Complexity] 16th International Computer Science Symposium in Russia (CSR 2021): Call for Papers

Alexander Kulikov kulikov at pdmi.ras.ru
Sat Nov 28 10:53:47 CET 2020


We apologize for multiple copies.

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

Second Call for Papers

16th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2021)

June 28-July 2, 2021, Sochi, Russia

https://logic.pdmi.ras.ru/csr2021/

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

CSR is an annual international conference held in Russia that is
designed to cover a broad range of topics in Theoretical Computer
Science. The list of previous CSR conferences can be found at
https://logic.pdmi.ras.ru/~csr/ . Conference proceedings are published
in Springer's Lecture Notes in Computer Science series.

IMPORTANT DATES

Deadline for submissions:       December 24, 2020
Notification of acceptance:     February 8, 2021
Conference dates:               June 28-July 2, 2021

TOPICS
include, but are not limited to:

(i) algorithms and data structures
(ii) computational complexity, including hardness of approximation and parameterized complexity 
(iii) randomness in computing, approximation algorithms, fixed-parameter algorithms
(iv) combinatorial optimization, constraint satisfaction, operations research
(v) computational geometry
(vi) string algorithms
(vii) formal languages and automata, including applications to computational linguistics
(viii) codes and cryptography
(ix) combinatorics in computer science
(x) computational biology
(xi) applications of logic to computer science, proof complexity
(xii) database theory
(xiii) distributed computing
(xiv) fundamentals of machine learning, including learning theory,   grammatical inference and neural computing
(xv) computational social choice
(xvi) quantum computing and quantum cryptography
(xvii) theoretical aspects of big data


OPENING LECTURE

Tim Roughgarden (Columbia University, USA)

INVITED SPEAKERS

TBD

PROGRAM COMMITTEE

Rahul Santhanam (University of Oxford, UK; Chair)
Elena Arseneva (St. Petersburg State Univesity, Russia)
Alexander Belov (University of Latvia, Latvia)
Simina Branzei (Purdue University, USA)
Andrei Bulatov (Simon Fraser University, Canada)
Anupam Das (University of Birmingham, UK)
Laure Daviaud (City University of London, UK)
Laurent Doyen (LSV - ENS Paris-Saclay, France)
Piotr Faliszewski (AGH University of Science and Technology, Poland)
Pawel Gawrychowski (University of Wroclaw, Poland)
Heng Guo (University of Edinburgh, UK)
Siyao Guo (NYU Shanghai, China)
Shuichi Hirahara (NII, Japan)
Mikhail Kapralov (EPFL, Switzerland)
Jesper Nederlof (Utrecht University, Netherlands)
Alexander Okhotin (St. Petersburg State University, Russia)
Sofya Raskhodnikova (Boston University, USA)
Alexander Razborov (University of Chicago, USA)
Suzanna de Rezende (Czech Academy of Sciences, Czech Republic)
Laura Sanita (University of Waterloo, Canada)
Kavitha Telikepalli (TIFR, India)
Amir Yehudayoff (Technion, Israel)
Meirav Zehavi (Ben-Gurion Ubiversity, Israel)


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:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
       
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 by PC members will be allowed but will be held to a higher standard than non-PC submissions.

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

We are carefully watching the situation with the Covid-19 pandemic. We hope to 
conduct a physical event, but it will be possible to participate in the event 
online for those who are unable to come due to travel restrictions or other 
circumstances. In case the situation in Russia does not allow us to organize 
a meeting in place, we are planning to move the event online 
but not to postpone it.

FURTHER INFORMATION AND CONTACTS

Web:    http://logic.pdmi.ras.ru/csr2021/
Email:  musatov.dv at phystech.edu


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


More information about the Proof-Complexity mailing list