Join us and keep up to date with the latest news!
March 31, 2017
The paper submission deadline has been extended to April 10. We expect participants to submit abstracts each consisting of a title, a list of authors, and a brief description of the research.
December 2, 2016
We would like to announce that paper submission for SYRCoSE 2017 has opened. Here a link to the EasyChair installation where you can submit your papers.
Note that year event will be hosted by Innopolis University, a new university specializing in the field of modern information technologies and robotics.
June 6, 2016
we would like to thank you for your interest to the colloquium, for your papers, and for your support. The 10 years anniversary, we think, is a good time to think about SYRCoSE future. The main question is how to make the colloquium more helpful and valuable for young researchers. Your feedback is of high importance. Please, share your ideas with us.
May 23, 2016
It is our pleasure to announce this year's invited talks.
Dirk Beyer (University of Passau, Germany)
SMT-Based Verification Algorithms in CPAchecker
After many years of successful development of new algorithms for software model checking, there is a need to consolidate the knowledge about the different algorithms and approaches. This talk gives a coarse overview over four algorithms. We compare the following different "schools of thought" of algorithms: bounded model checking, k-induction, lazy predicate abstraction, and lazy abstraction with interpolants. Those algorithms are well-known and successful in software verification. They have in common that they are based on SMT solving as the back-end technology, using the theories of uninterpreted functions, bit vectors, and floats as underlying theory. All four algorithms are implemented in the verification framework CPAchecker. Thus, we can present an evaluation that really compares only the core algorithms, and keeps the design variables such as parser front end, SMT solver, used theory in SMT formulas, etc. constant. We evaluate the algorithms on a large set of verification tasks, and discuss the conclusions.
Dirk Beyer is Professor of Computer Science and has a Research Chair for Software Systems at the University of Passau, Germany. He was Assistant and Associate Professor at Simon Fraser University, B.C., Canada, and Postdoctoral Researcher at EPFL in Lausanne, Switzerland (2004-2006) and at the University of California, Berkeley, USA (2003-2004) in the group of Tom Henzinger. Dirk Beyer holds a Dipl.-Inf. degree (1998) and a Dr. rer. nat. degree (2002) in Computer Science from the Brandenburg University of Technology in Cottbus, Germany. In 1998 he was Software Engineer with Siemens AG, SBS Dept. Major Projects in Dresden, Germany. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the architect, designer, and implementor of several successful tools. For example, CrocoPat is the first efficient interpreter for relational programming, CCVisu is a successful tool for visual clustering, and CPAchecker and BLAST are two well-known and successful software model checkers.
Alexey Khoroshilov (Institute for System Programming of RAS, Russia)
Verification of Operating Systems
The talk presents experience in application of various verification techniques to operating systems. It includes deductive verification of Linux security modules, software model checking of Linux device drivers, static analysis to detect data races in operating system kernels, model-based testing for compliance to API standards like LSB and POSIX, systematic fault injection for run-time testing.
Alexey has graduated from Computer Sciences Department of the Lomonosov's Moscow State University with honour in 2001. He received a Ph.D. in Computer Sciences in 2006 on the Formal Specification and Testing of Asynchronous Systems. Alexey works for the Institute for System Programming of the Russian Academy of Sciences (ISPRAS) since 1999. His research interest includes formal methods for software and hardware systems, model based testing, verification of operating systems and design of safety critical embedded systems. Alexey was the lead architect of the LSB Infrastructure program run jointly by ISPRAS and Linux Foundation. He is a director of the Linux Verification Center of ISPRAS, where a number of verification techniques are developed and applied to Linux kernel and other real-time operating systems.
Vartan Padaryan (Institute for System Programming of RAS, Russia)
Protection and Mitigation of Software Bug Exploitation
Automatic exploit generation demanded not only by Black-Hat hackers but benign developers too. Generation of workable exploit – is the best way to evaluate severity of found defect and set right priority to fix the bug. Over the past decade a lot of papers were presented to offer methods of automatic (or automated) exploit generation using only raw binary code. However, at the same time software protection mechanisms were significantly developed. They aimed to prevent exploitation or to mitigate its consequences. The talk compares exploitation techniques and protection mechanisms in the modern software, shows how secure software development utilizes advances in compiler technology.
Vartan Padaryan is the leading researcher at the Compiler technology Department of the Institute for System Programming of the Russian Academy of Sciences (ISP RAS). He has graduated from the faculty of Computational Mathematics and Cybernetics of the Lomonosov Moscow State University with honor in 2000. In 2005 he defended his Ph.D. thesis on the «Research and development of estimation methods for scalability and performance of data-parallel programs». He has published over 50 articles. Since 1997 Vartan Padaryan has been working at the ISP RAS. The last 9 years he is working on computer security problems. His research interests include compiler technologies, program analysis and reverse engineering, network security, parallel and distributed programming.
May 17, 2016
We would like to inform you that the draft of the Colloquium Program has been published.
March 24, 2016
The deadline for submitting papers to SYRCoSE 2016 has been extended to April 11. However (!), abstracts should be submitted as soon as possible. An abstract consists of a title, a list of authors, and a brief description of the research (a couple of sentences).
December 21, 2016
We would like to announce SYRCoSE 2016 call for papers. The milestones are as follows:
|Paper Submission||April 1, 2016|
|Notification of Acceptance||April 30, 2016|
|Camera Ready Papers||May 10, 2016|
May 25, 2015
We are glad to announce two more invited talks.
Standards are what most people in the industry have heard of, but little have seen. Languages suAbstarch as C and C++, programming interfaces like POSIX, networking like TCP or Web-Services, cryptography such as RSA and AES, development processes like change management and quality control... Almost everything around a coder is supported by standards. They are curtained by components, libraries and tools, but they are there. What are they - the standards? What are they for you? What can you do with them? And what can you do for them? The talk discusses the importance of knowing the standards, the pros and conses of following and breaking the standards, and the ways you can contribute to them.
Distributed system is a group of decentralized interacting executers. Communication in a distributed system is said to be fair, if any executer that wants to communicate with another one will eventually communicate. Distributed algorithm is the communication protocol implementing a distributed system to solve some task. Multiagent system is a distributed system that consists of agents. An agentis an autonomous rational reactive object (in Object Oriented sense) whose internal state can be characterized in terms of agent's believes, desires, intentions, and rationale. Multiagent algorithm is a distributed algorithm that solves some problem by means of cooperative work of agents. But in an individual agent’s perspective a multigent algorithm is a reactive and proactive knowledge/believe-based rational algorithm to achieve agent’s own desires. Agent's beliefs represent its “knowledge” about itself, other agents and an “environment”; this “knowledge” may be incomplete, inconsistent, and (even) incorrect; beliefs evolve in reaction to “signal” that it gets from the environment (i.e. agents are reactive). Agent's desires represent its long-term aims, obligations and purposes (that may be controversial); usually desires don’t change on the run ofmultiagent algorithm. Agent's intentions are used for a short-term planning; this ability to make and change short-term plans is calledagent’s proactivety. A rational agent has clear “preferences” (rationale) and always chooses the action (in feasible actions) that leads to the “best” outcome for itself. Every agent is autonomous, i.e. any change of its believes, desires and intentions depends on the agent itself, and a change can’t be decreed from outside.In the talk we examine (from epistemic point of view) knowledge and beliefs of agents that arrive one by one to a resource center to rent for a while one of available desired resources. Available resources are passive, they form a cloud; each of the available resources is lend on demand if there is no races for this resource and returns to the cloud after use. Agents also form a cloud, but leave the cloud immediately when they rent a desired resource. All agents are rational and can communicate with each other in P2P-manner, negotiate and flip (change intentions) so that all flips must always be rational for participating agents. The problem is to design a multiagent algorithm, which allows each arriving agent sooner or later to rent some of desired resource.
May 7, 2015
It is our pleasure to announce that Susanne Graf (Deputy Director of VERIMAG Lab) has agreed to give a talk at SYRCoSE 2015.
Knowledge-based Verification and Construction of Distributed and Constrained Systems
Deriving distributed implementations from global specifications has been extensively studied for various application domains, and under various assumptions and constraints. We explore here the problem from the knowledge perspective: a process can decide to execute a local action when it has the knowledge to do so. We discuss typical knowledge atoms, useful for expressing local enabling conditions with respect to different notions of correctness, as well as different means for obtaining knowledge and for representing it locally in an efficient manner. Our goal is to use such a knowledge-based representation of the distribution problem for either deriving distributed implementations automatically from global specifications on which some constraint is enforced -- a difficult problem -- or for improving the efficiency of existing protocols by exploiting local knowledge. We also argue that such a knowledge-based presentation helps achieving the necessary correctness proofs.
May 5, 2015
We would like to inform you that the draft of the Colloquium Program has been published.
April 14, 2015
We would like to inform you that the SYRCoSE publishing policy has changed. All submissions will be classified into three groups:
- papers accepted for presentation and publication;
- papers accepted for presentation but not for publication;
- rejected papers.
Papers of the first group will be published in Proceedings of ISP RAS, a peer-reviewed journal included into the list of periodicals recommended for publishing doctoral research results by the Higher Attestation Commission of the Ministry of Science and Education of the Russian Federation.
April 1, 2015
We would like to inform you that the paper submission deadline has been postponed to April 8, 2015 (21:00 MSK).
May 14, 2014
The Colloquium Program (draft) is now available on the web-site. Please let us know if something is wrong.
April 30, 2014
In this year, we have received 47 papers. After thorough reviewing they were divided into the following groups:
- Papers to be published in the final proceedings (electronic proceedings with ISSN) (papers with high score and good English).
Papers not to be published in the final proceedings but to be published in the preliminary proceedings (a paperback with ISBN).
Papers not to be published at all (authors are suggested to make poster presentations).
The distribution is as follows: 25 (53%); 6 (13%); 16 (34%).
We are very grateful to all PC members and external reviewers for working hard to review the papers and select the program.
April 8, 2014
We would like to inform you that the paper submission deadline has been postponed to April 11, 2014 (14:00 MSK).
March 27, 2014
We would like to inform you that the paper submission deadline has been postponed to April 7, 2014 (23:59 MSK).
February 24, 2014
The online version of the SYRCoSE proceedings has been recorded in the ISSN Register:
January 13, 2014
Kostya Serebryany (Software Engineer, Google Moscow) has agreed to give a talk on dynamic testing tools at SYRCoSE 2014. The title is "AddressSanitizer & friends: using compiler instrumentation to find bugs at run-time".
Abstract. AddressSanitizer (ASan) is a tool that finds buffer overflows (in stack, heap and globals) and use-after-free bugs in C/C++ programs. ThreadSanitizer (TSan) finds data races in C/C++ and Go programs. MemorySanitizer (MSan) is a work-in-progress tool that finds uses of uninitialized memory (C++). These tools are based on compiler instrumentation (LLVM and GCC), which makes them very fast (e.g. ASan incurs just 2x slowdown). In this talk we will share our experience in huge scale testing using these tools and discuss new related research areas.
Konstantin Serebryany is a Software Engineer at Google. His team develops and deploys dynamic testing tools, such as AddressSanitizer and ThreadSanitizer. Prior to joining Google in 2007, Konstantin spent 4 years at Elbrus/MCST working for Sun compiler lab and then 3 years at Intel Compiler Lab. Konstantin holds a PhD from mesi.ru and a Master from msu.ru. Read more...
May 21, 2013
Dear participants, Colloquium Program has been prepared. Please check the information carefully and let us know if something is incorrect.
April 11, 2013
We would like to inform you that paper submission has been closed. We are reviewing the papers having been received. Note that the notification deadline has been moved to April 30, 2013.
March 30, 2013
We would like to inform you that the paper submission deadline has been moved to April 7, 2013 (23:59 MSK). We hope that an additional week will be enough to complete papers that you have started working on (or even to write new ones). Good luck!
March 7, 2013
Yuri Gubanov (Founder and Owner of the Belkasoft Company, Senior Lecturer at Mathematics & Mechanics Faculty at Saint-Petersburg State University) confirmed his participation at SYRCoSE 2013. He will give an interesting talk about digital forensics "How to Find an Elephant in a Haystack. Investigating Digital Crimes".
Abstract. Despite of the fact that there are myriads of well-meaning ways of using digital devices and Internet, the world, unfortunately, does not consist exclusively of decent people. More crimes are getting turned to the virtual world, while computers and Internet are becoming instruments of committing crimes. It is quite natural that countermeasures appear, and, moreover, there is an entire branch of science, called digital forensics, devoted to investigation of crimes committed online or with the use of digital devices. In contrast to usual data examination, forensic data analysis is covered by strict legislation, and, therefore, digital forensic software should be special. As the niche is rather narrow, there are not many companies in the world that deliver solutions to the digital investigation market. One of them is the Russian company “Belkasoft”. Yuri Gubanov, the founder of the company, will tell us how digital media are examined, what requirements exist and how digital forensic software is developed.
February 4, 2013
Dr. Mirko Conrad (Development Manager - Simulink Certification and Standards, The MathWorks GmbH, Ismaning Germany) has kindly agreed to give a talk at SYRCoSE 2013. According to the preliminary information, his lecture is entitled "Developing High-Integrity Systems Using Model-Based Design".
Abstract. The increasing utilization of embedded software in application domains such as automotive, aerospace or railway has resulted in a staggering complexity that has proven difficult to negotiate with conventional design approaches and processes. In addition, more and more projects need to comply with functional safety standards such as ISO 26262, DO-178C, or EN 50128 because modern software-based applications increasingly control or interact with mission-critical or safety related system components. Development approaches and processes play a decisive role in addressing the complexity, productivity, and quality challenges. Because of its ability to address these challenges, Model-Based Design has been extensively used in various application domains. More recently, companies have begun to consider and adopt Model-Based Design for the development of embedded software for high-integrity applications.
December 20, 2012
On behalf of the organizing committee of SYRCoSE we would like to invite young researchers (up to 35 years) dealing with software engineering to participate in SYRCoSE 2013. The colloquium will take place in Kazan, Russia in May 30-31, 2013. The call for paper and information on how to get a Russian visa are available on the web-site. We will be very grateful, if you share this information with your students and colleagues.
May 31, 2012
The 6th Spring/Summer Young Researchers' Colloquium (SYRCoSE 2012) has finished. We would like to thank all participants of the colloquium for the very interesting works. Our special thanks to the invited speakers, PC members, reviewers and, of course, organizers. This was a nice event in a nice place.
May 14, 2012
Dear participants, the colloquium program has been prepared. Please check the information carefully and let us know if anything is incorrect.
April 28, 2012
We have finished the paper reviewing process and are waiting for final version of your papers. The deadline for camera-ready papers is May 10, 2012. The colloquium program will be available soon.
April 12, 2012
Dear colleagues, paper submission has been closed. We would like to thank you for your interest in SYRCoSE 2012. Paper reviewing will start soon; notifications will be send not later than April 30, 2012.
March 31, 2012
We would like to inform you that SYRCoSE 2012 paper submission deadline has been extended to 18:00 (Moscow time) April 12, 2012.
February 24, 2012
Prof. Peter Gorm Larsen (Aarhus School of Engineering, Denmark) has kindly agreed to give a talk at SYRCoSE 2012. According to the preliminary information, his lecture is entitled "Getting Software Engineering out of Isolation".
Peter Gorm Larsen is currently a professor at Aarhus School of Engineering where he act as the team lead for the software engineering team. After receiving his M.Sc. degree at the Technical University of Denmark in Electronic Engineering and Computer Science in 1988, he went to industry to bridge the gap between academia and industry. He later returned and did an industrial Ph.D. degree which was completed in 1995. He gave industrial courses all over the world, and had an industrial career until he decided to return to academia in 2005. His prime research interest is to improve the development of complex missing critical applications with well-founded technologies. He is the author of more than 70 papers published in journals, books and conference proceedings and a couple of books.
February 15, 2012
We are pleased to inform you that selected papers of SYRCoSE 2012 will be published in "Programmirovanie", the well-known Russian journal founded in 1975 and devoted to problems in all areas of computer science: operating systems, compiler technology, software engineering, artificial intelligence, etc.
January 1, 2012
On behalf of the organizing committee of SYRCoSE we would like to invite young researchers (up to 35 years) dealing with software engineering to participate in SYRCoSE 2012. The colloquium will take place in Perm, Russia in May 30-31, 2012. The call for paper and information on how to get a Russian visa are available on the web-site. We will be very grateful, if you share this information with your students and colleagues.
May 13, 2011
The 5th Spring/Summer Young Researchers' Colloquium (SYRCoSE) has finished. We would like to thank all the participants of SYRCoSE and their advisors for interesting papers. We are also very grateful to the PC members and the external reviewers for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Petr Skobelev (SEC "Knowledge Genesis") and Shihong Huang (Florida Atlantic University). We would also like to thank our sponsors, Russian Foundation for Basic Research (grant 11-07-06013-г) and Microsoft Research. Finally, our special thanks to Irina Voychitskaya (SKB Kontur), Maria Rudnichenko (SKB Kontur) and Tatyana Perevalova (USU) for their invaluable help in organizing the colloquium in Yekaterinburg.
Please fill the feedback form (in Russian). May 4, 2011
This year's proceedings have been published on the web-site.
April 20, 2011
Colloquim program has been published.
April 10, 2011
Deadline for submitting camera-ready papers has been postponed to April, 20.
April 7, 2011
Dear authors, notifications will be sent tomorrow. Sorry for delay.
March 29, 2011
Notification deadline has been postponed to April 7, 2011.
March 15, 2011
We are pleased to introduce this year's invited speakers: Shihong Huang (Florida Atlantic University, USA) and Petr O. Skobelev (SEC "Knowledge Genesis", Russia).
More information is available in Program. March 15, 2011
Paper submission deadline has been postponed to March 22, 2011.
November 14, 2010
On behalf of the organizing committee of SYRCoSE we would like to invite young researchers (up to 35 years) dealing with software engineering to participate in SYRCoSE 2011. The colloquium will take place in Yekaterinburg, Russia in May 12-13, 2011. The call for paper and information on how to get a Russian visa are available on the web-site. We will be very grateful, if you share this information with your students and colleagues.
June 3, 2010
The 4th Spring/Summer Young Researchers' Colloquium (SYRCoSE 2010) has finished.
We would like to thank all the participants of SYRCoSE 2010 and their advisors for interesting papers. We are also very grateful to the PC members and the external reviewers for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Tiziana Margaria (University of Potsdam) and Aleksey Savateyev (Microsoft). We would also like to thank our sponsors, Russian Foundation for Basic Research (grant 10-07-06025-г) and Microsoft Research (in particular, Rostislav Yavorskiy). Finally, our special thanks to Prof. Eduard Babkin (HSE), Prof. Victor Gergel (UNN), and Prof. Oleg Kozyrev (HSE) for their invaluable help in organizing the colloquium in Nizhny Novgorod.
May 21, 2010
The SYRCoSE program is now available on the web-site.
April 27, 2010
Dear authors of the accepted papers, we would like to inform you that the deadline for submitting camera-ready papers has been extended to 9 p.m. (Moscow time) May 11, 2010.
April 22, 2010
Dear participants of SYRCoSE 2010, the notification acceptance deadline has been extended again. The final date is April 26, 2010. We are sorry for the delay.
April 15, 2010
Dear participants of SYRCoSE 2010, the notification acceptance deadline has been extended. New date is April 22, 2010.
March 23, 2010
Dear participants of SYRCoSE 2010, paper submission has been closed. The program committee is starting to review the papers you sent. The results will be available on April 15, 2010.
March 14, 2010
Dear participants of SYRCoSE 2010, the paper submission deadline is extended. New date is March 22, 2010.
November 3, 2009
On behalf of the organizing committee of SYRCoSE we would like to invite young researchers (up to 35 years) dealing with software engineering to participate in SYRCoSE 2010. The colloquium will take place in Nizhny Novgorod, Russia in June 1-2, 2010. The call for paper and information on how to get a Russian visa are available on the web-site. We will be very grateful, if you share this information with your students and colleagues.
May 30, 2009
The 3rd Spring Young Researchers' Colloquium on Software Engineering took place in Moscow on May 28-29, 2009. The event was hosted by State University - Higher School of Economics. Proceedings of SYRCoSE 2009 are available here.
May 14, 2009
Registration of SYRCoSE 2009 participants is opened. To register, please, fill and submit the registration form. If you will present one or more papers, please, type thier titles or EasyChair IDs in the corresponding field. We also inform you that submission of camera-ready papers is closed.
April 20, 2009
Dear participants of SYRCoSE 2009, the notification deadline is extended. New date is April 23, 2009.
April 14, 2009
Dear participants of SYRCoSE 2009, the notification deadline is extended. New date is April 20, 2009.
April 1, 2009
We would like to inform you that the paper submission is closed.
March 16, 2009
Dear SYRCoSE 2009 participants, the paper submission deadline is extended. New date is March 31, 2009.
January 15, 2009
Submission of papers is opened. To submit a paper, use EasyChair conference system.
December 22, 2008
The SYRCoSE web-site started its new life.