Difference between revisions of "APLAS 2018"

From Openresearch
Jump to: navigation, search
Line 13: Line 13:
 
|Paper deadline=2018/06/17
 
|Paper deadline=2018/06/17
 
|Camera ready=2018/08/31
 
|Camera ready=2018/08/31
|has general chair=Alex Potanin
+
|has general chair=Alex Potanin, David Pearce, Jens Dietrich
|has program chair=David Pearce, Jens Dietrich
+
|has program chair=Sukyoung Ryu
|has Keynote speaker=Ahmal Ahmed
+
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz
|Submitted papers=50
+
|Submitted papers=51
 
|Accepted papers=22
 
|Accepted papers=22
 
}}
 
}}

Revision as of 14:09, 8 April 2020

APLAS 2018
Asian Symposium on Programming Languages and Systems
Event in series APLAS
Dates 2018/12/02 (iCal) - 2018/12/06
Homepage: http://aplas2018.org/
Location
Location: Wellington, New Zealand
Loading map...

Important dates
Abstracts: 2018/06/12
Papers: 2018/06/17
Submissions: 2018/06/17
Camera ready due: 2018/08/31
Papers: Submitted 51 / Accepted 22 (43.1 %)
Committees
General chairs: Alex Potanin, David Pearce, Jens Dietrich
PC chairs: Sukyoung Ryu
Keynote speaker: Amal Ahmed, Azalea Raad, Berhard Scholz
Table of Contents

Contents


Topics

  • 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