Язык / 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, 27th: Fault-tolerance testing of distributed trading system by faults emulation
Sergey Kostanbaev and Vadim Zherder work at MOEX (Moscow Exchange). The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on April, 27th. Tweet This Post Send Gmail
March, 16th: Proving properties of functional programs by equality saturation
Sergei Grechanik works at Keldysh Institute of Applied Mathematics (Russian Academy of Sciences). He is graduated from Lomonosov Moscow State University in 2011. The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on … Continue reading
February, 16th: Methods and tools for cache-coherence protocols verification
Vladimir Burenkov — researcher at JSC «MCST». He is graduated from Bauman Moscow State Technical University in 2012. The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on February, 16th. Tweet This Post … Continue reading
January, 19th: Cybersecurity and avionics operating systems
Abramov Aleksandr — CEO at Scientific and Technical Center “AMDEF”. The center develops new security RTOS CUBE and provides services of security analysis for information systems. Fisoun Ilya — software engineer at Bauman Moscow State Technical University. The event will … Continue reading
November, 17th: Project Angara: F# for computational experiments
Sergey Berezin — Ph.D., associate professor at Lomonosov Moscow State University, head of r&d group «Information Technologies in Science». Dmitry Voytsekhovsky — graduated from Lomonosov Moscow State University, trained in Microsoft Research Cambridge, now he is RSDE at r&d group … Continue reading
October, 20th: Software and tools for verification by DO-178B/C
Vladimir Kozyrev — Ph.D., docent, affiliated with National Research Nuclear University MEPhI (Department 22 “Cybernetics”), expert of DC BARS. The event will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on October, 20th. Tweet This … Continue reading
September, 15th: Dynamical construction of software components
Tweet This Post Send Gmail
April, 21st: Deanonimization of Tor users
Sergey Avdoshin — Prof. at the Higher School of Economics. Alexander Lazarenko is a student at the Higher School of Economics. Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar. Tweet This Post Send Gmail
March, 24th: Geographic information systems (GIS) software
Dmitry Baryshnikov — developer at NextGIS, commiter for GDAL, member of GIS-Lab community. Tweet This Post Send Gmail
February, 18th: Development of module support packages for real-time OS Baget
Yury Lazutin — Dr., head of Department (Scientific Research Institute of System Analysis of Russian Academy of Sciences). His talk is devoted to problems and achievements in developing of Module Support Packages for real-time operating systems. Please feel free to … Continue reading