posted by user: sadegh_rk || 1790 views || tracked by 3 users: [display]

FMtea 2023 : Formal Methods Teaching Workshop

FacebookTwitterLinkedInGoogle

Link: https://fmtea.github.io/
 
When Mar 6, 2023 - Mar 6, 2023
Where Lübeck, Germany
Submission Deadline Nov 3, 2022
Notification Due Dec 5, 2022
Final Version Due Jan 5, 2023
Categories    formal methods   learning
 

Call For Papers

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

FMTea23 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. As in previous events, the conference proceedings will be published in Springer’s Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). We suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages (including references) in length. Submissions should be made using the FMTea23 Easychair web site:

https://easychair.org/conferences/?conf=fmtea2023

All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2023 organizers, and present the paper.

Related Resources

CAV 2025   37th International Conference on Computer Aided Verification
EduTeach 2025   9th Canadian Conference on Advances in Education, Teaching & Technology 2025
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SOFT 2025   11th International Conference on Software Engineering
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
ICEMT--EI 2025   2025 The 9th International Conference on Education and Multimedia Technology (ICEMT 2025)
SOFT 2025   11th International Conference on Software Engineering
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
CSEIT 2025   12th International Conference on Computer Science, Engineering and Information Technology
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering