Difference between revisions of "APLAS 2018"
(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...") |
|||
| (3 intermediate revisions by the same 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 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=Alex Potanin, David Pearce, Jens Dietrich |
| − | |has general chair= | + | |has program chair=Sukyoung Ryu |
| − | |has program chair= | + | |has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz |
| − | |has Keynote speaker= | + | |Submitted papers=51 |
| − | |Submitted papers= | ||
|Accepted papers=22 | |Accepted papers=22 | ||
}} | }} | ||
== 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 | ||
Latest revision as of 14:22, 8 April 2020
| 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 |
Loading map... | |
| 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 | |
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
Facts about "APLAS 2018"
| Abstract deadline | June 12, 2018 + |
| Acceptance rate | 43.1 + |
| Accepted papers | 22 + |
| Acronym | APLAS 2018 + |
| Camera ready due | August 31, 2018 + |
| End date | December 6, 2018 + |
| Event in series | APLAS + |
| Event type | Symposium + |
| Has Keynote speaker | Amal Ahmed +, Azalea Raad + and Berhard Scholz + |
| Has coordinates | -41° 17' 20", 174° 46' 38"Latitude: -41.288794444444 Longitude: 174.77721111111 + |
| Has general chair | Alex Potanin +, David Pearce + and Jens Dietrich + |
| Has location city | Wellington + |
| Has location country | Category:New Zealand + |
| Has program chair | Sukyoung Ryu + |
| Homepage | http://aplas2018.org/ + |
| IsA | Event + |
| Paper deadline | June 17, 2018 + |
| Start date | December 2, 2018 + |
| Submission deadline | June 17, 2018 + |
| Submitted papers | 51 + |
| Title | 16th Asian Symposium on Programming Languages and Systems + |
