







International Conference on ICT in Education, Research, and Industrial Applications
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:
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
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
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
CEUR-WS proceesings of ICTERI are indexed by: DBLP, Google Scholar, and Scopus.
Springer CCIS volumes are indexed by: DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus.
We are happy to inform that the proceedings volume of ICTERI 2016, held in Kyiv on the 21st-24th of June, 2016, has been published online by CEUR-WS as vol. 1614.
We are pleased to let you know that we have invited five distinguished Computer Science Experts and PhD MENTORS to speak at the PhD MENTORs Panel which will be the part of ICTERI 2016 Program. This panel is for those who are looking for insights in finding a topic or guidance for their future project leading to a Philosophy Degree in Computer Science.
We are happy to inform that The Editorial Board of Springer CCIS Series has accepted the publication of ICTERI 2016 post-proceedings volume.
We are happy to inform that the post-proceedings of ICTERI 2015 are now available online as Springer CCIS vol. 594.
Platinium Sponsors |
|
![]() |
DataArt (http://dataart.com/) develops custom applications, helping clients optimize time-to-market & save costs. |
![]() |
Kherson State University (KSU, http://www.ksu.ks.ua/) is a multidisciplinary scientific, educational, and cultural center in the south of Ukraine. |
Gold Sponsors |
|
![]() |
Aleksandr Spivakovsky is the chair of the Department of Informatics and the first vice-rector of Kherson State University. |
![]() |
Dmitriy Shchedrolosev is the head of DataArt’s R&D Center at Kherson. |