APLAS 2018
Revision as of 12:05, 28 January 2021 by Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush)
APLAS 2018 | |
---|---|
16th Asian Symposium on Programming Languages and Systems
| |
Event in series | APLAS |
Dates | 2018/12/02 (iCal) - 2018/12/06 |
Homepage: | http://aplas2018.org/ |
Location | |
Location: | Wellington, New Zealand |
Important dates | |
Abstracts: | 2018/06/12 |
Papers: | 2018/06/17 |
Submissions: | 2018/06/17 |
Camera ready due: | 2018/08/31 |
Papers: | Submitted 51 / Accepted 22 (43.1 %) |
Committees | |
General chairs: | Alex Potanin, David Pearce, Jens Dietrich |
PC chairs: | Sukyoung Ryu |
Keynote speaker: | Amal Ahmed, Azalea Raad, Berhard Scholz |
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