Formal Methods Update Meeting 2026

Accommodation

• The payment link for accommodation will be shared shortly.
• Registered participants will receive the link via email.
• Please also check this page regularly for updates.

Travel and Accommodation Support (Students)

• Limited financial support is available, subject to funding.
• Support will be provided on a needs basis.
• Reimbursement, if approved, is limited to AC 3-tier (3AC) train travel.
• Applicants should watch for email communication from the organisers regarding the process and details.