APLAS 2017

The document "APLAS 2017" was published on "2022-10-19T13:01:03" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:APLAS 2017.

The document "APLAS 2017" describes an event in the sense of a conference.

The document "APLAS 2017" contains information about the event "APLAS 2017" with start date "2017/11/27" and end date "2017/11/29".

The event "APLAS 2017" is part of the event series identified by [[Event Series:APLAS]]

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.311123,"lon":120.6212881,"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