Información de la conferencia

APLAS 2025: Asian Symposium on Programming Languages and Systems

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Iniciar sesión Registrarse

Día de Entrega:
2025-05-31
Fecha de Notificación:
2025-07-18
Fecha de conferencia:
2025-10-27
Ubicación:
Bengaluru, India
Ediciones:
23
CCF: c   CORE: b   QUALIS: b1   Vistas: 41032   Seguidores: 29   Asistentes: 3

Solicitud de Artículos

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.
Última actualización por Dou Sun el

Conferencias Relacionadas

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
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

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario

Publicidad