https://soaib.me/projects/mldiff/2025-09-05T00:00:00+00:00https://soaib.me/projects/fm-playground/2025-09-06T00:00:00+00:00https://soaib.me/tags/architecture/2025-11-12T18:44:56+01:00https://soaib.me/photos/2025-11-12T18:44:56+01:00https://soaib.me/2025-11-12T18:44:56+01:00https://soaib.me/tags/2025-11-12T18:44:56+01:00https://soaib.me/photos/2025-golden-crown-toledo/2025-11-12T18:44:56+01:00https://soaib.me/tags/travel/2025-11-12T18:44:56+01:00https://soaib.me/tags/twilight/2025-11-12T18:44:56+01:00https://soaib.me/tags/autumn/2025-10-19T15:53:59+02:00https://soaib.me/photos/2025-canopy-of-amber/2025-10-19T15:53:59+02:00https://soaib.me/tags/nature/2025-10-19T15:53:59+02:00https://soaib.me/photos/2025-mosaic-of-the-fall/2025-10-19T15:44:38+02:00https://soaib.me/tags/harvest/2025-10-11T15:48:11+02:00https://soaib.me/photos/2025-spirits-of-the-harvest/2025-10-11T15:48:11+02:00https://soaib.me/photos/2025-tapestry-of-the-earth/2025-10-11T15:20:20+02:00https://soaib.me/photos/2025-crimson-reach-window/2025-10-09T13:16:15+02:00https://soaib.me/tags/window/2025-10-09T13:16:15+02:00https://soaib.me/posts/nfdixcs-summer-school-2025/2025-10-02T00:00:00+00:00https://soaib.me/posts/2025-10-02T00:00:00+00:00https://soaib.me/tags/contrast/2025-09-30T13:34:00+02:00https://soaib.me/tags/shadows/2025-09-30T13:34:00+02:00https://soaib.me/tags/street-photography/2025-09-30T13:34:00+02:00https://soaib.me/photos/2025-theater-behind-glass/2025-09-30T13:34:00+02:00https://soaib.me/tags/formal-methods/2025-09-06T00:00:00+00:00https://soaib.me/tags/playground/2025-09-06T00:00:00+00:00https://soaib.me/projects/2025-09-06T00:00:00+00:00https://soaib.me/tags/teaching/2025-09-06T00:00:00+00:00https://soaib.me/tags/web-application/2025-09-06T00:00:00+00:00https://soaib.me/tags/classification/2025-09-05T00:00:00+00:00https://soaib.me/tags/machine-learning/2025-09-05T00:00:00+00:00https://soaib.me/tags/smt/2025-09-05T00:00:00+00:00https://soaib.me/tags/verification/2025-09-05T00:00:00+00:00https://soaib.me/tags/alloy/2025-09-04T00:00:00+00:00https://soaib.me/projects/alloy-langium/2025-09-04T00:00:00+00:00https://soaib.me/tags/langium/2025-09-04T00:00:00+00:00https://soaib.me/tags/lsp/2025-09-04T00:00:00+00:00https://soaib.me/projects/smt-langium/2025-09-04T00:00:00+00:00https://soaib.me/projects/z3-vscode/2025-09-04T00:00:00+00:00https://soaib.me/tags/vscode/2025-09-04T00:00:00+00:00https://soaib.me/tags/z3/2025-09-04T00:00:00+00:00https://soaib.me/tags/limboole/2025-09-02T00:00:00+00:00https://soaib.me/tags/sat-solving/2025-09-02T00:00:00+00:00https://soaib.me/projects/limboole-vscode/2025-09-02T00:00:00+00:00https://soaib.me/tags/comparison/2025-08-24T00:00:00+00:00https://soaib.me/publications/2025-sefm/2025-08-24T00:00:00+00:00https://soaib.me/publications/2025-smt/2025-08-10T00:00:00+00:00https://soaib.me/tags/satisfiability-modulo-theories/2025-08-10T00:00:00+00:00https://soaib.me/tags/candid/2025-07-08T13:16:38+00:00https://soaib.me/tags/city/2025-07-08T13:16:38+00:00https://soaib.me/photos/2025-sunflower-street/2025-07-08T13:16:38+00:00https://soaib.me/photos/2025-beacon-in-the-rain/2025-07-07T14:16:43+02:00https://soaib.me/tags/isolation/2025-07-07T14:16:43+02:00https://soaib.me/tags/rain/2025-07-07T14:16:43+02:00https://soaib.me/tags/urban/2025-07-07T14:16:43+02:00https://soaib.me/tags/formal-specification/2025-06-10T00:00:00+00:00https://soaib.me/tags/model-analysis/2025-06-10T00:00:00+00:00https://soaib.me/publications/2025-abz/2025-06-10T00:00:00+00:00https://soaib.me/photos/2026-crimson-gold-columbine/2025-05-31T17:24:38+00:00https://soaib.me/tags/flower/2025-05-31T17:24:38+00:00https://soaib.me/tags/bird/2024-11-24T21:14:00+01:00https://soaib.me/photos/2024-fieldfare-rowan-berries/2024-11-24T21:14:00+01:00https://soaib.me/tags/wildlife/2024-11-24T21:14:00+01:00https://soaib.me/tags/formal-methods-education/2024-09-10T00:00:00+00:00https://soaib.me/tags/github-classroom/2024-09-10T00:00:00+00:00https://soaib.me/publications/2024-fmtea/2024-09-10T00:00:00+00:00https://soaib.me/tags/software-engineering-education/2024-09-10T00:00:00+00:00https://soaib.me/tags/teaching-methods/2024-09-10T00:00:00+00:00https://soaib.me/publications/2024-fm-ds/2024-09-10T00:00:00+00:00https://soaib.me/contact/2024-09-05T00:00:00+00:00https://soaib.me/imprint/2024-09-05T00:00:00+00:00https://soaib.me/publications/2024-09-05T00:00:00+00:00https://soaib.me/tags/spring/2024-05-26T18:07:09+02:00https://soaib.me/photos/2024-solitary-poppy/2024-05-26T18:07:09+02:00https://soaib.me/tags/macro/2024-05-26T17:15:35+02:00https://soaib.me/photos/2024-solitary-daisy/2024-05-26T17:15:35+02:00https://soaib.me/posts/fm4se-wise-23-24/2024-02-01T00:00:00+00:00https://soaib.me/tags/computer-vision/2023-11-01T00:00:00+00:00https://soaib.me/tags/deep-learning/2023-11-01T00:00:00+00:00https://soaib.me/tags/edge-computing/2023-11-01T00:00:00+00:00https://soaib.me/publications/2023-ess/2023-11-01T00:00:00+00:00https://soaib.me/tags/power-line-inspection/2023-11-01T00:00:00+00:00https://soaib.me/tags/ssd-detector/2023-11-01T00:00:00+00:00https://soaib.me/posts/summaery-2023/2023-07-20T00:00:00+00:00https://soaib.me/posts/uni-weimar-find-job-in-the-german-labour-market-2023/2023-06-03T10:49:26+00:00https://soaib.me/publications/2021-iscset/2021-11-10T00:00:00+00:00https://soaib.me/tags/insulator-detection/2021-11-10T00:00:00+00:00https://soaib.me/tags/power-grid-monitoring/2021-11-10T00:00:00+00:00https://soaib.me/publications/2019-perawarecity/2019-03-11T00:00:00+00:00https://soaib.me/tags/blockchain/2019-03-11T00:00:00+00:00https://soaib.me/tags/distributed-systems/2019-03-11T00:00:00+00:00https://soaib.me/tags/iot/2019-03-11T00:00:00+00:00https://soaib.me/tags/smart-cities/2019-03-11T00:00:00+00:00https://soaib.me/tags/smart-parking/2019-03-11T00:00:00+00:00https://soaib.me/about/