{"generator":"Jekyll","link":[{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/feed.xml","rel":"self","type":"application\/atom+xml"}},{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/","rel":"alternate","type":"text\/html"}}],"updated":"2026-07-07T02:14:16+00:00","id":"https:\/\/unive-ssv.github.io\/feed.xml","title":"SSV Research Group","subtitle":"Ca' Foscari's Software and System Verification Research Group","author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"entry":[{"title":"2026 SSV semestral workshop","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2026\/06\/23\/parma_semestral.html","rel":"alternate","type":"text\/html","title":"2026 SSV semestral workshop"}},"published":"2026-06-23T00:00:00+00:00","updated":"2026-06-23T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2026\/06\/23\/parma_semestral","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"Challenges of Software Verification Symposium 2026","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2026\/06\/04\/csv.html","rel":"alternate","type":"text\/html","title":"Challenges of Software Verification Symposium 2026"}},"published":"2026-06-04T00:00:00+00:00","updated":"2026-06-04T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2026\/06\/04\/csv","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"2025 (yet 2026!) SSV yearly workshop","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2026\/02\/04\/tambre-annual.html","rel":"alternate","type":"text\/html","title":"2025 (yet 2026!) SSV yearly workshop"}},"published":"2026-02-04T00:00:00+00:00","updated":"2026-02-04T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2026\/02\/04\/tambre-annual","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"Challenges of Software Verification Symposium 2025","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2025\/06\/05\/csv.html","rel":"alternate","type":"text\/html","title":"Challenges of Software Verification Symposium 2025"}},"published":"2025-06-05T00:00:00+00:00","updated":"2025-06-05T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2025\/06\/05\/csv","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"2024 (yet 2025!) SSV yearly workshop","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2025\/01\/16\/tambre-annual.html","rel":"alternate","type":"text\/html","title":"2024 (yet 2025!) SSV yearly workshop"}},"published":"2025-01-16T00:00:00+00:00","updated":"2025-01-16T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2025\/01\/16\/tambre-annual","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"Challenges of Software Verification Symposium 2024","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2024\/06\/06\/csv.html","rel":"alternate","type":"text\/html","title":"Challenges of Software Verification Symposium 2024"}},"published":"2024-06-06T00:00:00+00:00","updated":"2024-06-06T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2024\/06\/06\/csv","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"2023 (yet 2024!) SSV yearly workshop","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2024\/01\/12\/tambre-annual.html","rel":"alternate","type":"text\/html","title":"2023 (yet 2024!) SSV yearly workshop"}},"published":"2024-01-12T00:00:00+00:00","updated":"2024-01-12T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2024\/01\/12\/tambre-annual","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"2023 SSV semestral workshop","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2023\/06\/15\/tambre-semestral.html","rel":"alternate","type":"text\/html","title":"2023 SSV semestral workshop"}},"published":"2023-06-15T00:00:00+00:00","updated":"2023-06-15T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2023\/06\/15\/tambre-semestral","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"Challenges of Software Verification Symposium 2023","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2023\/05\/25\/csv.html","rel":"alternate","type":"text\/html","title":"Challenges of Software Verification Symposium 2023"}},"published":"2023-05-25T00:00:00+00:00","updated":"2023-05-25T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2023\/05\/25\/csv","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}},{"title":"ESA_Labs Annual Event \u2018Space Data Management Workshop\u2019","link":{"@attributes":{"href":"https:\/\/unive-ssv.github.io\/events\/2023\/05\/08\/esalabs.html","rel":"alternate","type":"text\/html","title":"ESA_Labs Annual Event \u2018Space Data Management Workshop\u2019"}},"published":"2023-05-08T00:00:00+00:00","updated":"2023-05-08T00:00:00+00:00","id":"https:\/\/unive-ssv.github.io\/events\/2023\/05\/08\/esalabs","content":{"@attributes":{"type":"html"}},"author":{"name":"Luca Negrini","email":"luca.negrini@unive.it"},"category":{"@attributes":{"term":"events"}},"summary":{"@attributes":{"type":"html"}}}]}