<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://example.org/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/continued-fractions/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/decidability/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/decision-problems/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/holonomic-sequences/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/minimality-problem/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/p-finite-sequences/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/positivity-problem/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/talks/2026warsawsamsa/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/talks/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/</loc><lastmod>2026-06-18T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/talks/202605warsawsimons/</loc><lastmod>2026-05-08T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/authors/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/determination-problems/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/talks/2026poplrennes/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/authors/george/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/linear-loops/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/orbit-closures/</loc><lastmod>2026-01-14T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/algebraic-methods/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/invariant-generation/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/invariant-verification/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/loop-invariants/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/event/loopinvariants/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/loops/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/workshop/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/event/</loc><lastmod>2025-07-07T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/event/autoboz2023/</loc><lastmod>2023-07-16T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/automata/</loc><lastmod>2023-07-16T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/games/</loc><lastmod>2023-07-16T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/logic/</loc><lastmod>2023-07-16T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/research/</loc><lastmod>2023-07-16T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/reachability/</loc><lastmod>2023-07-10T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/tags/recurrences/</loc><lastmod>2023-07-10T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/event/worrell/</loc><lastmod>2023-07-10T00:00:00+00:00</lastmod><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/categories/</loc><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/contact/</loc><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/publications/</loc><changefreq>daily</changefreq><priority>0.5</priority></url><url><loc>https://example.org/series/</loc><changefreq>daily</changefreq><priority>0.5</priority></url></urlset>