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

Срок подачи заявок: 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

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

Семинар «Технологии в производстве электроники»

20 февраля 2019, Казань Компания «Диполь» приглашает принять участие в семинаре «Технологии в производстве электроники», который состоится 20 февраля 2019 г., в Казани. В рамках семинара будут рассмотрены следующие темы: Автоматизация пайки выводных ко …

2019 Communication Strategies in Digital Society Workshop

Full instructions on Paper Preparation will be sent to authors after registration and acceptance of abstracts. Accepted and presented at the Seminar regular papers will be published in the Proceedings of the Seminar. The Seminar papers will be submitte …

Открытый семинар «Blockchain технология: история, виды, преимущества, недостатки, применение в логистике»

Приглашаем на открытый семинар, который проведет заместитель генерального директора ООО «Новые Технологии», аспирант Школы логистики Корниенко П.А. Мероприятие пройдет 21 февраля 2019 года по адресу Б. Трехсвятительский пер., д. 3 (ауд. 521) с 18:10 до …

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

Корзина