Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту. Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання
Вітаємо на оновленому сайті! Ми ведемо уточнення та оновлення інформації. Чекаємо на ваші відгуки та пропозиції. Якщо ви помітили якусь помилку, будь ласка, повідомте нас
Оголошення
Новини
19 Квітня
Громадське обговорення освітніх програм на 2024 - 2025 рік6 Жовтня
Конкурс презентацій «Cybersecurity – challenges for education and science»2 Вересня
Проведення Гран-прі України з програмування25 Січня
Міжнародна наукова інтернет-конференція18 Січня
Шановні студенти і науково-педагогічні працівники!finish what you start