Skip to Content

2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV)

The aim of the workshop is to present results related to modeling, specification and verification of program systems and to identify topics of mutual interest that can be considered as a base of projects proposals to be submitted to international scientific programs.
Papers accepted by SMSV will be published in a CEUR-WS proceedings volume. This publication channel is chosen to ensure short publication cycle and conformance with the ICTERI preparation schedule.

Fact Sheet

Previous SMSV Workshops
Previous workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012, http://www.icteri.org/page/workshop-smsv) has been co-located with ICTERI 2012. Accepted papers of SMSV 2012 were published in:

Topics of interest
The workshop aims at bringing together the researchers from different research groups, both academics and practitioners, working on the aspects of system modeling, specification and verification.
The workshop focuses on dynamics and change in: (i) information systems and processes; and (ii) specification and verification of software systems; and (iii) modeling and computer simulation of systems. By that SMSV fits to and explores in a more focused fashion several topics of ICTERI scope that fall into the categories of:

  • Mathematical models of information systems and processes.
  • Formal methods for specification and verification of software systems.
  • Mathematical modeling and computer simulation of systems

Submission Types
Submission Types and Requirements
SMSV solicits full (regular) research papers, short (position) research papers, case study reports. Evaluation criteria are equivalent to the ones of the main ICTERI Conference. Please refer to
http://www.icteri.org/page/icteri-2013-submission-types-and-evaluation-c... for more details.

Submission Structure
SMSV Submission should not exceed 16 LNCS pages (excluding attachments) .

Formatting Requirements

  1. Submission files must be in MS Word format
  2. Formatting quidelines http://www.icteri.org/page/icteri2013-instructions-authors

Publication
The papers accepted for SMSV 2013 will be published in the international proceedings volume of ICTERI 2013. This proceedings volume will be published electronically and indexed by Google Scholar and DBLP.
The best papers of SMSV 2013 (written in ENGLISH) may be selected by the ICTERI 2013 steering committee, based on their presentation at the workshop, and invited to be extended and revised for the post-proceedings of ICTERI 2013. The post-proceedings will be published by Springer-Verlag in their CCIS series. CCIS volumes are abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus.
The abstracts of ALL accepted papers will also be published in the Conference Abstract Volume with ISBN by the local Ukrainian publisher.

Important Dates

  • 31.03.2013 - EXTENDED till 14.04.2013 – paper submission (all submission types) - CLOSED
  • 21.04.2013 – EXTENDED till 01.05.2013 – notification about acceptance/rejection - CLOSED
  • 12.05.2013 – submission of the camera ready versions of the accepted papers - CLOSED
  • 10.06.2013 – registration deadline
  • 19-22.06.2013 – conference days

Workshop Organizers
- Mykola Nikitchenko (nikitchenko [at] unicyb [dot] kiev [dot] ua),Taras Shevchenko National University of Kyiv, Ukraine
- Martin Strecker (martin [dot] strecker [at] irit [dot] fr), Paul Sabatier University, Toulouse 3, France
- Alexander Letichevsky (let [at] cyfra [dot] net), Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
- Vladimir Peschanenko (vladim [at] ksu [dot] ks [dot] ua), Kherson State University, Ukraine

Program Committee
… is being formed …
Anatoliy Doroshenko, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
Louis Feraud, France, Paul Sabatier University, Toulouse 3, France
Alexander Lyaletski, Taras Shevchenko National University of Kyiv, Ukraine
Wolfgang Schreiner, Research Institute for Symbolic Computations, Austria



by Dr. Radut.