December 01 - December 01, 2026
ASIAN Symposium on Programming Languages and Systems
No followers yet.
Overview
Call for Submissions. Scope: regular research papers on programming paradigms (functional, object-oriented, probabilistic, logic, constraint); meta-programming; DSLs; proof assistants; type systems; program logics; static and dynamic analysis; language-based security; formal semantics; compilers; concurrency; distributed and mobile computing; applications in education, security, AI/ML, etc. Submission Information: max 17 pages excluding bibliography in Springer LNCS format; accepted papers may add one page for reviewer feedback; optional appendix for reviewers; unpublished work; English; presentation required. Submit via HotCRP https://aplas25.hotcrp.com/. Light double-blind reviewing with rebuttal. Proceedings in Springer LNCS. Best Paper Award. APLAS & ATVA 2026: Tue 1 – Sat 5 December 2026; venue TBD.
Call for papers
Call for Submissions. Scope: regular research papers on programming paradigms (functional, object-oriented, probabilistic, logic, constraint); meta-programming; DSLs; proof assistants; type systems; program logics; static and dynamic analysis; language-based security; formal semantics; compilers; concurrency; distributed and mobile computing; applications in education, security, AI/ML, etc. Submission Information: max 17 pages excluding bibliography in Springer LNCS format; accepted papers may add one page for reviewer feedback; optional appendix for reviewers; unpublished work; English; presentation required. Submit via HotCRP https://aplas25.hotcrp.com/. Light double-blind reviewing with rebuttal. Proceedings in Springer LNCS. Best Paper Award. APLAS & ATVA 2026: Tue 1 – Sat 5 December 2026; venue TBD.
Important Dates
Conference Dates
Conference Date
December 1, 2026
- October 27, 2025 - October 30, 2025
Source Rank
Source: CORE2023
Rank: B
Field of Research: Software engineering, No longer used