Завтра(в пятницу 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