Язык / 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
April, 18th: Microsoft Research projects on software verification
Elena Pavlova - Ph.D., Programs Coordinator at Microsoft. Tweet This Post Send Gmail
The broadcast
Sorry, this entry is only available in По-русски. Tweet This Post Send Gmail
March, 21st: Process mining: processes elicitation, analysis, and evolution based on events log
В докладе будет рассказано о process mining - направлении исследований, которое находится на стыке между компьютерной обработкой и извлечением данных (data mining), с одной стороны, и моделированием и анализом процессов с другой. Основная идея этого направления состоит в обнаружении, мониторинге … Continue reading
February, 21st: SEMAT - towards theory of software engineering. State-of-the-art and future directions.
Speaker: Boris Pozin - Professor Dr. , Head of SEMAT Russian Chapter, EC-Leasing CTO. Tweet This Post Send Gmail
January, 17th: Modelling and formal verification of hardware microarchitectural models
Alexander Gotmanov – Strategic CAD Labs, Intel Corporation (Moscow, Russia). Science interests are hardware modelling, formal verification. Tweet This Post Send Gmail
December, 20th: Runtime verification of HDL descriptions based on executable models
Alexander Kamkin – Ph.D., Senior Researcher at Institute for System Programming of RAS (ISPRAS), Moscow. Research interests are hardware specification and verification, static and dynamic analysis of HDL descriptions, microprocessors tests generation. Tweet This Post Send Gmail