WINT 2015 Agenda

530270-TEMPUS-1-2012-1-UK-TEMPUS-JPCR
543968-TEMPUS-1-2013-1-EE-TEMPUS-JPCR
544497TEMPUS-1-2013-1-UK-TEMPUS-PHES
Winter School
WINT 2015
PROGRAMME
Ukraine, February
15-19, 2015
TEMPUS GreenCo-SEREIN-CABRIOLET
Winter School WINT-2015
PROGRAMME
Ukraine,
Chernivtsi-Khmelnitsky-Uzhhorod
February 15-19, 2015
Co-organized by
National Aerospace University named after N.E. Zhukovsky “KhAI”
Yuriy Fedkovych Chernivtsi National University
Khmelnitsky National University
In cooperation with
RPC Radiy
Media Partner
Magazine Carte Blanche
PARTICIPANTS
National Aerospace University
“KhAI”
Prof Vyacheslav Kharchenko
Prof Oleksandr Potii
Dr Artem Boyarchuk
Dr Oleg Odarushchenko (RPC Radiy)
Roman Horbenko (RPC Radiy)
Assistant lecturer Oleg Illiashenko
Assistant lecturer Valentina Butenko
BSc student Anastasia Strelkina
BSc student Alexander Yasko
Odessa National Polytechnic
University
Prof Olexandr Drozd
Prof Dmytro Maevsky
Dr Olena Maevskayja
Dr Miroslav Drozd
PhD student Serhii Mileiko
PhD student Valery Nikul
Donbass State Technical
University
Assistant lecturer Andrii Kryvtsov
Khmelnytskyi National University
Dr Serhii Lysenko
PhD student Andrii Kryshchuk
Chernihiv State Technological
University
Prof Volodymyr Kazymyr
PhD student Alina Posadska
PhD student Irina Posadska
Petro Mohyla Black Sea State
University
Prof Yuriy Kondratenko
Dr Galyna Kondratenko
PhD student Ievgen Sidenko
Perm National Research
Polytechnic University
PhD student Anton Kamenskikh
Dnipropetrovsk National
University of Railway Transport
n. a. V. Lazaryan
Prof Igor Zhukovyts'kyy
PhD student Aleksey Zaets
Chernivtsi National University
Dr George Vorobets
PhD student Mykola Skrypskyy
Ukrainian Security Industry
Federation, association IT-Ukraine
Andrii Biriukov
University of Zilina
Prof Vitaliy Levashenko
Dr Elena Zaitseva
Cart Blanche
Olena Golembovska
SCHEDULE
Time/date
6:45
7:00
7:15
7:30
7:45
8:00
8:15
8:30
8:45
9:00
9:15
9:30
9:45
10:00
10:15
10:20
10:30
10:45
11:00
11:15
11:30
11:45
12:00
12:15
12:30
12:45
13:00
13:15
13:30
13:45
14:00
14:15
14:30
14:45
15:00
15:15
15:30
15:45
16:00
16:15
16:30
16:45
16:50
17:00
17:15
17:20
17:40
17:45
18:00
18:30
19:00
February 15, Saturday
19:30
20:00
20:30
February 16, Monday
February 17, Tuesday
February 18, Wednesday
February 19, Thursday
Breakfast
Breakfast
Breakfast
Breakfast
Team building
Team building
Team building
Team building
Transfer
Transfer
Transfer
Transfer
Free time
Free time
Free time
Free time
Lunch
Lunch
Lunch
Lunch
O. Odarushchenko,
R. Horbenko
V. Kharchenko
Breakfast
Registration
V. Kharchenko
O. Odarushchenko
O. Golembovska
A. Drozd
V. Nikul, A. Drozd
D. Maevsky,
E. Maevskaya
S. Mileyko, M. Drozd
E. Maevskaya,
O. Zhekov
Lunch
Excursion
Coffee - break
A.Biriukov
V. Butenko
G. Vorobets
A. Strelkina
A. Yasko
M. Skrypskyy
Coffee-break
A. Kryvtsov
Coffee - break
E. Zaitseva
V. Levashenko
Y. Kondratenko, G. Kondratenko
Coffee - break
I. Zhukovyts'kyy
Coffee - break
A. Boyarchuk
A. Posadska
I. Sidenko
A. Zaets
A. Lysenko
Discussion
A. Kamenskikh
Discussion
A. Kryshchuk
V. Kazymyr
Coffee - break
Closing session
DETAILED SCHEDULE
8:00 – 8:45
8:45 – 9:30
9:30 – 9:45
9:45 – 10:00
10:00 – 10:15
10:15 – 10:20
10:20 – 10:30
10:30 – 11:00
11:00 – 11:30
11:30 – 12:00
12:00 – 13:00
13:00 – 16:00
16:00 – 16:30
16:30 – 16:50
16:50 – 17:20
17:20 – 17:40
17:40 – 18:00
18:00 – 18:30
18:30 – 19:30
February 15, Sunday
Breakfast
Registration
Vyacheslav Kharchenko. Introduction. Welcome. WINT
school opening
Oleg Odarushchenko. Welcome note from industrial
partner RPC «Radiy»
Olena Golembovska. Welcome note from media partner
Cart Blanche
Alex Drozd. TEMPUS Projects Development:
GREENCO & CABRIOLET in ONPU
Valery Nikul, Alex Drozd. Comparison of large-scale
and pipeline data processing in complexity, throughput
and power consumption
Dmitry Maevsky, Еlena Maevskaya. Models and
technique of software "greenness" assessment via source
code analysis
Serhii Mileyko, Miroslav Drozd. Green experiments
with increasing frequency of calculations in arithmetic
units
Elena Maevskaya, Oleg Zhekov. Software Reliability
Tools. State of the art and development prospects
Lunch
Excursion
Coffee-break
Andrii Biriukov. State of the art in regulation of cyber
security in Ukraine. IT-Alliance, USIF.
Valentina Butenko. Metric-based selection of techniques
and tools for I&C availability assessment using Markov
models
Anastasia Strelkina. Service for vulnerabilities analysis
and security assessment of open source systems
Alexander Yasko. Automatic system for energy
resources management "Smart University"
Coffee-break
Volodymyr Kazymyr. Temporal logic and verification of
critical systems
19:30 – 20:00 Alina Posadska. Usage of temporal logic for process
control of network planning in real time
20:00 – 20:30 Discussion
20:00 – 20:30
February 16, Monday
Breakfast
Team building
Transfer
Free time
Lunch
George Vorobets. Prospects for development of start-up
of student projects within a model-oriented interaction
S2B & B2S between the department of CSN in ChNU and
Yukon Software LTD
George Vorobets, Sergii Balovsyak. State of the art and
perspectives of implementation of the start-up project of
department CSN ChNU - Application of new methods of
digital filtering to process information signals and
images
Mykola Skrypskyy. Management of users and services
for "cloud" server computing
Andrii Kryvtsov. Software optimization: green compilers
Coffee-break
Yuriy Kondratenko, Galyna Kondratenko, Vitaliy
Stoyanov. Main theoretical aspects and experience of
University – Industry Cooperation for solving routing
problems in fuzzy environment
Anastasiya Kravchenko, Ievgen Sidenko, Yuriy
Kondratenko. Design and reconfiguration of fuzzy DSS
with hierarchical structure
Anton Kamenskikh. A self-timed Green Computing
6:45 – 7:30
7:30 – 14:30
14:30 – 15:30
15:30 – 16:00
16:00 – 17:00
February 17, Tuesday
Breakfast
Team building
Transfer
Free time
Lunch
6:45 – 7:30
7:30 – 14:30
14:30 – 15:30
15:30 – 16:00
16:00 – 17:00
17:00 – 17:20
17:20 – 17:40
17:40 – 18:00
18:00 – 18:30
18:30 – 19:00
19:00 – 19:30
19:30 – 20:00
17:00 – 17:45
17:45 – 18:30
18:30 – 19:00
19:00 – 19:30
19:30 – 20:00
20:00 – 20:30
6:45 – 7:30
7:30 – 14:30
14:30 – 15:30
15:30 – 16:00
16:00 – 17:00
17:00 – 18:30
18:30 – 19:00
19:00 – 19:30
19:30 – 20:00
20:00 – 20:30
6:45 – 7:30
7:30 – 14:30
14:30 – 15:30
15:30 – 16:00
16:00 – 17:00
17:00 – 18:30
18:30 – 19:00
19:00 – 20:30
Elena Zaitseva. Multi-state system in reliability analysis
Vitaliy Levashenko. Knowledge discovery in database
Coffee-break
Igor Zhukovytsk’yy. Project SEREIN in Dnepropetrovsk
National University of Railway Transport
Aleksey Zaets. Problems of cyber security in the use of
mobile and GSM-devices in automated systems of
industrial railway transport
Discussion
February 18, Wednesday
Breakfast
Team building
Transfer
Free time
Lunch
Oleg Odarushchenko, Roman Horbenko, RPC «Radiy»
MCU-based GreenCo Controller
Coffee-break
Oleg Illiashenko, Artem Boyarchuk. TEMPUS SEREIN
and TEMPUS CABRIOLET projects monitoring results
Serhii Lysenko. Progress of the CP-1 course "Formal
(Intellectual) Methods for System Security and
Resilience" within SEREIN Project
Andrii Kryshchuk. Multiagent information technology
for malware detection in a corporate area network
February 19, Thursday
Breakfast
Team building
Transfer
Free time
Lunch
Vyacheslav Kharchenko. Synergy analysis of ITs. Brain
storming
Coffee-break
Vyacheslav Kharchenko. Closing session