APLAS 2019

APLAS 2019
17th Asian Symposium on Programming Languages and Systems
Event in series	APLAS
Dates	2019/12/02 (iCal) - 2019/12/04
Homepage:	https://aplas2019.cs.ui.ac.id/
Location
Location:	Nusa Dua, Indonesia
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
Important dates
Abstracts:	2019/06/20
Papers:	2019/06/23
Posters:	2019/09/20
Submissions:	2019/06/23
Camera ready due:	2019/08/31
Papers:	Submitted 50 / Accepted 22 (44 %)
Committees
General chairs:	Mirna Adriani
PC chairs:	Anthony Widjaja Lin, Jens Dietrich
Keynote speaker:	Nate J. Foster, Annabelle McIver, Phillip Rümmer
Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.

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