Call for Sponsorship

Sponsoring APLAS & ATVA 2026

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) will be co-located in Hong Kong from 1–5 December 2026.

APLAS brings together researchers, practitioners, and implementors working in all areas of programming languages and systems. ATVA provides an international forum for research on the theoretical and practical aspects of automated analysis, verification, and synthesis. The joint event offers sponsors an opportunity to support and engage with international research communities in programming languages, software systems, and automated verification.

We warmly invite companies, research institutions, and other organizations to support APLAS & ATVA 2026.

Sponsorship arrangements and associated benefits can be discussed directly with the conference organizers. The logos of sponsoring organizations will be displayed on the conference website.

Organizations interested in sponsoring APLAS & ATVA 2026 are invited to contact the organizers through the conference contact form.