|

RMSEBT 2021

International Workshop RMSEBT 2021: Rigorous Methods in Software Engineering and Blockchain Technologies

Co-located with the 17th International Conference on ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI 2021) September 28, 2021, Kherson – Ukraine http://icteri.org/icteri-2021/workshops-calls-for-papers/rmsebt-2021/

Proceedings: CEUR-WS, indexed by Scopus
Post-proceedings: Springer CCIS (acceptance pending), indexed by: Scopus, Web of Science, EI-Compendex, DBLP, Mathematical Reviews, SCImago

RMSEBT 2021

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 (modeling, business rule extraction etc.), software testing which based on rigorous methods (model based testing, white box testing etc.), re-engineering problems (model extraction from source code, language migration etc.), DLT architecture development, modeling and verification of token economies, detected of smart contracts vulnerability.
The workshop aims to bring together the researchers from different research groups, both academics and practitioners, working on the aspects of rigorous techniques for specification and analysis of distributed software and cyber-physical systems, computer simulation as a tool for the study of large-scale distributed system and networking.
The list of the topics of interest:

  • rigorous and formal techniques for specification and analysis of software;
  • mathematical modeling and computer simulation of systems;
  • mathematical models of information systems and processes;
  • software re-engineering;
  • distributed/algorithms consensus;
  • distributed database technologies for blockchain;
  • decentralized app development;
  • smart contracts and verification. Security, attacks;
  • token economies and governance (modeling, analysis and verification).

The theme of RMSEBT 2021 relates to the ICTERI 2021 Track 2: Information Systems: Technology and Applications: Model Driven Architectures / Software Development, Business Process Management, Knowledge Extraction, Engineering and Management.

No Fees

WS RMSEBT does not charge any conference fee. Participation is free.

History of Workshop RMSEBT

Publication

The language of RMSEBT is English. All submissions shall be annotated by the keywords/phrases freely chosen by the authors. At least three and at most five key phrases have to be provided.
All submissions must comply with the Springer CCIS format guidelines. Formatting instructions and template are provided for your convenience at the ICTERI 2021 web site: http://icteri.org/icteri-2021/formatting-instructions/
Submissions must be made in .pdf by using the EasyChair System (track RMSEBT):
https://easychair.org/conferences/?conf=icteri2021.
Please submit your paper to the RMSEBT 2021 Workshop Track.
Only papers written in English can be recommended, if accepted by the RMSEBT PC, for publication in the ICTERI 2021 proceedings which will be published electronically at CEUR-WS (indexed by Scopus).
Accepted papers for the workshop will be published as a part of the ICTERI 2021 Conference Proceedings volume (RMSEBT volume). All accepted papers should be presented at the workshop by one of the authors and should be registered as participant of the ICTERI 2021. Otherwise such papers will be eliminated from the Proceedings volume.
The best accepted and presented at the conference papers of RMSEBT 2021 may be selected by the ICTERI 2021 steering committee, based on their presentation at the workshop, and invited to be extended and revised for the postproceedings of ICTERI 2021.
Alternatively, the best RMSEBT 2021 papers may be invited to be extended and published in the special issues of Ukrainian or International Journals:

  • The «Bulletin of Kharkiv National University VN Karazin» – series, Mathematical modeling. Information Technology, Automatic Control Systems (physics and mathematics, and engineering sciences)
  • «Problems of Programming»
  • «Information Technology in Education» (pedagogical sciences)

Committees

Organizing committee

Vladimir Peschanenko, Kherson State University, Ukraine
Grigoriy Zholtkevych, V. N. Karazin Kharkiv National University, Ukraine
Mykola Nikitchenko, Taras Shevchenko National University of Kyiv, Ukraine,

Program Committee

Artur Kornilowicz, University of Bialystok, Poland, co-chair,
Frederic Mallet, Université Nice Sophia Antipolis, France, co-chair,
Martin Strecker, Paul Sabatier University, Toulouse 3, France, co-chair,
Sergiy Bogomolov, The Australian National University, Australia,
Gabriel Ciobanu, “Alexandru Ioan Cuza” University of Iasi, Romania,
Grigoiy Zholtkevych, V. N. Karazin Kharkiv National University, Ukraine
Anatoliy Doroshenko, National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute, Ukraine,
Ioachim Drugus, Institute of Mathematics and Computer Science, Moldova,
Mykola Nikitchenko, Taras Shevchenko National University of Kyiv, Ukraine,
Oleksandr Letychevskyi, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine,
Michael Lvov, Kherson State University, Ukraine,
Alexander Lyaletski, Institute of Mathematics and Computer Science, Moldova,
Vladimir Peschanenko, Kherson State University, Ukraine,
Wolfgang Schreiner, Research Institute for Symbolic Computation of Johannes Kepler University Linz, Austria,
Stepan Shkilniak, Taras Shevchenko National University of Kyiv, Ukraine,
Ievgen Ivanov, Taras Shevchenko National University of Kyiv, Ukraine,
Volodymyr Skobelev, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine.

How to Get to Kherson

Kherson is the regional capital city in the South of Ukraine. It is a nice and calm city with many nations living in one comfortable place. It is famous for its traditions of southern-Ukrainian hospitality. Kherson region is also known for its passion and effort in protecting and maintaining natural environment. The city and neighborhood offer abundant attractions for traditional and ecological tourism. Kherson is well connected to international air hubs through its local airport. (https://khe.aero/?lang=en). More details are available at the Conference Venue page at the ICTERI 2021 website: http://icteri.org/icteri-2021/conference-venue/.

Download First Call Leaflet

leaflet_CFP_RMSEBT2021

Important Dates

(23:59 Hawaii time)

  • Monday, 17.05.2021 – Paper submission deadline
  • Monday, 28.06.2021 – Acceptance notification
  • Saturday, 28.08.2021 – Camera-ready paper submission deadline
  • Saturday, 28.08.2021 – Presentation submission deadline
  • Saturday, 28.08.2021 – Registration deadline for workshop authors