Update contents

Author: soaibsafi

config/_default/hugo.yaml

@@ -21,7 +21,8 @@ removePathAccents: true
 
 enableGitInfo: false
 summaryLength: 30
-paginate: 10
+pagination:
+  pagerSize: 10
 enableEmoji: true
 enableRobotsTXT: true
 footnotereturnlinkcontents: <sup>^</sup>
@@ -33,13 +34,13 @@ permalinks:
   publication_types: '/publication-type/:slug/'
 disableAliases: true
 outputs:
-  home: [HTML, RSS, JSON, WebAppManifest, headers, redirects]
+  home: [HTML, RSS, JSON, WebAppManifest]
   section: [HTML, RSS]
 imaging:
-  resampleFilter: lanczos
+  resampleFilter: Lanczos
   quality: 75
-  anchor: smart
-timeout: 600000
+  anchor: Smart
+timeout: "600s"
 taxonomies:
   tag: tags
   category: categories
@@ -58,5 +59,7 @@ related:
       weight: 70
 security:
   _merge: deep
+
+
 sitemap:
   _merge: deep

config/_default/module.yaml

@@ -5,4 +5,4 @@
 ############################
 
 imports:
-  - path: github.com/fm4se/website-theme/modules/blox-bootstrap/v5
+  - path: github.com/HugoBlox/hugo-blox-builder/modules/blox-bootstrap/v5

config/_default/params.yaml

@@ -19,6 +19,14 @@ marketing:
     local_business_type: 'academic'
     org_name: 'Bauhaus-Universität Weimar - Software Engineering Chair'
     description: 'The Software Engineering Chair at Bauhaus-Universität Weimar conducts research in the areas of formal methods, software engineering, and software architecture.'
+  analytics:
+    google_analytics: ''
+    baidu_tongji: ''
+    google_tag_manager: ''
+    microsoft_clarity: ''
+  verification:
+    google: ''
+    baidu: ''
 
 # Site header
 

content/lecture/github-migration/FMTea24.pdf

@@ -1,6 +1,49 @@
 ---
 title: Introducing GitHub Classroom into a Formal Methods Module
-date: 2024-09-09
+
+event: FMTea 2024, affiliated with FM 2024, the 26th International Symposium on Formal Methods
+event_url: https://fmtea.github.io/
+
+location: Milan, Italy
+
+
+summary: ''
+abstract: 'We have developed an MSc-level module on Formal Methods for Software Engineering with exercises on applying SAT solvers, SMT solvers, Alloy, and nuXmv. In the first iteration of the module, assign- ments were submitted as documents and archive files. Here, we report on our experience of moving the exercises to GitHub Classroom and au- tomating the feedback process through test cases. The main challenges we encountered were related to supporting free-response tasks and de- signing test cases that allow for multiple solutions, provide incremental feedback, and do not encode a solution. We present our setup of exercise repositories, test cases, and feedback report generation. We detail our approach in addressing the challenges of migrating from worksheets to GitHub Classroom and report on survey-based student feedback.'
+
+date: '2024-09-09T00:00:00Z'
+all_day: true
+
+# Schedule page publish date (NOT talk date).
+publishDate: '2024-09-10T00:00:00Z'
+
+authors: [Soaibuzzaman, Jan Oliver Ringert]
+tags: []
+
+# Is this a featured talk? (true/false)
+featured: false
+
+image:
+  caption: ''
+  focal_point: Right
+
+url_code: https://github.com/fm4se/exercises
+url_pdf: ./lecture/github-migration/FMTea24.pdf
+url_slides: ''
+url_video: ''
+
+# Markdown Slides (optional).
+#   Associate this talk with Markdown slides.
+#   Simply enter your slide deck's filename without extension.
+#   E.g. `slides = "example-slides"` references `content/slides/example-slides.md`.
+#   Otherwise, set `slides = ""`.
+slides:
+
+# Projects (optional).
+#   Associate this post with one or more of your projects.
+#   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: [FM Playground]
 ---
 
 We migrated traditional worksheets from our Formal Methods for Software Engineering module to GitHub Classroom. Our goals were:

content/lecture/github-migration/index.md

@@ -27,7 +27,7 @@ image:
   focal_point: Right
 
 url_code: https://github.com/se-buw/alloy-metrics
-url_pdf: https://soaib.me/publications/resources/ABZ25.pdf
+url_pdf: ./news/fmpals-abz-2025/ABZ25.pdf
 url_slides: ./news/fmpals-abz-2025/ABZ25-Slides.pdf
 url_video: ''
 

content/news/FMPals-ABZ-2025/ABZ25.pdf

@@ -1,5 +1,5 @@
 module github.com/wowchemy/starter-hugo-research-group
 
-go 1.15
+go 1.19
 
-require github.com/fm4se/website-theme/modules/blox-bootstrap/v5 v5.0.0-20241007220515-a086227b0621 // indirect
+require github.com/HugoBlox/hugo-blox-builder/modules/blox-bootstrap/v5 v5.9.7 // indirect

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

@@ -1,6 +1,4 @@
+github.com/HugoBlox/hugo-blox-builder/modules/blox-bootstrap/v5 v5.9.7 h1:QPek2BL723n+uM4DjyV97qNIoPsmt/vnKAQyaGJbgvQ=
+github.com/HugoBlox/hugo-blox-builder/modules/blox-bootstrap/v5 v5.9.7/go.mod h1:xZiTEEurbEwj/NhZohozvlyLCGVCT2wARHDAJeqKG/c=
 github.com/HugoBlox/hugo-blox-builder/modules/blox-core v0.3.1/go.mod h1:So8+V2U+TNxlXmcpZfdDX0muLh3PdJ7z92h30sv3bZg=
 github.com/HugoBlox/hugo-blox-builder/modules/blox-seo v0.2.2/go.mod h1:NsESu6cEms1DgH84icCyylElg2Zu8A0f7Fma5JR0LZE=
-github.com/fm4se/website-theme/modules/blox-bootstrap/v5 v5.0.0-20240920161530-e2762041aea4 h1:2efffucAOPKDAsgn2v9OS+/gzUN8i4iQTZcXv7ia9KY=
-github.com/fm4se/website-theme/modules/blox-bootstrap/v5 v5.0.0-20240920161530-e2762041aea4/go.mod h1:wfZ1rU8yDdfbehSCLqHhhIsl2wgggaOITdvKOYT34ck=
-github.com/fm4se/website-theme/modules/blox-bootstrap/v5 v5.0.0-20241007220515-a086227b0621 h1:2F5nQY//CuzRxAMTo7BB/lSOz+868JsXaBiTe+9HMRI=
-github.com/fm4se/website-theme/modules/blox-bootstrap/v5 v5.0.0-20241007220515-a086227b0621/go.mod h1:wfZ1rU8yDdfbehSCLqHhhIsl2wgggaOITdvKOYT34ck=

go.mod

@@ -0,0 +1,11 @@
+{{/* Override the problematic Google Analytics template */}}
+{{- if site.Config.Services.GoogleAnalytics.ID -}}
+<!-- Google Analytics -->
+<script async src="https://www.googletagmanager.com/gtag/js?id={{ site.Config.Services.GoogleAnalytics.ID }}"></script>
+<script>
+  window.dataLayer = window.dataLayer || [];
+  function gtag(){dataLayer.push(arguments);}
+  gtag('js', new Date());
+  gtag('config', '{{ site.Config.Services.GoogleAnalytics.ID }}');
+</script>
+{{- end -}}