Difference between revisions of "APLAS 2019"
(Created page with "{{Event |Acronym=APLAS 2019 |Title=Asian Symposium on Programming Languages and Systems |Series=APLAS |Type=Symposium |Start date=2019/12/02 |End date=2019/12/04 |Submission d...") |
|||
| Line 14: | Line 14: | ||
|Poster deadline=2019/09/20 | |Poster deadline=2019/09/20 | ||
|Camera ready=2019/08/31 | |Camera ready=2019/08/31 | ||
| + | |has general chair=Mirna Adriani | ||
| + | |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 | ||
}} | }} | ||
| Line 20: | Line 22: | ||
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 | 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 | |
Revision as of 14:52, 8 April 2020
| APLAS 2019 | |
|---|---|
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: | Nusa Dua, Indonesia |
Loading map... | |
| Important dates | |
| Abstracts: | 2019/06/20 |
| Papers: | 2019/06/23 |
| Posters: | 2019/09/20 |
| Submissions: | 2019/06/23 |
| Camera ready due: | 2019/08/31 |
| 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 | |
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
Facts about "APLAS 2019"
| Abstract deadline | June 20, 2019 + |
| Acronym | APLAS 2019 + |
| Camera ready due | August 31, 2019 + |
| End date | December 4, 2019 + |
| Event in series | APLAS + |
| Event type | Symposium + |
| Has Keynote speaker | Nate J. Foster +, Annabelle McIver + and Phillip Rümmer + |
| Has coordinates | -8° 48' 6", 115° 13' 26"Latitude: -8.8016111111111 Longitude: 115.22398055556 + |
| Has general chair | Mirna Adriani + |
| Has location city | Nusa Dua + |
| Has location country | Category:Indonesia + |
| Has program chair | Anthony Widjaja Lin + and Jens Dietrich + |
| Homepage | https://aplas2019.cs.ui.ac.id/ + |
| IsA | Event + |
| Paper deadline | June 23, 2019 + |
| Poster deadline | September 20, 2019 + |
| Start date | December 2, 2019 + |
| Submission deadline | June 23, 2019 + |
| Title | Asian Symposium on Programming Languages and Systems + |
