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

Conference Day
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 NishidaKyoto University, Hiromasa SaitoKyoto University, Chen RanKyoto University, Akira KawataKyoto University, Jun Furuse, Kohei SuenagaGraduate School of Informatics, Kyoto University, Atsushi IgarashiKyoto University, Japan
Not scheduled yet
Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Daiki BiseKyushu Institute of Technology, Masahiro YasugiKyushu Institute of Technology, Tasuku HiraishiKyoto University, Tsuneyasu KomiyaThe University of Electro-Communications
Not scheduled yet
Capability Typing for HyperLMNtal
Stefan Walter, Kazunori UedaWaseda University
Not scheduled yet
Generating Parallel Corpus of Python Code and Natural Language for Deep Learning
Yuka AkinobuJapan Women’s University, Emi NuijimaJapan Women’s University, Kimio KuramitsuJapan 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.