(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(3 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
|Title=17th Asian Symposium on Programming Languages and Systems | |Title=17th Asian Symposium on Programming Languages and Systems | ||
|Type=Symposium | |Type=Symposium | ||
− | | | + | |Official Website=https://aplas2019.cs.ui.ac.id/ |
− | |||
|City=Nusa Dua | |City=Nusa Dua | ||
− | |Country= | + | |Country=Country:ID |
− | |||
− | |||
− | |||
− | |||
|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 | ||
− | |||
− | |||
− | |||
|pageCreator=User:Curator 53 | |pageCreator=User:Curator 53 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
Line 23: | Line 15: | ||
|Start Date=2019/12/02 | |Start Date=2019/12/02 | ||
|End Date=2019/12/04 | |End Date=2019/12/04 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Abstract Deadline=2019/06/20 | ||
+ | |Paper Deadline=2019/06/23 | ||
+ | |Poster Deadline=2019/09/20 | ||
+ | |Camera-Ready Deadline=2019/08/31 | ||
+ | |Submission Deadline=2019/06/23 | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=50 | ||
+ | |Number Of Accepted Papers=22 | ||
+ | }} | ||
+ | {{S Event}} | ||
== Topics == | == Topics == | ||
Latest revision as of 13:01, 19 October 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Paper |
|
||
Camera-Ready |
|
||
Poster |
Metrics
Submitted Papers
50
Accepted Papers
22
Venue
Nusa Dua, Indonesia
Warning: Venue is missing. The map might not show the exact location.
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