Dear Participants,

Conference registration covers coffee breaks, lunches, and social events. Registration for Weekend Satellite Events (workshops and on-site competitions) includes coffee breaks and lunches.

Weekend Satellite Events are not included in the main conference registration and must be booked separately. However, the Rust Verification Workshop, SPIN Workshop, and Industry Day are included with the main conference registration at no extra cost. These events run in parallel to the main conference.

For those who wish to attend only the Rust Verification Workshop, SPIN Workshop, or Industry Day, separate registration is available at a reduced fee. This fee does not include social events.

Note that on-site registration will be possible.

Visa Information

Participants who require a visa are advised to apply no later than March 3, 2025, to allow sufficient time for processing.

Visa Requirements

To determine if you need a visa to enter Canada, please check the official visa requirements. If you are a citizen of a visa-required country, you must obtain a visa before traveling.

The ETAPS 2025 organizing committee will provide a letter of invitation and a Special Event Code to support your visa application. To receive these documents, you must first complete your conference registration and payment.

To request visa application support, please email ETAPS 2025 at etaps2025@mcmaster.ca with the subject line: “Request for Visa Application Support.” In your email, attach your registration and payment confirmation and include the following details:

• Full name (as it appears on your travel document)
• Passport country of issuance
• Date of birth
• Employer’s name and position
• Home and work addresses and telephone numbers
• Arrival and departure dates (if known) and intended duration of stay in Canada

Providing complete and accurate information will help us process your request efficiently.

Disclosure to Participants

By requesting visa support, you acknowledge that your information may be shared with Immigration, Refugees and Citizenship Canada (IRCC). The information collected as part of the participant list may be used to:

• Identify and coordinate the processing of visa applications.
• Provide event organizers, upon request, with updates on aggregate visa application status—within the limits of the Privacy Act and at the discretion of the Special Events Unit.

For any additional questions, please contact the organizers at etaps2025@mcmaster.ca.

We provide student scholarship for a limited number of applicants. The applications will be collected and the scholarship recipients will be selected. For more information, please check our scholarship page.

ETAPS-F is a program to enable individuals from financially constrained countries to attend the ETAPS conference. This effort addresses the challenges some may face in securing funds for travel and conference fees. Upon meeting the eligibility criteria outlined below, one author of a paper accepted at any of the ETAPS main conferences (ESOP, FASE, FoSSaCS, or TACAS) will receive a complimentary conferencer egistration. For more information, please check the ETAPS-F Program.