1月12日 - 2026年1月12日
ASIAN Symposium on Programming Languages and Systems
暂无关注者。
概览
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 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.
会议日期
Conference Date
2026年1月12日
- 2026年12月1日
- 2026年12月1日 - 2026年12月5日
- 2025年10月27日 - 2025年10月30日
其他日期
(Research Papers) Author Response Period
2025年7月7日 → 2025年7月9日
来源排名
来源: CORE2023
排名: B
研究领域: Software engineering