会議情報

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   閲覧: 41318   フォロー: 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
CFuture Generation Computer Systems6.1Elsevier0167-739X
CIEEE Internet of Things Journal8.9IEEE2327-4662
CComputer Communications4.3Elsevier0140-3664
CIEEE Transactions on Network and Service Management5.4IEEE1932-4537
CComputer Law & Security Review3.2Elsevier0267-3649
CIET Communications1.6IET1751-8628
CJournal of Network and Computer Applications8.0Elsevier1084-8045

コメント 0

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

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

広告