APLAS 2017 will include 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.

Please note that the posters will not be part of the conference proceedings.

Poster contributions are sought in all areas of programming languages and systems, including the following 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.

Each presenter should submit an extended abstract of no longer than two 8.5×11 inch pages in PDF by 15 September.  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.  

You can use ACM template to format your submission, and the ACM template link is here: https://www.acm.org/publications/proceedings-template.

We will announce the accepted presentations on 22 September. We hope to accommodate every presentation, but may restrict them (based on relevance and interest to the community) due to space constraints.