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.
The workshop track 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.