Skip to Content

4th 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.

Fact Sheet

Previous SMSV Workshops

The previous workshops on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification have been co-located with ICTERI. Accepted papers of SMSV were published in:

  • CEUR-WS (ISSN 1613-0073, http://ceur-ws.org). CEUR-WS proceedings of ICTERI are indexed by: DBLP, Google Scholar, and Scopus.
  • The post-proceedings of ICTERI 2012:
    Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.): ICT in Education, Research and Industrial Applications. Springer Verlag, Berilin-Heidelberg, CCIS Vol. 347, 2013, 245 p.
  • The post-proceedings of ICTERI 2013:
    Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.): ICT in Education, Research and Industrial Applications. Springer Verlag, Berilin-Heidelberg, CCIS Vol. 412, 2013, 379 p.
  • The post-proceedings of ICTERI 2014:
    Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.): ICT in Education, Research and Industrial Applications. Springer Verlag, Berilin-Heidelberg, CCIS Vol. 469, 2014, 370 p.

Springer CCIS volumes are indexed by: DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus.

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 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/icteri2015-instructions-authors for more details.

Submission Structure

SMSV Submission should not exceed 16 LNCS pages.
Formatting Requirements

  1. Submission files must be in in PDF or DOC/DOCX (MS/Open Word) format
  2. Formatting guidelines http://www.icteri.org/icteri2015-paper-submission-guidelines

Submission Procedure

The authors should use the ICTERI electronic submission system at https://easychair.org/conferences/?conf=icteri2015. Then choose “New submission” option, select a track “4th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification”, and follow the instructions for this track.

Publication

The papers accepted for SMSV 2015 will be published in the international proceedings volume of ICTERI 2015. This proceedings volume will be published electronically and indexed by Google Scholar and DBLP.
The best papers of SMSV 2015 may be selected by the ICTERI 2015 steering committee, based on their presentation at the workshop, and invited to be extended and revised for the post-proceedings of ICTERI 2015. 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

01.03.2015 - EXTENDED till 10.03.2015 – paper submission deadline - CLOSED
29.03.2015 – notification about acceptance or rejection of workshops - CLOSED
24.04.2015 – submission of the camera ready versions of the accepted papers
24.04.2015 – registration deadline
14-16.05.2015 – main workshop days

Workshop Organizers

  • Taras Shevchenko National University of Kyiv, Ukraine
  • Paul Sabatier University – Toulouse 3, France
  • Research Institute for Symbolic Computation of Johannes Kepler University (Austria)
  • Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
  • Lviv Polytechnic National University
  • Kherson State University, Ukraine

SMSV chair:

Wolfgang Schreiner (wolfgang [dot] schreiner [at] risc [dot] jku [dot] at), Research Institute for Symbolic Computation of Johannes Kepler University Linz

SMSV co-chairs:

Mykola Nikitchenko (nikitchenko [at] unicyb [dot] kiev [dot] ua),Taras Shevchenko National University of Kyiv, Ukraine (co-chair)
Michael Lvov (lvov [at] kspu [dot] edu), Kherson State University, Ukraine (co-chair)
Martin Strecker (martin [dot] strecker [at] irit [dot] fr), Paul Sabatier University, Toulouse 3, France (co-chair)

Program Committee

Louis Feraud, France, Paul Sabatier University, Toulouse 3, France
Frederic Mallet, Université Nice Sophia Antipolis, France
Anatoliy Doroshenko, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
Alexander Letichevsky, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
Alexander Lyaletski, Taras Shevchenko National University of Kyiv, Ukraine
Vladimir Peschanenko, Kherson State University, Ukraine