会议信息

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   浏览: 42783   关注: 29   参加: 3

会伴指数 (CP-I)

67.6 / 100
全站第 376 名 / 共 5,687 个会议 · 前 7%

软件工程 第 50 / 247

学术认可 (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-26

征稿

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

暂无评论。

请登录后发表评论