I am not a mailing list administrator, but I received your announcement at 2026-10-16. Regards, ಹೆಂಕ್-ಜಾನ್ ವ್ಯಾನ್ ಟುಯ್ಲ್ Henk-Jan van Tuyl
> Op 19-10-2026 07:43 CEST schreef Wenjia <[email protected]>: > > > > Dear Haskell Mailing List Administrators, > > I recently submitted a Call for Participation announcement for APLAS & ATVA > 2026 to the Haskell mailing list, but I have not seen it appear on the list. > > Could you please let me know whether the announcement is still pending > moderation or whether there were any issues with the submission? > > Thank you very much for your time and assistance! > > Best regards, > Wenjia Ye > On behalf of the APLAS & ATVA 2026 Organizing Committee > > > > > > On 16 Oct 2026, at 10:26 PM, Wenjia <[email protected]> wrote: > > > > 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] >
_______________________________________________ Haskell mailing list -- [email protected] To unsubscribe send an email to [email protected]
