MartinStrecker National University of Kyiv Paul Sabatier University of Toulouse MykolaNikitchenko National University of Kyiv Paul Sabatier University of Toulouse VladimirPeschanenko National University of Kyiv Paul Sabatier University of Toulouse 4D7462E7B3A27F38FBEF0DEB4C0592BF GROBID - A machine learning software for extracting information from scholarly documents

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