View source for APLAS 2019

{{Event
|Acronym=APLAS 2019
|Title=17th Asian Symposium on Programming Languages and Systems
|Series=APLAS
|Type=Symposium
|Start date=2019/12/02
|End date=2019/12/04
|Submission deadline=2019/06/23
|Homepage=https://aplas2019.cs.ui.ac.id/
|City=Nusa Dua
|Country=Indonesia
|Abstract deadline=2019/06/20
|Paper deadline=2019/06/23
|Poster deadline=2019/09/20
|Camera ready=2019/08/31
|has general chair=Mirna Adriani
|has program chair=Anthony Widjaja Lin, Jens Dietrich
|has Keynote speaker=Nate J. Foster, Annabelle McIver, Phillip Rümmer
|Submitted papers=50
|Accepted papers=22
}}
== Topics ==

The symposium is devoted to foundational and practical issues broadly spanning the areas of 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
Abstract deadline	June 20, 2019 +
Acceptance rate	44.0 +
Accepted papers	22 +
Acronym	APLAS 2019 +
Camera ready due	August 31, 2019 +
End date	December 4, 2019 +
Event in series	APLAS +
Event type	Symposium +
Has Keynote speaker	Nate J. Foster +, Annabelle McIver + and Phillip Rümmer +
Has coordinates	-8° 48' 6", 115° 13' 26"Latitude: -8.8016111111111 Longitude: 115.22398055556 +
Has general chair	Mirna Adriani +
Has location city	Nusa Dua +
Has location country	Category:Indonesia +
Has program chair	Anthony Widjaja Lin + and Jens Dietrich +
Homepage	https://aplas2019.cs.ui.ac.id/ +
IsA	Event +
Paper deadline	June 23, 2019 +
Poster deadline	September 20, 2019 +
Start date	December 2, 2019 +
Submission deadline	June 23, 2019 +
Submitted papers	50 +
Title	17th Asian Symposium on Programming Languages and Systems +