Dear colleagues,

Registration is now open for APLAS & ATVA 2026, which will be held in Hong Kong from 1–4 December 2026.

Registration link:
https://event-reg.hkust.edu.hk/hkust-mcp/checkout/419/aplas-atva-2026

Important dates:

• Early-bird registration deadline: 15 October 2026, 23:59 Hong Kong Time
• Regular registration opens: 16 October 2026, 00:00 Hong Kong Time

Registration fees (HKD):

• Student: HKD 2,350 early bird / HKD 3,150 regular
• Non-student: HKD 4,300 early bird / HKD 5,900 regular
• Extra banquet ticket: HKD 750

Registration covers the main APLAS and ATVA conferences, the Student Research Competition and associated poster session, the New Ideas and Emerging Results (NIER) workshop, the Spotlights of Verification workshop, lunches, refreshments, and the conference banquet.

The overall schedule is as follows:

• 1 December: Workshops, SRC, and posters
• 2 December: APLAS and ATVA
• 3 December: APLAS, ATVA, and conference banquet
• 4 December: ATVA

For further information, please visit:
https://conf.researchr.org/home/aplas-atva-2026

We look forward to welcoming you to Hong Kong!

Best regards,

Wenjia Ye
on behalf of the APLAS & ATVA 2026 Organizing Committee