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)
 
(5 intermediate revisions by 2 users 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