Conference Information
APLAS 2024: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2024Submission Date: |
2024-05-24 |
Notification Date: |
2024-08-02 |
Conference Date: |
2024-10-22 |
Location: |
Kyoto, Japan |
Years: |
22 |
CCF: c CORE: b QUALIS: b1 Viewed: 27615 Tracked: 26 Attend: 2
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.
Last updated by Dou Sun in 2024-03-24
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
SBAC-PAD | International Symposium on Computer Architecture and High Performance Computing | 2022-07-01 | 2022-11-02 |
PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
ICBAT | International Conference on Biotechnology and Agroforestry Technology | 2020-04-15 | 2020-04-17 |
ICINT | International Conference on Information and Network Technologies | 2024-12-30 | 2025-03-12 |
ISCA | International Symposium on Computer Architecture | 2024-11-15 | 2025-06-21 |
MODELS | International Conference on Model Driven Engineering Languages and Systems | 2024-03-21 | 2024-09-22 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-11-14 | 2025-06-16 |
POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2024-07-11 | 2025-01-19 |
ICECC | International Conference on Electronics, Communications and Control Engineering | 2025-01-15 | 2025-03-28 |
ICBDA' | IEEE Conference on Big Data & Analytics | 2020-07-31 | 2020-11-17 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
Journal of Computer Science Engineering | 2.500 | IJRDO | 2456-1843 | |
Systems Science & Control Engineering | Taylor & Francis | 2164-2583 | ||
International Journal of Game Theory and Technology | AIRCC | 2455-0892 | ||
b | Autonomous Agents and Multi-Agent Systems | 2.000 | Springer | 1387-2532 |
IEEE Transactions on Power Systems | 6.500 | IEEE | 0885-8950 | |
Computational Geosciences | 2.100 | Springer | 1420-0597 | |
Swarm and Evolutionary Computation | 8.200 | Elsevier | 2210-6502 | |
Informatica | IOS Press | 0868-4952 | ||
IEEE Transactions on Automatic Control | 6.200 | IEEE | 0018-9286 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
Journal of Computer Science Engineering | 2.500 | IJRDO |
Systems Science & Control Engineering | Taylor & Francis | |
International Journal of Game Theory and Technology | AIRCC | |
Autonomous Agents and Multi-Agent Systems | 2.000 | Springer |
IEEE Transactions on Power Systems | 6.500 | IEEE |
Computational Geosciences | 2.100 | Springer |
Swarm and Evolutionary Computation | 8.200 | Elsevier |
Informatica | IOS Press | |
IEEE Transactions on Automatic Control | 6.200 | IEEE |
Recommendation