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

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

http://icteri.org/icteri-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

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.

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 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