Difference between revisions of "APLAS 2019"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 9: Line 9:
 
|has Keynote speaker=Nate J. Foster, Annabelle McIver, Phillip Rümmer
 
|has Keynote speaker=Nate J. Foster, Annabelle McIver, Phillip Rümmer
 
|Acronym          =APLAS 2019
 
|Acronym          =APLAS 2019
|End date        =2019/12/04
+
|End date        =2019-12-04
 
|Series          =APLAS
 
|Series          =APLAS
 
|Type            =Symposium
 
|Type            =Symposium
Line 15: Line 15:
 
|State            =ID/BA
 
|State            =ID/BA
 
|City            =ID/BA/Nusa Dua
 
|City            =ID/BA/Nusa Dua
 +
|Year            =2019
 
|Homepage        =https://aplas2019.cs.ui.ac.id/
 
|Homepage        =https://aplas2019.cs.ui.ac.id/
|Start date      =2019/12/02
+
|Start date      =2019-12-02
 
|Title            =17th Asian Symposium on Programming Languages and Systems
 
|Title            =17th Asian Symposium on Programming Languages and Systems
 
|Accepted papers  =22
 
|Accepted papers  =22

Revision as of 03:19, 19 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at APLAS 2019/rating

APLAS 2019
17th Asian Symposium on Programming Languages and Systems
Event in series APLAS
Dates 2019-12-02 (iCal) - 2019-12-04
Homepage: https://aplas2019.cs.ui.ac.id/
Location
Location: ID/BA/Nusa Dua, ID/BA, ID
Loading map...

Important dates
Abstracts: 2019/06/20
Papers: 2019/06/23
Posters: 2019/09/20
Submissions: 2019/06/23
Camera ready due: 2019/08/31
Papers: Submitted 50 / Accepted 22 (44 %)
Committees
General chairs: Mirna Adriani
PC chairs: Anthony Widjaja Lin, Jens Dietrich
Keynote speaker: Nate J. Foster, Annabelle McIver, Phillip Rümmer
Table of Contents

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