APLAS 2018: Difference between revisions
Created page with "{{Event |Acronym=APLAS 2018 |Title=Asian Symposium on Programming Languages and Systems |Series=APLAS |Type=Symposium |Start date=2018/12/02 |End date=2018/12/06 |Submission d..." |
No edit summary |
||
| Line 7: | Line 7: | ||
|End date=2018/12/06 | |End date=2018/12/06 | ||
|Submission deadline=2018/06/17 | |Submission deadline=2018/06/17 | ||
|Homepage= | |Homepage=http://aplas2018.org/ | ||
|City= | |City=Wellington | ||
|Country= | |Country=New Zealand | ||
|Abstract deadline= | |Abstract deadline=2018/06/12 | ||
|Paper deadline= | |Paper deadline=2018/06/17 | ||
|Camera ready=2018/08/31 | |||
|Camera ready= | |||
|has general chair=Mirna Adriani | |has general chair=Mirna Adriani | ||
|has program chair=Anthony Widjaja Lin, Jens Dietrich | |has program chair=Anthony Widjaja Lin, Jens Dietrich | ||
| Line 21: | Line 20: | ||
}} | }} | ||
== Topics == | == 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 | |||
Revision as of 13:03, 8 April 2020
| APLAS 2018 | |
|---|---|
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 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
- 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