May 19 Wednesday 

09:30 – 10:00 
Opening workshop 
10:00 – 10:30 
Dines Bjorner Domain Science & Engineering (From Computer Science to The Sciences of Informatics) 
10:30 – 11:00 
Rūsiņš Freivalds Nonconstructive methods in finite automata 
11:00 – 11:30 
Tudor Jebelean Logical Based Program Termination 


11:30 – 11:45 
Coffee break 


11:45 – 12:15 
I.S.Grunsky, V.A. Kozlovskii Automata defining relations in representations by means of behavior fragments 
12:15 – 12:45 
Valerii Kozlovskii Quasimanifolds of Automata generated by Automata Representations 
12:45 – 13:00 
I.S. Grunsky, E.A. Pryanichnikova On an Algebra Associated with VertexLabeled Graphs 
13:00 – 14:30 
Lunch 
14:30 – 15:00 
V.V. Skobelev, V.G. Skobelev On Complexity of Analysis of Reversible Automata over a Finite Ring 
15:00 – 15:15 
I.S. Grunsky, V.A. Chepurko Reduction of Graphs with Marked Vertices and Acyclic Components 
15:15 – 15:30 
I.S. Grunsky, S.V. Sapunov Distinguishing and Homing Experiments with Vertex Labeled Graphs 
15:30 – 15:45 
Oleksiy Kurganskyy A Measure of State Transition of Collective of Stateless Automata in TwoDimensional Discrete Environments 
15:45 – 16:00 
Eujine A. Tatarinov Graphs Exploration by Numerating It’s Nodes 
16:00 – 16:15 
Coffee break 
16:15 – 16:30 
S. L. Kryvyi Finite State Automata in Informational Technologies 
16:30 – 16:45 
Anatoly Chebotarev Solving equations over automata 
16:45 – 17:00 
Igor Rystsov Mortal Problem for Onedimensional Affine Automata 
May 20 Thursday 

10:00 – 10:30 
Yuri Shoukourian Comparison of Traces (automata approach) 
10:30 – 11:00 
Sergei Gorlatch Towards HighLevel Programming for Modern Parallel and Distributed Systems: From GPU to Cloud 
11:00 – 11:30 
Viktor Khomenko Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis 
11:30 – 11:45 
Coffee break 
11:45 – 12:15 
R.I. Podlovchenko Finite Models and Algebraic Models of Programs 
12:15 – 12:45 
V.A. Zakharov Equivalence checking of sequential programs using twotape automata 
12:45 – 13:00 
B.A. Dolgikh Equivalence problem in the algebraic models of programs with procedures 
13:00 – 14:30 
Lunch 
14:30 – 15:00 
N.S. Nikitchenko Composition Nominative Algebras as Semantic Base for Specification and Programming Languages 
15:00 – 15:30 
Stepan S. Shkilniak Firstorder Logics of Quasiary Predicates 
15:30 – 16:00 
G.E.Tseitlin Theory of clones and its applications 
16:00 – 16:15 
Coffee break 
16:15 – 16:30 
Igor Velbitskiy New Generation Wide Application Graphic Programming Technology on Basis of ISO/IEC 8631 Standard 
16:30 – 16:45 
Nicolae Magariu The Approach to Application Modeling and Construction by Means of Transition Diagrams Systems 
16:45 – 17:00 
P. N. Denisenko The Algebraic Programming of the Methods of Solving the Ordinary Differential and the Integral Equations 
May 21 Friday 

10:00 – 10:30 
A.A. Letichevsky Insertion modeling 
10:30 – 11:00 
I.V. Konnov, O.Letychevskiy Model checking GARP protocol using Spin and VRS 
11:00 – 11:15 
A. Kolchin An Automatic Method for Dynamic State Abstraction Construction of Formal Models 
11:15 – 11:30 
S. Potiyenko Static Checking of Some Properties of Multi Component Systems 
11:30 – 11:45 
Coffee break 
11:45 – 12:00 
A.A. Letichevsky, O.Letychevskiy, V.S. Peschanenko Rewriting Machine of IMS Insertion Modeling System 
12:00 – 12:15 
A.Godlevsky Predicate transformers and symbolic model checking 
12:15 – 12:30 
A.Y. Doroshenko, K. A. Zhereb Formal Programming Methods for Graphical Processing Units 
12:30 – 13:00 
S. S. Gorokhovsky, Y. M. Kulchytsky Comparative Analysis of Tools for Solving Combinatorial Problems over Finite Domains with Constraints 
13:00 – 14:30 
Lunch 
14:30 – 15:00 
Alexei V. Samsonovich A Biologically Inspired Extension of the Old Cognitive Architecture Paradigm Enabling SelfRegulated Learning in Problem Solving 
15:00 – 15:30 
Thomas Ludwig Real world automata and their influence on our view to science 
15:30 – 15:45 
N. Glazunov Substantial and Formal Aspects of Services and Business Processes of Semantic Web 
15:45 – 16:00 
O. A. Gudaev., N. M. Korotych Ontological Data Warehouse of Knowledge LYK 
16:15 – 16:45 
S. S. Gorokhovsky The Jubilee of Alexander Letichevsky 
16:45 – 17:00 
Closing workshop 