AIM AND SCOPE<br>The symposium is devoted to foundational and practical issues broadly spanning the<br>areas of programming languages and systems. Papers are solicited on topics such as<br>– Semantics, logics, foundational theory7<br>– Design of languages, type systems, and foundational calculi<br>– Domain–specific languages<br>– Compilers, interpreters, abstract machines<br>– Program derivation, synthesis, and transformation<br>– Program analysis, verification, model–checking<br>– Logic, constraint, probabilistic, and quantum programming<br>– Software security<br>– Concurrency and parallelism<br>– Tools and environments for programming and implementation<br>Topics are not limited to those discussed in previous symposiums. Papers<br>identifying future directions of programming and those addressing<br>the rapid changes of the underlying computing platforms are especially<br>welcome. Demonstration of systems and tools in the scope of APLAS are welcome<br>to the System and Tool demonstrations category. Authors concerned about the<br>appropriateness of a topic are welcome to consult with program chair prior<br><div>to submission.</div><div><br></div>
Abbrevation
APLAS
City
Bali
Country
Indonesia
Deadline Paper
Start Date
End Date
Abstract