NATIONAL ACADEMY OF SCIENCES OF UKRAINE
Glushkov Institute of Cybernetics, Institute of Program Systems,
Information Software Systems Ltd, Glushkov Fund,
CabardinoBalkarian Scientific Center of Russian Academy of Sciences, Institute for Informatics and
Automation Problems of the National Academy of Sciences of Armenia
International workshop
Automata, algorithms,
and information technologies
Kyiv, House of Scientists
ul. Volodymirskayia 45A
May 1921 2010
Program
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 