APLAS & ATVA 2026

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 in xxx from 1st to 5th December 2026. The conference includes the student research competition and the associated poster session. Following the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on xxx 2026.