FM’19 World Congress on Formal Methods

Португалия, Порту

7 октября11 октября 2019

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

Срок подачи заявок: 28.03.2019

Индексирование сборника: Springer

Организаторы: Formal Methods Europe

Контактное лицо: José Nuno Oliveira

emal: [email protected]

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

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

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

FM 2019 является 23-м в серии симпозиумов, организованных независимой ассоциацией Formal Methods Europe, независимой ассоциацией, целью которой является стимулирование использования и исследования формальных методов разработки программного обеспечения. Прошло уже более 30 лет с тех пор, как первый симпозиум VDM в 1987 году собрал исследователей с общей целью создания методов для производства высококачественного программного обеспечения, основанного на строгости и разумности. С тех пор разнообразие и сложность компьютерных технологий сильно изменились, и сообщество формальных методов приняло решение проблем, вызванных этими изменениями, путем адаптации, обобщения и улучшения моделей и методов анализа, которые были в центре внимания этого первого симпозиума. Тема FM 2019 — это отражение того, как далеко зашло сообщество, и уроки, которые мы можем извлечь для понимания и разработки лучшего программного обеспечения для будущих технологий.

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

Shopping Cart