12月01日 - 2026年12月01日
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年12月1日
- 2025年10月27日 - 2025年10月30日
情報源ランク
情報源: CORE2023
ランク: B
研究分野: Software engineering, 使用されていません