Updated pdf and broken links

Author: soaibsafi

content/lecture/github-migration/Introducing-GitHub-Classroom-into-a-Formal-Methods-Module-FMTea24.pdf

@@ -57,7 +57,7 @@ In this work, we introduce FMPals, a new dataset of Alloy models authored on our
 
 > Soaibuzzaman, S. Kalantari, J.O. Ringert. On Writing Alloy Models: Metrics and a new Dataset. Rigorous State-Based Methods. ABZ 2025. LNCS 15728, pp. 1–18, 2025.
 
-> [📥 PDF](./news/fmpals-abz-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf)
+> [📥 PDF](./On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf)
 
 > 📚 DOI: [10.1007/978-3-031-94533-5_5](https://doi.org/10.1007/978-3-031-94533-5_5)
 

content/news/FMPals-ABZ-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf

@@ -57,7 +57,7 @@ In this work, we introduce FMPsmt, a new dataset of SMT-LIB Scripts authored on
 
 > Soaibuzzaman, J.O. Ringert. On Writing SMT-LIB Scripts: Metrics and a New Dataset. International Workshop on Satisfiability Modulo Theories. SMT 2025. CEUR 4008, pp. 91–102, 2025.
 
-> [📥 PDF](./news/fmpsmt-smt-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf)
+> [📥 PDF](./On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf)
 
 > 📚 URL: [https://ceur-ws.org/Vol-4008/SMT_paper15.pdf](https://ceur-ws.org/Vol-4008/SMT_paper15.pdf)
 

content/news/FMPals-ABZ-2025/index.md

@@ -1,7 +1,7 @@
 ---
 title: FMTea Expo 2024
 
-event: Formal Methods Teaching Workshop
+event: FMTea 2024, affiliated with FM 2024, the 26th International Symposium on Formal Methods
 event_url: https://fmtea.github.io/
 
 location: Milan, Italy
@@ -26,9 +26,9 @@ image:
   caption: ''
   focal_point: Right
 
-url_code: ''
-url_pdf: ''
-url_slides: ''
+url_code: https://github.com/fm4se/exercises
+url_pdf: ./lecture/github-migration/Introducing-GitHub-Classroom-into-a-Formal-Methods-Module-FMTea24.pdf
+url_slides: ./lecture/github-migration/FMTea24-Slides.pdf
 url_video: ''
 
 # Markdown Slides (optional).
@@ -43,6 +43,20 @@ slides:
 #   Simply enter your project's folder or file name without extension.
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
-projects:
+projects: [FM Playground]
 ---
 
+
+We migrated traditional worksheets from our Formal Methods for Software Engineering module to GitHub Classroom. Our goals were:
+- Reduce turnaround time (submission, marking, feedback, resubmission)
+- Reduce the number of resubmissions
+- Reduce marking effort
+- Provide fast and actionable feedback to students during assignments
+
+We describe the migration from regular worksheets to GitHub Classroom in this experience report:
+
+> Soaibuzzaman, Ringert, J.O. [Introducing GitHub Classroom into a Formal Methods Module](./lecture/github-migration/Introducing-GitHub-Classroom-into-a-Formal-Methods-Module-FMTea24.pdf). In: Sekerinski, E., Ribeiro, L. (eds) Formal Methods Teaching. FMTea   2024. Lecture Notes in Computer Science, vol 14939. Springer, Cham. doi: 10.1007/978-3-031-71379-8_2
+
+The [code for the worksheets](https://github.com/fm4se/exercises) is available on GitHub.  
+All repositories support autograding via GitHub Classroom. Autograding uses GitHub Actions to run test cases (JUnit) and extract reports from the test results. The tests can be used for feedback when working on the tasks locally (where GitHub Actions are not executed).
+

content/news/FMPsmt-SMT-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf

@@ -1 +1 @@
-<script defer src="https://play.formal-methods.net/analytics/script.js" data-website-id="16b5c7f7-3cba-478d-8caa-4b830e4647c5"></script>Ï
+<script defer src="https://play.formal-methods.net/analytics/script.js" data-website-id="16b5c7f7-3cba-478d-8caa-4b830e4647c5"></script>