APLAS & ATVA 2026

SRC and Posters: Accepted Presentations

The accepted presentations for the Student Research Competition and Posters track are now available. The submission deadline for posters and revised extended abstracts is 7 November 2026 (AoE). Please see the track page for instructions.

Introduction

APLAS 2026

The 24th Asian Symposium on Programming Languages and Systems (APLAS) aims to bring together programming language researchers, practitioners and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems.

ATVA 2026

The 24th edition of the International Symposium on Automated Technology for Verification and Analysis (ATVA) is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis, by providing a forum for interaction between international research communities and industry in the field.

APLAS & ATVA 2026 will be held at Hong Kong from 1st to 4th December 2026. The conference includes the student research competition and the associated poster session. We have co-located workshops:

• the New Ideas and Emerging Results (NIER) workshop
• Spotlights of Verification.

Also, we have

• Student Research Competition and Posters.