Конференции

Formal Methods Teaching Workshop and Tutorial

Педагогические науки, Технические науки
Профессиональное образование
Португалия, Порту
7 октября 2019

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

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

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

Организаторы: FME

Контактное лицо: Bárbara Veloso, Catarina Fernandes and Paula Rodrigues

emal: [email protected]

Страница события

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

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

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

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

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

Учебная часть FMTea19

Мы очень рады, что Кэрролл Морган выступил с приглашением рассказать о своем подходе и опыте преподавания формальных методов для студентов старших курсов. Сэр Тони Хоар также присоединится к нам, чтобы выступить с докладом об основах преподавания информатики для будущих специалистов по формальным методам. Мы проведем еще две обучающие презентации, проведенные Хольгером Хермансом и Басом Луттиком, об опыте параллелизма и онлайн-обучения. Наша цель – обсудить различные модели существующего обучения FM, а также инновационные предложения, чтобы оставаться актуальными в качестве преподавателей формальных методов в 21-м веке.

Мастерская Часть FMTea19

В рамках семинара мы стремимся привлечь доклады, в которых подробно описан опыт авторов с FM Teaching. Мы хотели бы получить статьи, в которых обсуждаются успехи и неудачи различных методов, тематические исследования, инструменты и т. Д. Поскольку самообучение, по-видимому, является важным аспектом обучения FM, мы ценим опыт онлайн-обучения, в том числе опыт преподавания формальных методов через MOOC. ,

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

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

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

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

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

Международный конкурс педагогического опыта “Формула успеха” 24/25

🌟 Внимание, педагоги! 🌟 Настало время поделиться своими лучшими находками и идеями! 🎓 Приглашаем вас принять участие в Международном конкурсе педагогического опыта "Формула успеха" 24/25! 🌍 Вы разработали уникальную методику? Используете креативные технологии...

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

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

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

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