https://www.formalmethods2026.com/home daily 1.0 2026-03-16 https://images.squarespace-cdn.com/content/v1/68f517cffb6895084b4ade81/c6db11b7-d02e-4f91-84b8-17c51a27c405/banner+2025-01.png https://www.formalmethods2026.com/previous-editions daily 0.75 2025-12-03 https://www.formalmethods2026.com/organisation-venue daily 0.75 2026-04-17 https://images.squarespace-cdn.com/content/v1/68f517cffb6895084b4ade81/59dff195-91ef-42ae-8285-77bacd1f0212/ITU.png https://www.formalmethods2026.com/submissions daily 0.75 2026-03-16