Computer Science Summer in Russia (CSSR)
Computer Science Summer in Russia (CSSR)
June 24 - July 5, 2019
Call for Conference Contributions
To see Calls for Papers for the conferences to be held in the scope of CSSR, please follow these links:
The 12th Ershov Informatics Conference (PSI): https://psi.nsc.ru/call
The 14th Computer Science Symposium in Russia: https://logic.pdmi.ras.ru/csr2019/cfp
The 12th Ershov Informatics Conference (PSI): https://psi.nsc.ru/call
The 14th Computer Science Symposium in Russia: https://logic.pdmi.ras.ru/csr2019/cfp
Call for Courses & Tutorials
Novosibirsk State University, Ershov Institute of Informatics Systems, and
Sobolev Institute of Mathematics
organize a Summer School on Computer Science in the scope of the Computer Science Summer in Russia.
The School will take place from 24 -30 June, 2019 at Novosibirsk State University and will target student audience from Russia and neighbor countries.
Sobolev Institute of Mathematics
organize a Summer School on Computer Science in the scope of the Computer Science Summer in Russia.
The School will take place from 24 -30 June, 2019 at Novosibirsk State University and will target student audience from Russia and neighbor countries.
School topics
* Approaches to solving combinatorially hard problems
(complexity analysis, approximation algorithms, parametrized algorithms, randomized
approaches)
* Formal methods in software engineering
(program semantics and specification, software verification techniques)
* Automated Reasoning
(logical calculi, SAT solving, theorem proving)
* Data & Knowledge Engineering
(logic and algebraic models for storage, retrieval, and analysis of data and knowledge)
* Approaches to solving combinatorially hard problems
(complexity analysis, approximation algorithms, parametrized algorithms, randomized
approaches)
* Formal methods in software engineering
(program semantics and specification, software verification techniques)
* Automated Reasoning
(logical calculi, SAT solving, theorem proving)
* Data & Knowledge Engineering
(logic and algebraic models for storage, retrieval, and analysis of data and knowledge)
Important Dates
Course/tutorial proposal deadline: December 16, 2018 (submission is now closed)
Notification of acceptance: January 14, 2019
Courses/tutorials held: June 24 - 30, 2019
Course/tutorial proposal deadline: December 16, 2018 (submission is now closed)
Notification of acceptance: January 14, 2019
Courses/tutorials held: June 24 - 30, 2019
Call for Workshop Proposals
CSSR welcomes workshop proposals related to the following topics:
- Algorithms and data structures
- Computational complexity
- Formal languages and automata
- Applications of logic in Computer Science
- Databases and information systems
- Knowledge representation and reasoning
- Foundations of software and system development and analysis
- Programming methodology and software engineering
- Computational complexity
- Formal languages and automata
- Applications of logic in Computer Science
- Databases and information systems
- Knowledge representation and reasoning
- Foundations of software and system development and analysis
- Programming methodology and software engineering
The role of the workshops is to provide a setting for focused discussions and scientific exchange among researchers and practitioners interested in a specific topic. Workshops are the primary venues for the exploration of emerging ideas as well as for the discussion of novel aspects of established research topics.
Accepted workshops will be required to prepare a web page containing a call for papers and detailed information about the workshop organization and timelines. While the CSSR organization committee will assist with the local organization of the workshops, the workshop organizers will be responsible for conducting their own reviewing process, for publicity of their workshop, and for publishing proceedings.
Important Dates
Workshop proposal deadline: December 16, 2018 (submission is now closed)
Notification of acceptance: January 14, 2019
Workshop website and CfP published: February 18, 2019
Workshops held: July 1 - 5, 2019
Accepted workshops will be required to prepare a web page containing a call for papers and detailed information about the workshop organization and timelines. While the CSSR organization committee will assist with the local organization of the workshops, the workshop organizers will be responsible for conducting their own reviewing process, for publicity of their workshop, and for publishing proceedings.
Important Dates
Workshop proposal deadline: December 16, 2018 (submission is now closed)
Notification of acceptance: January 14, 2019
Workshop website and CfP published: February 18, 2019
Workshops held: July 1 - 5, 2019
Questions regarding submissions should be sent to cssr@nsu.ru
