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. ,

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

Shopping Cart