Difference between revisions of "Event:APLAS 2019"

Latest revision as of 13:01, 19 October 2022

Deadlines

20
Jun

2019

Abstract

23
Jun

2019

Paper

23
Jun

2019

Submission

31
Aug

2019

Camera-Ready

20
Sep

2019

Poster

Metrics

Submitted Papers

50

Accepted Papers

22

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
+|Official Website=https://aplas2019.cs.ui.ac.id/
-|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
 |pageCreator=User:Curator 53
 |pageEditor=User:Curator 53
@@ Line 26: / Line 18: @@
 |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 ==