# APLAS — Asian Symposium on Programming Languages and Systems

- **Submission deadline**: 2026-06-22
- **Notification date**: 2026-08-04
- **Conference date**: 2026-12-01
- **Location**: Hong Kong, China
- **Rankings**: CCF C · CORE B · QUALIS B1
- **Conference Partner Index**: 67.6/100 (ranked #369, confidence 0.80, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 29
- **Attendees**: 3
- **Canonical page**: https://www.myhuiban.com/conference/398

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2025 | 2025-05-31 | 2025-10-27 | Bengaluru, India |

## Call for papers

Scope We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.

## Related conferences

- Programming — International Conference on the Art, Science, and Engineering of Programming — https://www.myhuiban.com/conference/2069
- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318
- IJCNN — International Joint Conference on Neural Networks — https://www.myhuiban.com/conference/428
- TrustCom — International Conference on Trust, Security and Privacy in Computing and Communications — https://www.myhuiban.com/conference/1289
- ICONIP — International Conference on Neural Information Processing — https://www.myhuiban.com/conference/437

## Related journals

- Programming and Computer Software — https://www.myhuiban.com/journal/531
- Journal of Visual Languages and Computing — https://www.myhuiban.com/journal/387
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36
- Neurocomputing — https://www.myhuiban.com/journal/234

---
Source: Conference Partner — https://www.myhuiban.com/conference/398 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)