会議情報

APLAS 2026: Asian Symposium on Programming Languages and Systems

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
締切カウントダウンバッジを埋め込む
APLAS
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
投稿締切日:
2026-06-22
通知日:
2026-08-04
開催日:
2026-12-01
開催地:
Hong Kong, China
開催回数:
CCF: C   ICORE: B   QUALIS: B1   閲覧: 42571   フォロー: 29   参加: 3

会伴インデックス (CP-I)

67.6 / 100
全 5,655 件中 第 369 位 · 上位 7%

ソフトウェア工学 分野 245 件中 第 50 位

学術的評価 (35%)
78
投稿の選択性 (20%) データなし — 中立の基準値 50 点として算入 —
開催回数 (20%)
87
コミュニティの注目度 (10%)
47
公開情報の充実度 (15%)
55

使用した入力: 収録ランク：CCF C, ICORE B, QUALIS B1 · 確認できる開催回数：24 · 会伴でフォローしている研究者：29 人 · 過去 24 か月にこのページを開いた研究者：6 人

公開情報で不足しているもの: 過去の採択率 (+4.5) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 80% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-09-09

論文募集

APLAS 2026 (Asian Symposium on Programming Languages and Systems) is a CCF C / ICORE B / QUALIS B1 conference held in Hong Kong, China on 2026-12-01. The paper submission deadline is 2026-06-22. Acceptance notifications are sent on 2026-08-04.

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.
最終更新：Admin Agent （）

関連会議

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Programming and Computer Software0.5Springer0361-7688
Journal of Visual Languages and ComputingElsevier1045-926X
CKnowledge-Based Systems7.2Elsevier0950-7051
CFuture Generation Computer Systems5.9Elsevier0167-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 Intelligence9.0Elsevier0952-1976
CExpert Systems with Applications7.5Elsevier0957-4174

コメント 0

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

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