Difference between revisions of "APLAS 2018"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
+ | |Acronym=APLAS 2018 | ||
+ | |Title=16th Asian Symposium on Programming Languages and Systems | ||
+ | |Series=APLAS | ||
+ | |Type=Symposium | ||
+ | |Start date=2018/12/02 | ||
+ | |End date=2018/12/06 | ||
|Submission deadline=2018/06/17 | |Submission deadline=2018/06/17 | ||
+ | |Homepage=http://aplas2018.org/ | ||
+ | |City=Wellington | ||
+ | |Country=New Zealand | ||
|Abstract deadline=2018/06/12 | |Abstract deadline=2018/06/12 | ||
|Paper deadline=2018/06/17 | |Paper deadline=2018/06/17 | ||
Line 7: | Line 16: | ||
|has program chair=Sukyoung Ryu | |has program chair=Sukyoung Ryu | ||
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz | |has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz | ||
− | | | + | |Submitted papers=51 |
− | | | + | |Accepted papers=22 |
− | + | |State=NZ/WGN}} | |
− | |||
− | |||
− | |State | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Topics == | == Topics == | ||
* Semantics, logics, foundational theory | * Semantics, logics, foundational theory |
Revision as of 15:46, 3 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: | Wellington, NZ/WGN, 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 | |
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