APLAS 2017 : Asian Symposium on Programming Languages and Systems

  in Conferences   Posted on August 22, 2017

Conference Information

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

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 403
Category Rankings
Software Engineering & Programming 130
Databases & Information Systems 100

Google Scholar H5-index:
12

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

ICCIS 2019 : IEEE 4th International Conference on Communication and Information Systems

Deadline :
Sun 10 Nov 2019
Dec 21, 2019 - Dec 23, 2019 - Wuhan
China

DAS 2020 : IAPR International Workshop on Document Analysis Systems

Deadline :
Wed 13 Nov 2019
May 17, 2020 - May 20, 2020 - Wuhan
China

MOBIHOC 2020 : ACM International Symposium on Mobile Ad Hoc Networking and Computing

Deadline :
Sat 30 Nov 2019
Jun 30, 2020 - Jul 3, 2020 - Shanghai
China

ZJULogAI 2020 : Zhejiang Conferences on Logics in Artificial Intelligence

Deadline :
Sat 30 Nov 2019
Apr 6, 2020 - Apr 9, 2020 - Hangzhou
China