Fixed broken links

Author: soaibsafi

content/lecture/github-migration/index.md

@@ -27,7 +27,7 @@ image:
   focal_point: Right
 
 url_code: https://github.com/fm4se/exercises
-url_pdf: ./lecture/github-migration/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf
+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: ''
 
@@ -54,7 +54,7 @@ We migrated traditional worksheets from our Formal Methods for Software Engineer
 
 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/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.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
+> 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/FMPals-ABZ-2025/index.md

@@ -27,8 +27,8 @@ image:
   focal_point: Right
 
 url_code: https://github.com/se-buw/alloy-metrics
-url_pdf: ./news/FMPals-ABZ-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf
-url_slides: ./news/FMPals-ABZ-2025/ABZ25-Slides.pdf
+url_pdf: ./news/fmpals-abz-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf
+url_slides: ./news/fmpals-abz-2025/ABZ25-Slides.pdf
 url_video: ''
 
 # Markdown Slides (optional).
@@ -46,7 +46,7 @@ slides:
 projects: [FM Playground]
 ---
 
-We are excited to announce the publication of our new paper, dataset, and accompanying code: [On Writing Alloy Models: Metrics and a New Dataset](./news/FMPals-ABZ-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf) presented at [ABZ 2025](https://abz-conf.org/site/2025/)
+We are excited to announce the publication of our new paper, dataset, and accompanying code: [On Writing Alloy Models: Metrics and a New Dataset](./news/fmpals-abz-2025/On-Writing-Alloy-Models-Metrics-and-a-New-Dataset-ABZ25.pdf) presented at [ABZ 2025](https://abz-conf.org/site/2025/)
 
 In this work, we introduce FMPals, a new dataset of Alloy models authored on our Formal Methods Playground. 
 
@@ -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](./news/fmpals-abz-2025/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/FMPsmt-SMT-2025/index.md

@@ -27,8 +27,8 @@ image:
   focal_point: Right
 
 url_code: https://github.com/se-buw/smt-metrics
-url_pdf: ./news/FMPsmt-SMT-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf
-url_slides: ./news/FMPsmt-SMT-2025/OnWritingSMTScripts.pdf
+url_pdf: ./news/fmpsmt-smt-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf
+url_slides: ./news/fmpsmt-smt-2025/OnWritingSMTScripts.pdf
 url_video: ''
 
 # Markdown Slides (optional).
@@ -46,7 +46,7 @@ slides:
 projects: [FM Playground]
 ---
 
-We are excited to announce the publication of our new paper, dataset, and accompanying code: [On Writing SMT-LIB Scripts: Metrics and a New Dataset](./news/FMPsmt-SMT-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf) presented at [ABZ 2025](https://smt-workshop.cs.uiowa.edu/2025/)
+We are excited to announce the publication of our new paper, dataset, and accompanying code: [On Writing SMT-LIB Scripts: Metrics and a New Dataset](./news/fmpsmt-smt-2025/On-Writing-SMT-LIB-Scripts-Metrics-and-a-New-Dataset-SMT25.pdf) presented at [ABZ 2025](https://smt-workshop.cs.uiowa.edu/2025/)
 
 In this work, we introduce FMPsmt, a new dataset of SMT-LIB Scripts authored on our Formal Methods Playground. 
 
@@ -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](./news/fmpsmt-smt-2025/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)