Dear Colleagues,
It is a great pleasure to invite you to the forthcoming
Kharkiv, Ukraine, June 2020
The workshop RMSEBT is dedicated to rigorous methods which are used in different fields of software engineering: rigorous methods for specification, verification and optimization of software, rigorous methods for different kinds of software analysis, software testing which based on rigorous methods, re-engineering problems, DLT architecture development, modeling and verification of token economies, detected of smart contracts vulnerability.
English
Accepted papers for the workshop will be published as a part of the ICTERI 2020 Conference Proceedings volume (RMSEBT volume) - traditionally publishes electronically at CEUR-WS which is one of the major open access publishers of workshop and conference proceedings and indexed by DBLP, Google Scholar, and Scopus.
Paper submission deadline – Monday, 30.03.2020.
Acceptance notification – Monday, 20.04.2020.
Submission of camera-ready papers – Monday, 11.05.2020.
Registration deadline for workshop authors – Monday, 11.05.2020.
Workshop day - Tuesday, 16.06.2020.
More information about conference at http://icteri.org/icteri-2020.
For your convenience, we also attach the leaflet of this Call for Papers to this message.
Greetings,
WS RMSEBT 2020 Program Chairs:
Vladimir Peschanenko and Mykola Nikitchenko
| Перегляд | Причіплений файл | Розмір |
|---|---|---|
| leaflet_for_news_CFP_RMSEBT2020.pdf | 381.87 КБ |