Computer Science Summer in Russia (CSSR)

June 24 - July 5, 2019

*Two major Computer Science conferences in Russia
*Satellite workshops
*Summer school;
*IT Sessions
Computer Science Summer in Russia (CSSR) brings together two major international conferences on Computer Science held in Russia, as well as satellite
workshops, sessions of IT-companies, and a summer school targeting student audience. CSR (International Computer Science Symposium in Russia) and PSI (Ershov Informatics Conference) will be held in the scope of CSSR.

  June, 24June, 30     July, 1 July, 2 July, 5  
Summer School CSR
Sessions of IT-Companies Satellite Workshops
CSR and PSI are internationally recognized venues for discussion of the latest results in the theory and applications of Computer Science. Both conferences have international steering committees and host invited talks given by prominent researchers. In particular, Turing award and Knuth award holders gave invited talks at CSR and PSI.
Invited Lectures in the scope of CSSR will be given by
Andrew Yao
Tsinghua University, China
Moshe Vardi
Rice University, USA
Michael Fellows
University of Bergen, Norway
Joost-Pieter Katoen
Aachen University, Germany
Margus Veanes
Microsoft Research, Redmond, USA
Marta Kwiatkowska
Oxford University, UK
Sören Auer
Leibniz Information Center for Science and Technology, Germany
David Woodruff
Carnegie Mellon University, USA
Eric Fusy
École Polytechnique, France
Giuseppe Italiano
LUISS University, Italy
Meena Mahajan
Institute of Mathematical Sciences, India
Petros Petrosyan
Yerevan State University, Armenia
Dmitry Zhuk
Moscow State University, Russia
The workshop track of CSSR will consist of satellite scientific events, some of which are held traditionally as a part of the conferences and cover topics such as Software Engineering, Software Verification, Education Informatics. The list will be extended on the selection basis via a standard call for workshops.

The summer school will target mainly student audience and will present accelerated courses on selected topics of Formal Methods in Computer Science, Knowledge Engineering, Data Analytics, Software Development. The list of the courses will be completed on the selection basis via a call for proposals.

In parallel to the summer school, CSSR will host sessions of IT-companies including tutorials, presentations and career fair.
Made on