Workshop "Control Software: Models, Methods, and Languages"

Лаборатория киберфизических систем Института проводит международный семинар "Control Software: Methods, Models, and Languages" по формальным и формализованным методам разработки и анализа систем автоматического управления. Это сателлитный семинар при X международной конференции Model and Data Engineering, проходящей в этом году в Таллине в конце июня (вероятнее всего, дистанционно).

Принятые на семинар статьи будут опубликованы в виде трудов в журнале "Communications in Computer and Information Science" (Scopus Q3).

Дедлайн для тезисов – 5 апреля, для полноформатных статей – 12 апреля 2021.

Сайт семинара: https://sites.google.com/view/csmml2021/