View source for APLAS 2017

{{Event
|Acronym=APLAS 2017
|Title=Asian Symposium on Programming Languages and Systems
|Series=APLAS
|Type=Symposium
|Start date=2017/11/27
|End date=2017/11/29
|Submission deadline=2017/06/19
|Homepage=https://www-aplas.github.io/
|City=Suzhou
|Country=China
|Abstract deadline=2017/06/13
|Paper deadline=2017/06/19
|Camera ready=2017/09/01
|has general chair=Xinyu Feng
|has program chair=Bor-Yuh Evan Chang
|has Keynote speaker=Gilles Barthe, Ron Garcia, Sumit Gulwani, Naijun Zhan
|Submitted papers=56
|Accepted papers=24
}}
== Topics ==
* 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
Abstract deadline	June 13, 2017 +
Acceptance rate	42.9 +
Accepted papers	24 +
Acronym	APLAS 2017 +
Camera ready due	September 1, 2017 +
End date	November 29, 2017 +
Event in series	APLAS +
Event type	Symposium +
Has Keynote speaker	Gilles Barthe +, Ron Garcia +, Sumit Gulwani + and Naijun Zhan +
Has coordinates	31° 18' 6", 120° 34' 52"Latitude: 31.301694444444 Longitude: 120.58107222222 +
Has general chair	Xinyu Feng +
Has location city	Suzhou +
Has location country	Category:China +
Has program chair	Bor-Yuh Evan Chang +
Homepage	https://www-aplas.github.io/ +
IsA	Event +
Paper deadline	June 19, 2017 +
Start date	November 27, 2017 +
Submission deadline	June 19, 2017 +
Submitted papers	56 +
Title	15th Asian Symposium on Programming Languages and Systems +