Computer Science Summer in Russia [CSSR 2019] (http://cssr.nsu.ru) brings together two major international conferences on Computer Science held in Russia (the 14th International Computer Science Symposium in Russia and the 12th Ershov Informatics Conference), as well as satellite workshops, sessions of IT-companies, and a summer school targeting student audience.
The Summer School in the scope of CSSR will take place from 24.06-30.06.2019 at Novosibirsk State University, which is located in the Novosibirsk Research Center (Akademgorodok), Russian Federation 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) Course/tutorial proposal deadline: December 16, 2018 Notification of acceptance: January 14, 2019 Courses/tutorials held: June 24 - 30, 2019 Submission Webpage: http://cssr.nsu.ru/calls/#coursestutorials ====================== Call for Workshop Proposals @ CSSR 2019 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 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. Workshop proposal deadline: December 16, 2018 Notification of acceptance: January 14, 2019 Workshop Website and CfP published: February 18, 2019 Workshops held: July 1 - 5, 2019 Submission Webpage: http://cssr.nsu.ru/calls/#workshops If you have any questions, please, feel free to contact the Organization Committee via: [email protected] _______________________________________________ uai mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/uai
