会議情報

APLAS 2025: Asian Symposium on Programming Languages and Systems

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録

投稿締切日:
2025-05-31
通知日:
2025-07-18
開催日:
2025-10-27
開催地:
Bengaluru, India
開催回数:
23
CCF: c   CORE: b   QUALIS: b1   閲覧: 41031   フォロー: 29   参加: 3

論文募集

APLAS 2025 (Asian Symposium on Programming Languages and Systems) is a CCF C / CORE B / QUALIS B1 conference held in Bengaluru, India on 2025-10-27. The paper submission deadline is 2025-05-31. Acceptance notifications are sent on 2025-07-18.

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（）

関連会議

CCFCOREQUALIS略称正式名称投稿締切通知日開催日
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2026-03-16
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
cab1ICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
cbHPCCInternational Conference on High Performance Computing and Communications2025-04-302025-06-152025-08-13
caa1GECCOGenetic and Evolutionary Computation Conference2025-01-222025-03-192025-07-14
cba1GlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07
cba1ICPRInternational Conference on Pattern Recognition2026-01-102026-03-312026-08-17
cbb3KSEMInternational Conference on Knowledge Science, Engineering and Management2025-03-042025-05-302025-08-04

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Programming and Computer Software0.5Springer0361-7688
Journal of Visual Languages and ComputingElsevier1045-926X
Mathematical Programming2.5Springer0025-5610
cKnowledge-Based Systems7.2Elsevier0950-7051
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312
cPattern Recognition Letters3.9Elsevier0167-8655
cIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
cIEEE Internet of Things Journal8.9IEEE2327-4662
cEngineering Applications of Artificial Intelligence8.0Elsevier0952-1976

コメント 0

まだコメントはありません。

コメントするにはログインしてください

広告