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