Представление диссертации "Синхронизация частичных и недетерминированных автоматов: подход на основе SAT-решателей"
Завтра(в пятницу 19 июня) в 11:00 планируется проведение семинара.
С представлением кандидатской диссертации выступит
Шабан Ханан Магди Дарвиш
СИНХРОНИЗАЦИЯ ЧАСТИЧНЫХ
И НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ:
ПОДХОД НА ОСНОВЕ SAT-РЕШАТЕЛЕЙ
Специальность 05.13.17 — Теоретические основы информатики
Научный руководитель
доктор физико-математических наук
профессор Волков Михаил Владимирович
«Уральский Федеральный Университет
имени первого Президента России Б.Н.Ельцина
Все приглашаются к обсуждению:
Данные для входа в зум:
Topic: Hanan Shabana's Personal Meeting Room
Join Zoom Meeting
https://us04web.zoom.us/j/7769156004?pwd=cnpCVko4OFk4blcxR0FmVzEvQ3VWdz09
Meeting ID: 776 915 6004
Password: 8hnUpi
[Link]
Join our Cloud HD Video Meeting
https://us04web.zoom.us/j/7769156004?pwd=cnpCVko4OFk4blcxR0FmVzEvQ3VWdz09
