[Caml-list] APLAS & ATVA 2026: Registration Open - Early-Bird Deadline 15 October

[Caml-list] APLAS & ATVA 2026: Registration Open - Early-Bird Deadline 15 October

[Wenjia]

[-- Attachment #1: Type: text/plain, Size: 1214 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 1989 bytes --]