• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Book chapter
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Working paper
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

ISPRAS OPEN 2016

We invite you to participate in The Open Conference of the ISPRAS, which will take place on December 5-9, 2016 in the building of the Presidium of The Russian Academy of Sciences located at the address: Moscow, Leninskiy prospekt, 32A.

During The Open Conference of the ISPRAS a number of events is arranged, devoted to sectors of IT-industry in which ISP RAS possesses a many years’ experience of fundamental researches conduction, innovative technologies development and implementation, together with partners (Samsung, Hewlett Packard Enterprise, DELL, NVIDIA, etc.), of certain projects on introduction the developed technologies in the industry.

The conference is held with the support of the Russian Academy of Sciences (RAS), the Federal Agency for Scientific Organizations (FASO Russia), Advanced Research Foundation (ARF), the Federal Service for Technical and Export Control (FSTEC Russia) and partners of ISPRAS (Samsung, Hewlett Packard Enterprise, DELL, NVIDIA and others.). 

Milestones

  • Participants registration: before November 19;
  • Articles submission: before September 30;
  • Notification on inclusion in program: before October 28;
  • Technologies of program analysis, modeling and transformation: December 05-06;
  • Informational systems based on open data: December 07;
  • Distributed systems: December 08;
  • Open source software in continuum mechanics problems solving: December 09.

Official website