Difference between revisions of "APLAS 2018"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
|Acronym=APLAS 2018
 
|Title=16th Asian Symposium on Programming Languages and Systems
 
|Series=APLAS
 
|Type=Symposium
 
|Start date=2018/12/02
 
|End date=2018/12/06
 
 
|Submission deadline=2018/06/17
 
|Submission deadline=2018/06/17
|Homepage=http://aplas2018.org/
 
|City=Wellington
 
|Country=New Zealand
 
 
|Abstract deadline=2018/06/12
 
|Abstract deadline=2018/06/12
 
|Paper deadline=2018/06/17
 
|Paper deadline=2018/06/17
Line 16: Line 7:
 
|has program chair=Sukyoung Ryu
 
|has program chair=Sukyoung Ryu
 
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz
 
|has Keynote speaker=Amal Ahmed, Azalea Raad, Berhard Scholz
|Submitted papers=51
+
|Acronym          =APLAS 2018
|Accepted papers=22
+
|End date        =2018-12-06
|State=NZ/WGN}}
+
|Series          =APLAS
 +
|Type            =Symposium
 +
|Country          =NZ
 +
|State           =NZ/WGN
 +
|City            =NZ/WGN/Wellington
 +
|Year            =2018
 +
|Homepage        =http://aplas2018.org/
 +
|Start date      =2018-12-02
 +
|Title            =16th Asian Symposium on Programming Languages and Systems
 +
|Accepted papers  =22
 +
|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