(mobo import Concept___Event_For_Confident-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 6: | Line 6: | ||
|Homepage=https://aplas2019.cs.ui.ac.id/ | |Homepage=https://aplas2019.cs.ui.ac.id/ | ||
|City=Nusa Dua | |City=Nusa Dua | ||
− | |Country= | + | |Country=Country:ID |
|Abstract deadline=2019/06/20 | |Abstract deadline=2019/06/20 | ||
|Paper deadline=2019/06/23 | |Paper deadline=2019/06/23 | ||
Line 23: | Line 23: | ||
|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 | ||
}} | }} | ||
== Topics == | == Topics == |
Revision as of 13:39, 6 September 2022
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