征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community.

APLAS is sponsored by the Asian Association for Foundation of Software(AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Pohang (’15), Singapore(’14), Melbourne(’13),Kyoto(’12), Kenting(’11), Shanghai(’10), Seoul(’09), Bangalore(’08), Singapore (’07), Sydney (’06), Tsukuba(’05), Taipei(’04) and Beijing(’03) after three informal workshops. Proceedings of the past symposiums were published in Springer’s LNCS.

征稿信息

重要日期

2016-06-20
初稿截稿日期
2016-08-15
初稿录用日期
2016-08-31
终稿截稿日期

征稿范围

The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as

  • 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

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    11月21日

    2016

    11月23日

    2016

  • 06月20日 2016

    初稿截稿日期

  • 08月15日 2016

    初稿录用通知日期

  • 08月31日 2016

    终稿截稿日期

  • 11月23日 2016

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询