Язык / Language
Organizers
Location
The seminar takes place in Moscow, Russia. Address: ulitsa Aleksandra Solzhenitsyna, 25 (Institute for System Programming of Russian Academy of Sciences). Beginning at 5p.m.Recent sessions
- December 17: On smart-contracts reliability increasing using symbolic model checking
- October 31: Predicate and automata programming technology
- June 13: Relational invariants as solutions of non-linear constrained Hoare clauses systems
- March 21st: Management of information which is duplicated in software artifacts
- February 21st: Methods and means of implementing software-controlled software development process of critical information systems
Archive
Go to this page to get slides and materials of all past sessions.Seminar’s Google group
sdat-seminar.
Stay connected!Recent comments
- Eugene Kornykhin on October, 20th: Software and tools for verification by DO-178B/C
- Михаил Сабуров on October, 20th: Software and tools for verification by DO-178B/C
- Саша on January, 22nd: NPS — an alternative approach to computer networks simulation
- Ян on December, 18th: “React OS” operating system
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах on December, 18th: “React OS” operating system
Author Archives: Eugene Kornykhin
Seminar’s e-mail
Feel free to ask us questions by email sdat @ ispras.ru . Tweet This Post Send Gmail
October, 20th, “Theory of High Frequency Trading systems testing”
Main topics are the following: what is High Frequency Trading and how it influences to the structure of financial markets, what are requirements to platforms for orderly functioning of the stock market. Also talk will be devoted to the technical … Continue reading
September, 15th: Solution of development problems for concurrent software by using of “space” and “time” terms
The talk will discuss tools for software objects combination into the system with concurrent evolving parts, tools for specification of object relations, and tools for synchronization of objects communitation. Also the talk will discuss pros and cons of the proposing … Continue reading
Announcement
The seminar is devoted to modern problems of software engineering, development tools and methods, program analysis and verification. Topics discussed in the seminar include Requirements engineering, analysis and modeling Paradigms for computers modeling System engineering Software architecture Static and dynamic … Continue reading
See you next season
Congratulations to all seminar participants. See you in September. Tweet This Post Send Gmail