=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-SMSV-Foreword-p-274.pdf
|volume=Vol-848
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-SMSV-Foreword-p-274.pdf</pdf>
<pre>
                                   Foreword

It is our pleasure to offer you the selection of papers for the International Workshop
on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification
and Verification (SMSV 2012) which has been co-located with the 8-th International
Conference on ICT in Education, Research, and Industrial Applications: Integration,
Harmonization, and Knowledge Transfer (ICTERI 2012) held at Kherson, Ukraine on
June 6-10, 2012.
    Workshop SMSV 2012 is a successor of the International seminar on Specification
and Verification of Hybrid Systems (SVHS) which was held in Kyiv (Ukraine) on
October 10-12, 2011. The SVHS seminar was organized by Taras Shevchenko
National University of Kyiv and Paul Sabatier University of Toulouse within the
framework of the cooperation agreement between the universities. The seminar
attracted scientists from Austria, France, Israel, and Ukraine. Presented papers
demonstrated the interest in the topics on different formal methods of system
development, and it was proposed to organize such seminars on a regular basis.
    The scope of the SMSV Workshop was extended in order to cover the main phases
of software system development. We hope that presentations and discussions will
help to identify topics of mutual interest that can be considered as a base of project
proposals to be submitted to international scientific programs.

        June, 2012                                      Martin Strecker
                                                        Mykola Nikitchenko
                                                        Vladimir Peschanenko

</pre>