Skip to Content

International Workshop "Rigorous Methods in Software Engineering and Blockchain Technologies" (RMSEBT2020)

Зображення користувача Ярослав Кохан.

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

International Workshop

Rigorous Methods in Software Engineering and Blockchain Technologies


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.

Workshop language


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.

Important dates

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

For your convenience, we also attach the leaflet of this Call for Papers to this message.

WS RMSEBT 2020 Program Chairs:
Vladimir Peschanenko and Mykola Nikitchenko

ПереглядПричіплений файлРозмір
leaflet_for_news_CFP_RMSEBT2020.pdf381.87 КБ

story | by Dr. Radut