APLAS 2019

APLAS 2019
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":[{"text":"","title":"","link":"","lat":-8.8016777,"lon":115.2239305,"icon":""}],"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
Keynote speaker:	Nate J. Foster, Annabelle McIver, Phillip Rümmer
Table of Contents

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