会議情報
APLAS 2025: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2025提出日: |
2025-05-31 |
通知日: |
2025-07-18 |
会議日: |
2025-10-27 |
場所: |
Bengaluru, India |
年: |
23 |
CCF: c CORE: b QUALIS: b1 閲覧: 31653 追跡: 29 出席: 3
論文募集
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.
最終更新 Dou Sun 2025-04-05
関連会議
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
c | Journal of Biomedical Informatics | 4.000 | Elsevier | 1532-0464 |
Journal of Rail Transport Planning & Management | 2.600 | Elsevier | 2210-9706 | |
International Journal of Game Theory and Technology | AIRCC | 2455-0892 | ||
b | Autonomous Agents and Multi-Agent Systems | 2.000 | Springer | 1387-2532 |
IEEE Open Access Journal of Power and Energy | 3.300 | IEEE | 2687-7910 | |
Computers & Education | 10.5 | Elsevier | 0360-1315 | |
Foundations of Computational Mathematics | 2.500 | Springer | 1615-3375 | |
BioData Mining | 4.000 | Springer | 1756-0381 | |
Computational Economics | 1.900 | Springer | 0927-7099 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
Journal of Biomedical Informatics | 4.000 | Elsevier |
Journal of Rail Transport Planning & Management | 2.600 | Elsevier |
International Journal of Game Theory and Technology | AIRCC | |
Autonomous Agents and Multi-Agent Systems | 2.000 | Springer |
IEEE Open Access Journal of Power and Energy | 3.300 | IEEE |
Computers & Education | 10.5 | Elsevier |
Foundations of Computational Mathematics | 2.500 | Springer |
BioData Mining | 4.000 | Springer |
Computational Economics | 1.900 | Springer |