APLAS 2017

Deadlines

2017-06-13

2017-06-19

2017-09-01

2017-06-19

13 Jun 2017

Abstract

19 Jun 2017

Submission

19 Jun 2017

Paper

1 Sep 2017

Camera-Ready

Metrics

Submitted Papers

56

Accepted Papers

24

Venue

Suzhou, China

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":31.3016935,"lon":120.5810725,"icon":""}],"imageoverlays":null}

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

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