The Coq mailing list

[Xinyu Feng <xinyu.feng AT gmail.com>]

**********************************************************************
*                  APLAS 2017 --- Call for Posters                   *
**********************************************************************
APLAS 2017 <https://www-aplas.github.io> will be held in Suzhou, China
on 27-29 November. The conference will include a poster session,  which
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.

***************
* Scope
***************
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

***************
* Submission
***************
Each presenter should submit an extended abstract of no longer than
two 8.5×11 inch pages in PDF via the submission web page,
easychair (https://easychair.org/cfp/aplas2017poster), 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. 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.

***************
* Dates
***************
- Submission due: 15 September 2017 (Sunday), 23:59 AoE
- Author Notification: 22 September 2017 (Friday)
- Conference: 27-29 November 2017 (Monday - Wednesday)
- Poster session: 27 November 2017 (Monday)

***************
* Contact
***************
Poster chair: Yu Zhang (yuzhang AT ustc.edu.cn)

More information available at <https://www-aplas.github.io>.