Dear colleagues, Registration is now open for APLAS & ATVA 2026, which will be held in Hong Kong from December 1-4, 2026.
The event brings together the 24th Asian Symposium on Programming Languages and Systems (APLAS 2026) and the 24th International Symposium on Automated Technology for Verification and Analysis (ATVA 2026). REGISTRATION ------------ Please register at: https://event-reg.hkust.edu.hk/hkust-mcp/checkout/419/aplas-atva-2026 Important dates: - Early-bird registration deadline: October 15, 2026, 23:59 Hong Kong Time - Regular registration opens: October 16, 2026, 00:00 Hong Kong Time REGISTRATION FEES (HKD) ---------------------- Early Bird Regular Student HKD 2,350 HKD 3,150 Non-student HKD 4,300 HKD 5,900 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. SCHEDULE AT A GLANCE ------------------- - December 1: Workshops, Student Research Competition, and posters - December 2: APLAS and ATVA - December 3: APLAS, ATVA, and conference banquet - December 4: ATVA FURTHER INFORMATION ------------------- 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
_______________________________________________ Haskell mailing list -- [email protected] To unsubscribe send an email to [email protected]
