ASIAN Symposium on Programming Languages and Systems

Resumen General

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.

Clasificación de la Fuente

Mapa