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

CIKM 2019 : Conference on Information and Knowledge Management

Deadline :
Wed 22 May 2019
Nov 3, 2019 - Nov 7, 2019 - Beijing
China

COMML 2020 : International Conference on Optimization, Metaheuristics and Machine Learning

Deadline :
Fri 31 May 2019
Apr 10, 2020 - Apr 12, 2020 - Xi\'an
China