Разрешение лексической многозначности на основе марковской модели, обобщенной на множество независимых цепей. Докладчики: профессор Кузнецов С. Д., аспирант Турдаков Д. Ю.
Автоматическое построение тестов для аппаратного обеспечения с помощью разрешения ограничений. Докладчики: профессор Петренко А. К., аспирант Корныхин Е. В.