Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020

APLAS 2020 includes a poster session during the conference. The poster session aims to give students, researchers and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field.


  • 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
  • Applications of SAT/SMT to programming and implementation
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 1 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

21:00 - 22:00
Poster sessionPosters at online

Not scheduled yet

Not scheduled yet
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida Kyoto University, Hiromasa Saito Kyoto University, Chen Ran Kyoto University, Akira Kawata Kyoto University, Jun Furuse , Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University, Japan
Not scheduled yet
Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Daiki Bise Kyushu Institute of Technology, Masahiro Yasugi Kyushu Institute of Technology, Tasuku Hiraishi Kyoto University, Tsuneyasu Komiya The University of Electro-Communications
Not scheduled yet
Capability Typing for HyperLMNtal
Stefan Walter , Kazunori Ueda Waseda University
Not scheduled yet
Generating Parallel Corpus of Python Code and Natural Language for Deep Learning
Yuka Akinobu Japan Women’s University, Emi Nuijima Japan Women’s University, Kimio Kuramitsu Japan Women’s University

Submission Information

Each presenter should submit an extended abstract to aplas2020-poster@pl.ai.kyutech.ac.jp of no longer than two 8.5×11 inch pages in PDF by 11 November. The submission should include the title and the complete list of author(s) and affiliation(s). Your abstract should contain a brief description of your problem, the key contributions of your work, how your work compares to prior research, and any results from evaluation.

Please use this ACM template to format your submission.

We will announce the accepted presentations on 16 November. We hope to accommodate every presentation as a Slack thread or channel, but may restrict them (based on relevance and interest to the community) due to space constraints.