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   ICORE: B   QUALIS: B1   Vistas: 41487   Seguidores: 29   Asistentes: 3

Solicitud de Artículos

APLAS 2025 (Asian Symposium on Programming Languages and Systems) is a CCF C / ICORE 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

CCFICOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2026-03-16
CA2ICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
CBTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
CBB1ICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
CHPCCInternational Conference on High Performance Computing and Communications2026-07-152026-09-102026-10-29
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
CB3KSEMInternational 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
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
CExpert Systems with Applications7.5Elsevier0957-4174

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario