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]
