Difference between revisions of "APLAS 2017"

From OPENRESEARCH th copy Wiki
Jump to navigation Jump to search
(pushed from ori5 by wikipush)
 
(edited by wikiedit)
 
Line 3: Line 3:
 
|Title=15th Asian Symposium on Programming Languages and Systems
 
|Title=15th Asian Symposium on Programming Languages and Systems
 
|Series=APLAS
 
|Series=APLAS
|Type=Symposium
+
|Event type=Symposium
 
|Start date=2017/11/27
 
|Start date=2017/11/27
 
|End date=2017/11/29
 
|End date=2017/11/29

Latest revision as of 10:29, 8 March 2021

APLAS 2017
15th Asian Symposium on Programming Languages and Systems
Event in series APLAS
Dates 2017/11/27 (iCal) - 2017/11/29
Homepage: https://www-aplas.github.io/
Location
Location: Suzhou, China
Loading map...

Important dates
Abstracts: 2017/06/13
Papers: 2017/06/19
Submissions: 2017/06/19
Camera ready due: 2017/09/01
Papers: Submitted 56 / Accepted 24 (42.9 %)
Committees
General chairs: Xinyu Feng
PC chairs: Bor-Yuh Evan Chang
Keynote speaker: Gilles Barthe, Ron Garcia, Sumit Gulwani, Naijun Zhan
Table of 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