Difference between revisions of "APLAS 2018"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 8: | Line 8: | ||
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz | |has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz | ||
|Acronym =APLAS 2018 | |Acronym =APLAS 2018 | ||
| − | |End date =2018 | + | |End date =2018-12-06 |
|Series =APLAS | |Series =APLAS | ||
|Type =Symposium | |Type =Symposium | ||
| Line 14: | Line 14: | ||
|State =NZ/WGN | |State =NZ/WGN | ||
|City =NZ/WGN/Wellington | |City =NZ/WGN/Wellington | ||
| + | |Year =2018 | ||
|Homepage =http://aplas2018.org/ | |Homepage =http://aplas2018.org/ | ||
| − | |Start date =2018 | + | |Start date =2018-12-02 |
|Title =16th Asian Symposium on Programming Languages and Systems | |Title =16th Asian Symposium on Programming Languages and Systems | ||
|Accepted papers =22 | |Accepted papers =22 | ||
Revision as of 01:54, 19 November 2021
Event Rating
| median | worst |
|---|---|
List of all ratings can be found at APLAS 2018/rating
| 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: | NZ/WGN/Wellington, NZ/WGN, NZ |
| 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 | |
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