Difference between revisions of "Event:APLAS 2019"

Revision as of 18:39, 22 September 2022

Deadlines

20
Jun

2019

Abstract

23
Jun

2019

Submission

23
Jun

2019

Paper

31
Aug

2019

Camera-Ready

20
Sep

2019

Poster

Venue

Nusa Dua, Indonesia

Loading map...

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

@@ Line 3: / Line 3: @@
 |Title=17th Asian Symposium on Programming Languages and Systems
 |Type=Symposium
-|Submission deadline=2019/06/23
 |Homepage=https://aplas2019.cs.ui.ac.id/
 |City=Nusa Dua
 |Country=Country:ID
-|Abstract deadline=2019/06/20
-|Paper deadline=2019/06/23
-|Poster deadline=2019/09/20
-|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
 |Submitted papers=50
 |Accepted papers=22
@@ Line 26: / Line 20: @@
 |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
+}}
+{{S Event}}
 == Topics ==