CFP
FMTea 2023: Formal Methods Teaching Workshop University of Lübeck Lübeck, Germany, March 10, 2023 |
Conference website | https://fmtea.github.io/ |
Submission link | https://easychair.org/conferences/?conf=fmtea2023 |
Submission deadline | November 11, 2022 |
We aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea23 workshop is below:
- Experiences and proposals related with "traditional" FM learning and teaching
- Experiences and proposals related with online FM learning and teaching
- Integrating/embedding FM teaching/thinking within other computer science courses
- Teaching FM for industry
- Innovative learning and teaching methods for FM
- Student projects on FM, including group projects
Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process.
Submission details at the website: https://fmtea.github.io/
Updates also on twitter: @fmtea2023 https://twitter.com/fmtea2023