FMIS 2019: 8-й семинар по формальным методам интерактивных систем
Организаторы: University of Waikato, New Zealand; University of Minho & HASLab/INESC TEC, Portugal
emal: fmis2019@easychair.org
Цель FMIS 2019 (8-й Международный семинар по формальным методам интерактивных систем) состоит в том, чтобы объединить исследователей из ряда дисциплин в области компьютерных наук (включая HCI) и других поведенческих дисциплин, как из научных кругов, так и из промышленности, которые заинтересованы как в формальных методах, так и в интерактивном системном дизайне.