APLAS 2019

Deadlines

2019-06-20

2019-06-23

2019-08-31

2019-09-20

2019-06-23

20 Jun 2019

Abstract

23 Jun 2019

Paper

23 Jun 2019

Submission

31 Aug 2019

Camera-Ready

20 Sep 2019

Poster

Metrics

Submitted Papers

50

Accepted Papers

22

Venue

Nusa Dua, Indonesia

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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.8016122,"lon":115.2239813,"icon":""}],"imageoverlays":null}

Warning: Venue is missing. The map might not show the exact location.

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