https://soaib.me/posts/nfdixcs-summer-school-2025/2025-10-03T22:29:05+02:00weekly0.8https://soaib.me/posts/2025-10-03T22:29:05+02:00weekly0.8https://soaib.me/tags/formal-methods/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/tags/playground/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/tags/teaching/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/web-application/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/classification/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/machine-learning/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/smt/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/tags/verification/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/langium/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/tags/lsp/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/tags/vscode/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/z3/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/limboole/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/sat-solving/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/tags/comparison/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2025-sefm/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2025-smt/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/satisfiability-modulo-theories/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/alloy/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/formal-specification/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/model-analysis/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2025-abz/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/formal-methods-education/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/github-classroom/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2024-fmtea/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/software-engineering-education/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/teaching-methods/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2024-fm-ds/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/about/2026-04-02T12:10:35+02:00weekly0.8https://soaib.me/contact/2025-07-27T12:09:43+02:00weekly0.8https://soaib.me/imprint/2025-10-10T20:44:09+02:00weekly0.8https://soaib.me/publications/2025-08-13T12:27:23+02:00weekly0.8https://soaib.me/posts/fm4se-wise-23-24/2025-07-27T12:09:43+02:00weekly0.8https://soaib.me/tags/computer-vision/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/deep-learning/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/edge-computing/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2023-ess/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/power-line-inspection/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/ssd-detector/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/posts/summaery-2023/2025-07-27T12:09:43+02:00weekly0.8https://soaib.me/posts/uni-weimar-find-job-in-the-german-labour-market-2023/2025-07-27T12:09:43+02:00weekly0.8https://soaib.me/publications/2021-iscset/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/insulator-detection/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/power-grid-monitoring/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/publications/2019-perawarecity/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/blockchain/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/distributed-systems/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/iot/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/smart-cities/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/tags/smart-parking/2026-03-24T21:31:03+01:00weekly0.8https://soaib.me/_index.bn/2025-07-27T12:09:43+02:00weekly0.8https://soaib.me/projects/2025-09-26T15:39:14+02:00weekly0.8https://soaib.me/2026-01-26T13:59:38+01:00weekly0.8