APLAS 2017

APLAS 2017
15th Asian Symposium on Programming Languages and Systems
Event in series	APLAS
Dates	2017/11/27 (iCal) - 2017/11/29
Homepage:	https://www-aplas.github.io/
Location
Location:	Suzhou, China
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[],"imageoverlays":null}
Important dates
Abstracts:	2017/06/13
Papers:	2017/06/19
Submissions:	2017/06/19
Camera ready due:	2017/09/01
Papers:	Submitted 56 / Accepted 24 (42.9 %)
Committees
General chairs:	Xinyu Feng
PC chairs:	Bor-Yuh Evan Chang
Keynote speaker:	Gilles Barthe, Ron Garcia, Sumit Gulwani, Naijun Zhan
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

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