Difference between revisions of "APLAS 2019"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 9: | Line 9: | ||
|has Keynote speaker=Nate J. Foster, Annabelle McIver, Phillip Rümmer | |has Keynote speaker=Nate J. Foster, Annabelle McIver, Phillip Rümmer | ||
|Acronym =APLAS 2019 | |Acronym =APLAS 2019 | ||
− | |End date =2019 | + | |End date =2019-12-04 |
|Series =APLAS | |Series =APLAS | ||
|Type =Symposium | |Type =Symposium | ||
Line 15: | Line 15: | ||
|State =ID/BA | |State =ID/BA | ||
|City =ID/BA/Nusa Dua | |City =ID/BA/Nusa Dua | ||
+ | |Year =2019 | ||
|Homepage =https://aplas2019.cs.ui.ac.id/ | |Homepage =https://aplas2019.cs.ui.ac.id/ | ||
− | |Start date =2019 | + | |Start date =2019-12-02 |
|Title =17th Asian Symposium on Programming Languages and Systems | |Title =17th Asian Symposium on Programming Languages and Systems | ||
|Accepted papers =22 | |Accepted papers =22 |
Revision as of 03:19, 19 November 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at APLAS 2019/rating
APLAS 2019 | |
---|---|
17th Asian Symposium on Programming Languages and Systems
| |
Event in series | APLAS |
Dates | 2019-12-02 (iCal) - 2019-12-04 |
Homepage: | https://aplas2019.cs.ui.ac.id/ |
Location | |
Location: | ID/BA/Nusa Dua, ID/BA, ID |
Important dates | |
Abstracts: | 2019/06/20 |
Papers: | 2019/06/23 |
Posters: | 2019/09/20 |
Submissions: | 2019/06/23 |
Camera ready due: | 2019/08/31 |
Papers: | Submitted 50 / Accepted 22 (44 %) |
Committees | |
General chairs: | Mirna Adriani |
PC chairs: | Anthony Widjaja Lin, Jens Dietrich |
Keynote speaker: | Nate J. Foster, Annabelle McIver, Phillip Rümmer |
Table of Contents | |
Topics
The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as
- 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