Тема заседания: «Критический компьютинг: научный и образовательный аспекты»

Часть 1 (12.00-13.45) Образовательные аспекты аэрокосмического критического компьютинга: итоги выполнения международного проекта TEMPUS-MASTAC (2006-2009).

Доклады участников проекта (Украина – ХАИ, Хмельницкий национальный университет; Великобритания, Финляндия) TEMPUS-MASTAC. О результатах разработки магистерских и аспирантских курсов и создания учебно-информационного центра критического компьютинга http://mastac.org.ua/

Часть 2 (15.00-17.00) Проблемы критического компьютинга.

1. Professor, DrS Alex Yakovlev (School of Computer and Electronic Systems Engineering, University of Newcastle-upon-Tyne, United Kingdom). Microelectronics Systems Design Research at Newcastle: Asynchronous Systems Design Research. 

2. Dr Peter Popov (Centre for Software Reliability, City University of Newcastle-upon-Tyne, United Kingdom). Interdependency Modelling in Critical Infrastructures.

3. Dr Elena Troubitsyna, Dr Linas Labinis (Department of Information Technologies and Systems, Abo Academy, Turku, Finland). Formal methods and techniques of safety-critical systems development.

Приглашаем принять участие в семинаре.

ВСего доброго.

С уважением, ВСХарченко