APLAS 2017 : Asian Symposium on Programming Languages and Systems

  in Conferences   Posted on August 22, 2017

Conference Information

Submission Deadline Monday 19 Jun 2017
Conference & Submission Link https://www-aplas.github.io/
Conference Dates Nov 27, 2017 - Nov 29, 2017
Conference Address Suzhou, China
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 13
CORE 2017 Rating: B
Guide2Research Overall Ranking: 363
Category Rankings
Software Engineering & Programming 105
Databases & Information Systems 80

Conference Call for Papers

The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as

semantics, logics, foundational theory
design of languages, type systems, and foundational calculi
domain-specific languages
compilers, interpreters, abstract machines
program derivation, synthesis, and transformation
program analysis, verification, model-checking
logic, constraint, probabilistic, and quantum programming
software security
concurrency and parallelism
tools and environments for programming and implementation

Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission.

Other Conferences in China

InSTA 2019 : 6th International Workshop on Software Test Architecture

Deadline :
Mon 14 Jan 2019
Apr 22, 2019 - Apr 22, 2019 - Xian
China

INTUITESTBEDS 2019 : INTUITESTBEDS WORKSHOP

Deadline :
Tue 15 Jan 2019
Apr 23, 2019 - Apr 23, 2019 - Xi\'an
China

VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things

Deadline :
Tue 15 Jan 2019
Apr 23, 2019 - Apr 23, 2019 - Xian
China