학회 정보

APLAS 2025: Asian Symposium on Programming Languages and Systems

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

투고 마감일:
2025-05-31
통보일:
2025-07-18
개최일:
2025-10-27
개최지:
Bengaluru, India
개최 횟수:
23
CORE: B   QUALIS: B1   조회: 41299   팔로우: 29   참가: 3

논문 모집

APLAS 2025 (Asian Symposium on Programming Languages and Systems) is a 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
A*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
A*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
A*A1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
A*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
A*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CBA2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
AA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Programming and Computer Software0.5Springer0361-7688
Journal of Visual Languages and ComputingElsevier1045-926X
Mathematical Programming2.5Springer0025-5610
BIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요

광고