Конференции

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 – это отражение того, как далеко зашло сообщество, и уроки, которые мы можем извлечь для понимания и разработки лучшего программного обеспечения для будущих технологий.

Подать заявку на участие в мероприятии
  • РЕКОМЕНДУЕМ ВАМ

Международная научно-практическая конференция “Наука и технологии” 🌍🔬 24/25

1 сентября-30 июля 2025

🚀 Международная научно-практическая конференция “Наука и технологии” 24/25 🌍🔬 — это событие, которое нельзя пропустить! 📚 С 1 сентября 2024 года по 30 июля 2025 года приглашаем ученых, студентов и пре...

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

II Международный конкурс для школьников по программированию и робототехнике “Роботы и коды” 24/25

🚀 II Международный конкурс по программированию и робототехнике “Роботы и коды” 24/25! 🤖 Друзья, внимание! 🌍 Готовы погрузиться в мир будущего, где каждый код оживает, а роботы исполняют ваши команды?...

Международный хакатон для школьников «Социальный Прорыв» 2024/2025

🧠 Международный хакатон для школьников «Социальный Прорыв» 2024/2025! 💡 🌍 Готовы изменить мир? Впереди вас ждет уникальная возможность проявить свои таланты, создавая инновационные решения для социальных проблем! Хакатон «Социальный Прорыв»...

Конференция FlowDays 2024

Ежегодная конференция FlowDays – 2024 о современных методах управления бизнесом и процессами   Дата: 13 сентября 2024 года Место: Старт Хаб на Красном Октябре Организатор: Neogenda Сайт: https://flowdays.ru/  Как эффективно...
Корзина для покупок