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, 더 이상 사용되지 않음