Форма участия: Очная

Срок подачи заявок: 21 июня 2019

Организаторы: University of Waikato, New Zealand; University of Minho & HASLab/INESC TEC, Portugal

email: fmis2019@easychair.org

2019-10-07 12:00:00 2019-10-07 12:00:00 Europe/Moscow FMIS 2019: 8-й семинар по формальным методам интерактивных систем URL события: https://xn--e1aajagscdbhlf4c6a.xn--p1ai/events/fmis-2019-8-j-seminar-po-formalnym-metodam-interaktivnyh-sistem/ Порту, Португалия University of Waikato, New Zealand; University of Minho & HASLab/INESC TEC, Portugal fmis2019@easychair.org

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

Цель FMIS 2019 (8-й Международный семинар по формальным методам интерактивных систем) состоит в том, чтобы объединить исследователей из ряда дисциплин в области компьютерных наук (включая HCI) и других поведенческих дисциплин, как из научных кругов, так и из промышленности, которые заинтересованы как в формальных методах, так и в интерактивном системном дизайне. Цель семинара-наладить и поддерживать сеть исследователей, заинтересованных в разработке и применении формальных методов и соответствующих инструментов проверки и анализа HCI и удобство вездесущих систем.

В центре внимания семинара, хотя не ограничиваясь, генерального проектирования и верификации методик, которые учитывают моделей или учетных записей человеческого поведения, а также применение таких областях, как повсеместные и вездесущие системы, Кибер-физические системы, дополненная реальность, масштабируемости и устойчивости, мобильных устройств, встраиваемых систем, критичных с точки зрения безопасности системы, высокая надежность системы, общий контроль систем, электронных библиотек, электронного правительства, человека-робота взаимодействия.

The focus of the workshop is, though not restricted to, general design and verification methodologies, which take account of models or accounts of human behaviour

Submitted papers should address issues of how formal methods can be applied to interactive system design. We also welcome papers with a focus on theory provided a link to interactive systems is made explicit. Application areas considered include but are not limited to: pervasive and ubiquitous systems, cyber-physical systems, augmented reality, scalability and resilience, mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, human-robot interaction.


Добавлено: 12.01.2019

Смотреть похожие мероприятия

8-ая Всероссийская молодежная школа-семинар по проблемам информационной безопасности «ПЕРСПЕКТИВА — 2019»

Приглашаем Вас принять участие в восьмой всероссийской молодежной школе-семинаре по проблемам информационной безопасности ПЕРСПЕКТИВА-2019. Школа-семинар проводится 10 – 13 октября 2019 года на базе кафедры Безопасности информационных технологий Инстит …

Cеминар «Будущее современного ритейла»

Семинар для интернет-маркетологов, владельцев бизнеса и предпринимателей. Мы познакомим вас с важными обновлениями в законодательстве, трендами в отрасли, и поможем контролировать основные бизнес-процессы и получать больше прибыли. 10.30 — 11.00 Регист …

Российский промышленный форум

26 февраля 2019 года в столице Башкортостана начнется Российский Промышленный Форум – одно из самых ожидаемых событий для многих участников отрасли. В течение трех дней у каждого из посетителя будет возможность познакомиться с новинками оборудования, т …

Закрыть меню
×

Корзина