Foreword

It is our pleasure to offer you the selection of papers for the 2nd International Work-
shop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specifi-
cation and Verification (SMSV 2013) which has been co-located with the 9-th Inter-
national Conference on ICT in Education, Research, and Industrial Applications:
Integration, Harmonization, and Knowledge Transfer (ICTERI 2013) held at Kherson,
Ukraine on June 19-22, 2013.
    Workshop SMSV 2013 is a successor of the International Workshop on Algebraic,
Logical, and Algorithmic Methods of System Modeling, Specification and Verifica-
tion (SMSV 2012) which was held in Kherson (Ukraine) on June, 6-12, 2012. The
SMSV 2013 was organized by Kherson State University, Taras Shevchenko National
University of Kyiv, and Paul Sabatier University of Toulouse within the framework of
the cooperation agreement between the universities. The workshop attracted scientists
from Austria, France, Algeria, Russia, and Ukraine.
    Presented papers demonstrated the interest in the topics on different formal meth-
ods of system development, and we plan to organize such workshops on a regular
basis. We hope that presentations and discussions will help to identify topics of mu-
tual interest that can be considered as a base of project proposals to be submitted to
international scientific programs.




   June, 2013                                        Vladimir Peschanenko
                                                     Mykola Nikitchenko
                                                     Martin Strecker