[logic-ml] CFP: PEPM 2017

[Ryosuke SATO]

皆様、（複数受け取られた場合はご容赦ください。）

東京大学の佐藤亮介です。

来年1月に POPL 併設で開催される PEPM 2017 の CFP をお送りいたします。
日程は次の通りです。

* Abstract submission: Tue, 13 Sep, 2016
* Paper submission:    Fri, 16 Sep, 2016
* Author notification: Mon, 24 Oct, 2016
* Camera ready:        Mon, 28 Nov, 2016

レギュラー論文の他に、ショート論文、ポスターも受け付けております。
是非，投稿をご検討ください。

-- 
東京大学大学院情報理工学系研究科
佐藤亮介
ryosuke at kb.is.s.u-tokyo.ac.jp

-------------------------------------------------------------------
CALL FOR PAPERS
Workshop on Partial Evaluation and Program Manipulation (PEPM 2017)

Paris, France, January 16th – 17th, 2017
http://conf.researchr.org/home/PEPM-2017

PEPM 2017 in Paris, co-located with POPL 2017. The PEPM
Symposium/Workshop series aims at bringing together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.

PEPM 2017 will be based on a broad interpretation of
semantics-based program manipulation, reflecting the expanded
scope of PEPM in recent years beyond the traditionally covered
areas of partial evaluation and specialization. Specifically,
PEPM 2017 will include practical applications of program
transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation
systems. In addition, the scope of PEPM covers manipulation and
transformations of program and system representations such as
structural and semantic models that occur in the context of
model-driven development. In order to maintain the dynamic and
interactive nature of PEPM and to encourage participation by
practitioners, we also solicit submissions of short papers,
including tool demonstrations, and of posters.

SCOPE

Topics of interest for PEPM 2017 include, but are not limited to:

* Program and model manipulation techniques such as: supercompilation,
  partial evaluation, fusion, on-the-fly program adaptation, active
  libraries, program inversion, slicing, symbolic execution,
  refactoring, decompilation, and obfuscation.

* Program analysis techniques that are used to drive program/model
  manipulation such as: abstract interpretation, termination checking,
  binding-time analysis, constraint solving, type systems, automated
  testing and test case generation.

* Techniques that treat programs/models as data objects including
  metaprogramming, generative programming, embedded domain-specific
  languages, program synthesis by sketching and inductive programming,
  staged computation, and model-driven program generation and
  transformation.

* Application of the above techniques including case studies of
  program manipulation in real-world (industrial, open-source)
  projects and software development processes, descriptions of robust
  tools capable of effectively handling realistic applications,
  benchmarking. Examples of application domains include legacy program
  understanding and transformation, DSL implementations, visual
  languages and end-user programming, scientific computing, middleware
  frameworks and infrastructure needed for distributed and web-based
  applications, embedded and resource-limited computation, and
  security.

This list of categories is not exhaustive, and we encourage
submissions describing applications of semantics-based program
manipulation techniques in new domains. If you have a question as
to whether a potential submission is within the scope of the
workshop, please contact the programme chairs.

SUBMISSION CATEGORIES AND GUIDELINES

Three kinds of submissions will be accepted: Regular Research Papers,
Short Papers and Posters.

* Regular Research Papers should describe new results, and will be
  judged on originality, correctness, significance and
  clarity. Regular research papers must not exceed 12 pages in ACM
  Proceedings style (including appendix).

* Short Papers may include tool demonstrations and presentations of
  exciting if not fully polished research, and of interesting
  academic, industrial and open-source applications that are new or
  unfamiliar. Short papers must not exceed 6 pages in ACM Proceedings
  style (including appendix).

* Posters should describe work relevant to the PEPM community, and
  must not exceed 2 pages in ACM Proceedings style. We invite poster
  submissions that present early work not yet ready for submission to
  a conference or journal, identify new research problems, showcase
  tools and technologies developed by the author(s), or describe
  student research projects.

At least one author of each accepted contribution must attend the
workshop and present the work. In the case of tool demonstration
papers, a live demonstration of the described tool is
expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be
made available on the PEPM 2017 web site.

Student participants with accepted papers can apply for a SIGPLAN
PAC grant to help cover travel expenses and other support. PAC
also offers other support, such as for child-care expenses during
the meeting or for travel costs for companions of SIGPLAN members
with physical disabilities, as well as for travel from locations
outside of North America and Europe. For details on the PAC
programme, see its web page.

PUBLICATION AND SPECIAL ISSUE

All accepted papers, short papers and posters included, will
appear in formal proceedings published by ACM Press. Accepted
papers will be included in the ACM Digital Library. Authors of
selected papers from PEPM 2016 and PEPM 2017 will also be invited
to expand their papers for publication in a special issue of the
journal Computer Languages, Systems and Structures (COMLAN,
Elsevier).

BEST PAPER AWARD

PEPM 2017 continues the tradition of a Best Paper award. The
winner will be announced at the workshop.

IMPORTANT DATES

  Abstract submission: Tue, 13 Sep, 2016
  Paper submission:    Fri, 16 Sep, 2016
  Author notification: Mon, 24 Oct, 2016
  Camera ready:        Mon, 28 Nov, 2016

INVITED SPEAKERS

  to be announced

PROGRAM CHAIRS

  Jeremy Yallop (University of Cambridge)
  Ulrik Pagh Schultz (Unversity of Southern Denmark)

PROGRAM COMMITTEE

  to be announced