Skip to Content

Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification

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

Workshop Language: English
Workshop date: to be announced within 6-10 June, 2012,
Paper submission: http://www.easychair.org/conferences/?conf=smsv2012

Important Dates
30.03.2012 – paper submission (all submission types)
22.04.2012 – extended date of paper submission (all submission types)
30.04.2012 – notification about acceptance or rejection of workshops
05.05.2012 – submission of the camera ready versions of the accepted papers
01.06.2012 – registration deadline

Description of the Theme of the Workshop
The topic of the workshop concerns modeling, specification and verification of various types of program systems, with a special emphasis on hybrid systems.
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.

Relation between the Theme of the Workshop and of ICTERI
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

Workshop Organizers:
- Taras Shevchenko National University of Kyiv, Ukraine
- Paul Sabatier University – Toulouse 3, France
- Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
- Kherson State University, Ukraine

SMSV co-chairs:
Martin Strecker, Paul Sabatier University – Toulouse 3, France
Mykola Nikitchenko, Taras Shevchenko National University of Kyiv
Vladimir Peschanenko, Kherson State University, Ukraine

Program Committee:
Olexander Letichevskyi, Ukraine
Louis Feraud, France
Wolfgang Schreiner, Austria
Anatoliy Doroshenko, Ukraine
Alexander Lyaletski, Ukraine

SMSV organizing committee chair:
Michael Lvov, Kherson State University, Ukraine.

A Publicity Plan for Attracting Submissions and Attendees

Planned publicity measures are:
- On-line and freely accessible workshop proceedings at CEUR-WS
It is planned that the proceedings of the workshop will be published at CEUR-WS on line and with open access to the full texts of the papers.
- Frequently updated website with good visibility in major search engines. It is planned that the SMSV website will become available immediately after acceptance decision is communicated. Hits analysis will be done regularly in order to make the estimations of potential interest by submitters more grounded. The results of this analysis will be a feedback for making
timely decisions on the calls, dates, etc.
- Regular and timely Calls properly synchronized with the Calls of ICTERI. The Call for Papers will be publicized via the major mailing lists and other channels that commonly used in the relevant scientific communities. The Call will be repeated at due times.