Difference between revisions of "APLAS 2018"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
 
(3 intermediate revisions by the same user not shown)
Line 8: Line 8:
 
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz
 
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz
 
|Acronym          =APLAS 2018
 
|Acronym          =APLAS 2018
|End date        =2018/12/06
+
|End date        =2018-12-06
 
|Series          =APLAS
 
|Series          =APLAS
 
|Type            =Symposium
 
|Type            =Symposium
Line 14: Line 14:
 
|State            =NZ/WGN
 
|State            =NZ/WGN
 
|City            =NZ/WGN/Wellington
 
|City            =NZ/WGN/Wellington
 +
|Year            =2018
 
|Homepage        =http://aplas2018.org/
 
|Homepage        =http://aplas2018.org/
|Start date      =2018/12/02
+
|Start date      =2018-12-02
 
|Title            =16th Asian Symposium on Programming Languages and Systems
 
|Title            =16th Asian Symposium on Programming Languages and Systems
 
|Accepted papers  =22
 
|Accepted papers  =22
|Submitted papers =51}}
+
|Submitted papers =51
 +
}}
 
== Topics ==
 
== Topics ==
 
* Semantics, logics, foundational theory
 
* Semantics, logics, foundational theory

Latest revision as of 03:32, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

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

APLAS 2018
16th 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: NZ/WGN/Wellington, NZ/WGN, NZ
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

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