<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://mads.uniud.it/groups/choreographies/</loc>
<lastmod>2026-10-05T23:28:41+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/groups/cybersecurity/</loc>
<lastmod>2026-10-05T23:28:41+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/groups/testing/</loc>
<lastmod>2026-10-05T23:28:41+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2015/06/memo-2015-workshop-is-over/</loc>
<lastmod>2015-06-06T15:08:16+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2015/06/paper-at-coordination-2015/</loc>
<lastmod>2015-06-06T15:23:30+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2015/06/acm-saccm-2016/</loc>
<lastmod>2015-06-22T01:52:15+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2015/09/paper-behavioural-equivalences-for-coalgebras-with-unobservable-moves-on-jlamp/</loc>
<lastmod>2015-09-16T18:39:03+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2015/09/jlamp-special-issue-on-memo-call-for-papers/</loc>
<lastmod>2015-09-16T18:45:36+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2017/05/mansutti-prize/</loc>
<lastmod>2017-05-05T02:24:23+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2017/09/alessio-mansutti-prize/</loc>
<lastmod>2017-09-28T22:24:46+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2018/02/jlamp-special-issue-on-metamodels-for-process-language/</loc>
<lastmod>2018-02-02T16:40:45+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2018/04/lectures-about-blockchain/</loc>
<lastmod>2018-04-20T18:06:32+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2018/06/262/</loc>
<lastmod>2018-06-12T15:17:12+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2018/09/one-year-industrial-research-position-at-the-university-of-udine-deadline-10-oct-2018/</loc>
<lastmod>2018-09-27T15:18:54+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2018/11/internship-at-electrolux-gct-anomaly-detection-in-embedded-electronic-systems/</loc>
<lastmod>2018-11-07T14:20:29+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2019/10/it-matters-starts/</loc>
<lastmod>2019-10-17T00:39:50+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2020/04/easters-eve/</loc>
<lastmod>2020-04-11T22:48:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2020/05/two-fellowship-grants-it-matters/</loc>
<lastmod>2020-05-12T02:06:30+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2020/10/new-members-of-the-mads-lab/</loc>
<lastmod>2020-10-02T10:57:58+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2022/09/lord-of-the-orings/</loc>
<lastmod>2022-09-16T17:23:17+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/01/serics-starts/</loc>
<lastmod>2023-01-01T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/06/madrhacks-top-italy/</loc>
<lastmod>2023-06-12T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/06/stendhal-approved/</loc>
<lastmod>2023-06-16T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/10/castelnovo-phd/</loc>
<lastmod>2023-10-02T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/11/cve-2023-40718/</loc>
<lastmod>2023-11-10T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2023/12/highschools-ctf-2023/</loc>
<lastmod>2023-12-14T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2024/03/welcome-matteo-spadetto/</loc>
<lastmod>2024-03-12T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2024/07/madrhacks-cybercup-2024/</loc>
<lastmod>2024-07-06T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2024/11/sefm24-best-paper/</loc>
<lastmod>2024-11-07T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2024/12/snakectf-2024-finals/</loc>
<lastmod>2024-12-08T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/02/miculan-full-professor/</loc>
<lastmod>2025-02-20T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/04/icst25-best-paper/</loc>
<lastmod>2025-04-04T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/06/attribute-based-pubsub-forte25/</loc>
<lastmod>2025-06-16T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/07/madrhacks-cyberchallenge-2025/</loc>
<lastmod>2025-07-08T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/11/welcome-luca-gemolotto/</loc>
<lastmod>2025-11-01T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/11/snakectf-2025-finals/</loc>
<lastmod>2025-11-23T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2025/12/welcome-massimiliano-baldo/</loc>
<lastmod>2025-12-01T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/01/welcome-gabriele-tam/</loc>
<lastmod>2026-01-01T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/01/stendhal-final-meeting/</loc>
<lastmod>2026-01-21T10:00:00+01:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/04/itasec26-papers/</loc>
<lastmod>2026-04-24T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/05/types-2027-udine/</loc>
<lastmod>2026-05-04T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/05/eidas-mfa-sosym/</loc>
<lastmod>2026-05-18T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/06/cyberchallenge-2026/</loc>
<lastmod>2026-06-09T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/07/strobilus-sacmat26/</loc>
<lastmod>2026-07-08T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/07/lightweight-encryption-secrypt26/</loc>
<lastmod>2026-07-20T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/07/acc-py-cern-jsep/</loc>
<lastmod>2026-07-30T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/09/paier-phd/</loc>
<lastmod>2026-09-14T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/09/policy-automata-ictcs26/</loc>
<lastmod>2026-09-19T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/2026/09/klaim-certified-jlamp/</loc>
<lastmod>2026-09-22T11:00:00+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/software/distributed-subgraph-isomorphism/</loc>
<lastmod>2026-10-05T23:28:41+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/software/jlibbig/</loc>
<lastmod>2026-10-05T23:28:41+02:00</lastmod>
</url>
<url>
<loc>https://mads.uniud.it/contact/</loc>
</url>
<url>
<loc>https://mads.uniud.it/</loc>
</url>
<url>
<loc>https://mads.uniud.it/join/</loc>
</url>
<url>
<loc>https://mads.uniud.it/news/</loc>
</url>
<url>
<loc>https://mads.uniud.it/people/</loc>
</url>
<url>
<loc>https://mads.uniud.it/projects/</loc>
</url>
<url>
<loc>https://mads.uniud.it/publications/</loc>
</url>
<url>
<loc>https://mads.uniud.it/research/</loc>
</url>
<url>
<loc>https://mads.uniud.it/software/</loc>
</url>
</urlset>
