Difference between revisions of "APLAS 2019"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|Submission deadline=2019/06/23 | |Submission deadline=2019/06/23 | ||
| − | |||
| − | |||
| − | |||
|Abstract deadline=2019/06/20 | |Abstract deadline=2019/06/20 | ||
|Paper deadline=2019/06/23 | |Paper deadline=2019/06/23 | ||
| Line 17: | Line 8: | ||
|has program chair=Anthony Widjaja Lin, Jens Dietrich | |has program chair=Anthony Widjaja Lin, Jens Dietrich | ||
|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 |
| − | | | + | |End date =2019/12/04 |
| − | |State=ID/BA}} | + | |Series =APLAS |
| + | |Type =Symposium | ||
| + | |Country =ID | ||
| + | |State =ID/BA | ||
| + | |City =ID/BA/Nusa Dua | ||
| + | |Homepage =https://aplas2019.cs.ui.ac.id/ | ||
| + | |Start date =2019/12/02 | ||
| + | |Title =17th Asian Symposium on Programming Languages and Systems | ||
| + | |Accepted papers =22 | ||
| + | |Submitted papers =50}} | ||
== Topics == | == Topics == | ||
Revision as of 20:48, 3 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