







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.
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:
Springer CCIS volumes are indexed by: DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus.
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:
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.
SMSV Submission should not exceed 16 LNCS pages.
Formatting Requirements
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.
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.
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
Wolfgang Schreiner (wolfgang [dot] schreiner [at] risc [dot] jku [dot] at), Research Institute for Symbolic Computation of Johannes Kepler University Linz
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)
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
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.