Difference between revisions of "APLAS 2018"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=APLAS 2018 | |Acronym=APLAS 2018 | ||
| − | |Title=Asian Symposium on Programming Languages and Systems | + | |Title=16th Asian Symposium on Programming Languages and Systems |
|Series=APLAS | |Series=APLAS | ||
|Type=Symposium | |Type=Symposium | ||
| Line 18: | Line 18: | ||
|Submitted papers=51 | |Submitted papers=51 | ||
|Accepted papers=22 | |Accepted papers=22 | ||
| + | |pageCreator=Saskia.Ernert | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
}} | }} | ||
== Topics == | == Topics == | ||
Latest revision as of 18:48, 1 April 2022
| 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, 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