Información de la conferencia
APLAS 2022: Asian Symposium on Programming Languages and Systems
Día de Entrega:
Fecha de Notificación:
Fecha de Conferencia:
Auckland, New Zealand
CCF: c   CORE: b   QUALIS: b1   Vistas: 22346   Seguidores: 25   Asistentes: 2

Solicitud de Artículos
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 programming; object-oriented programming; probabilistic programming; logic programming; 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 en 2022-04-09
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
bb2SBAC-PADInternational Symposium on Computer Architecture and High Performance Computing2022-07-012022-09-052022-11-02
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2022-07-302022-09-302022-11-04
ICBATInternational Conference on Biotechnology and Agroforestry Technology2020-04-15 2020-04-17
ICINTInternational Conference on Information and Network Technologies2018-04-052018-04-202018-05-24
aa*a1ISCAInternational Symposium on Computer Architecture2022-11-142023-03-092023-06-17
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2022-05-112022-07-122022-10-16
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2022-11-102023-02-242023-06-19
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2021-07-082021-09-292022-01-16
ICECCInternational Conference on Electronics, Communications and Control Engineering2021-10-252021-11-202022-03-25
ICBDA'IEEE Conference on Big Data & Analytics2020-07-312020-08-312020-11-17