Конференция охватывает, но не ограничивается следующими темами
Информационные технологии и их приложения
Информационные технологии в образовании
Информационные технологии в градостроительстве и архитектуре
Информационные технологии в экологии и защите окружающей среды
Информационные технологии в здравоохранении
Информационные технологии в экономике
Информационные технологии в технических системах
Интернет вещей
Параллельные вычисления
Распределенные системы
Жизненный цикл программного обеспечения
Управление качеством программного обеспечения
Разработка программного обеспечения
Тестирование и тестопригодность программного обеспечения
Дискретные системы
Синтез контролепригодных дискретных систем
Синтез отказоустойчивых дискретных систем
Анализ дискретных систем на наличие уязвимостей
Синтез дискретных систем, устойчивых к уязвимостям
Модели с конечным числом переходов
Тестирование на основе формальных моделей
Формальная верификация
Оптимизация дискретных систем
Проектирование дискретных систем
Цифровые устройства
Разработка и синтез цифровых систем
Спецификации, моделирование, верификация и тестирование
Системы на кристалле
Программируемые и переконфигурируемые архитектуры
Многоядерные системы
ПЛИС и ее приложения
Квантовые вычисления и криптография
Квантовая криптография
Квантовые коммуникации
Квантовые компьютеры
Квантовые алгоритмы
Математические методы криптографии
Компьютерная безопасность
Надежность вычислительных систем
Кодирование
Стохастические модели
Управление и обработка информации
Потоки событий и системы массового обслуживания
Непараметрические и робастные статистические методы
Стохастические и динамические системы
Математические модели в экономике
Математические модели физических явлений и процессов
Искусственный интеллект и большие данные
Нейронные сети
Глубокое обучение
Генетические алгоритмы
Распознавание образов
Большие языковые модели
Нечеткая логика
Интеллектуальные системы
Soft computing
Big Data
Облачные вычисления
Индустриальное применение искусственного интеллекта
