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

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

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

email: 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

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

HistoInformatics2019: 5-й международный семинар по истории вычислений [The 5th International Workshop on Computational History]

HistoInformatics2019 — 5-й Международный семинар по истории вычислений состоится 12 сентября 2019 года в Осло, Норвегия, в связи с 23-й Международной конференцией по теории и практике электронных библиотек (TPDL2019). Серия семинаров по гистоинформатик …

ICNP 2019 Workshop on Harnessing the Data Revolution in Networking

Технологии искусственного интеллекта (AI) и машинного обучения (ML) в настоящее время достигли значительных успехов во многих областях применения, например, в обработке естественного языка, распознавании голоса и компьютерном зрении. Между тем, постоян …

SAHVA 2019: 1st International Workshop on Software Architectures and Human Values

Building sustainable software systems requires an in-depth understanding about the role that software systems play in our society at a scale and along timeframes that are often difficult to grasp and envisage. We argue that a values ‘first’ software en …

Летняя школа молодых исследователей – 2019 “Планета Земля”, 01 июня – 31 августа 2019 г.


1 июня-31 августа 2019
Летняя школа молодых исследователей – 2019 “Планета Земля”, 01 июня – 31 августа 2019 г.

Участие — БЕСПЛАТНО Цели Летней школы: активизация и популяризация теоретической, познавательной, интеллектуальной инициативы молодых исследователей, вовлечение молодежи, ориентированной на исследовательскую деятельность, к решению актуальных научных п …

Узнать больше
Закрыть меню
×

Корзина